diff --git a/kernel/drivers/opensbi/extensions/legacy.cpp b/kernel/drivers/opensbi/extensions/legacy.cpp
index c5f46ea..728418a 100644
--- a/kernel/drivers/opensbi/extensions/legacy.cpp
+++ b/kernel/drivers/opensbi/extensions/legacy.cpp
@@ -2,6 +2,7 @@
 
 namespace drivers {
 namespace opensbi::legacy {
+
     namespace {
         enum class ExtensionId {
             SET_TIMER,
diff --git a/kernel/drivers/opensbi/include/opensbi/extensions/legacy.h b/kernel/drivers/opensbi/include/opensbi/extensions/legacy.h
index f91c7e5..77b0ec9 100644
--- a/kernel/drivers/opensbi/include/opensbi/extensions/legacy.h
+++ b/kernel/drivers/opensbi/include/opensbi/extensions/legacy.h
@@ -4,6 +4,7 @@
 
 namespace drivers {
 namespace opensbi::legacy {
+
     [[deprecated("Use the time extension instead")]]
     SbiRet set_timer(uint64_t stime_value);
 
diff --git a/kernel/drivers/opensbi/include/opensbi/opensbi.h b/kernel/drivers/opensbi/include/opensbi/opensbi.h
index a5c4aa4..14a1583 100644
--- a/kernel/drivers/opensbi/include/opensbi/opensbi.h
+++ b/kernel/drivers/opensbi/include/opensbi/opensbi.h
@@ -4,6 +4,7 @@
 
 namespace drivers {
 namespace opensbi {
+
     typedef unsigned long sbiword_t;
     typedef const unsigned long * hart_mask_t;