Kernel(Secret): Major commit.

- Extensive cleanup of the code, and kernel improvements.
- The System API has been reworked to be better designed.

What is needed now:
- AHCI disk driver.
- HCFS/NewFS driver.
- EPM layout implementation.
- Separate bootloader and kernel.

1 files changed, 5 insertions, 4 deletions

diff --git a/Private/FirmwareKit/EFI/API.hxx b/Private/FirmwareKit/EFI/API.hxx
index b2d6c940..e025e7e0 100644
--- a/Private/FirmwareKit/EFI/API.hxx
+++ b/Private/FirmwareKit/EFI/API.hxx
@@ -14,14 +14,15 @@
 inline EfiSystemTable *ST = nullptr;
 inline EfiBootServices *BS = nullptr;
 
-extern "C" void rt_cli();
+EXTERN_C void rt_cli();
+EXTERN_C void rt_hlt();
 
 namespace EFI {
-/**
-@brief Stop Execution of program.
-*/
+/// @brief Halt and clear interrupts.
+/// @return 
 inline Void Stop() noexcept {
   while (1) {
+    rt_hlt();
     rt_cli();
   }
 }