diff options
| author | Aleksa Vuckovic <aleksa@vuckovic.cc> | 2023-02-25 06:56:01 +0100 |
|---|---|---|
| committer | Aleksa Vuckovic <aleksa@vuckovic.cc> | 2023-02-25 08:45:09 +0100 |
| commit | 239900af293f192931391dc5579afab39a43e6c6 (patch) | |
| tree | 72d7f87ee6adf5aa84b78436197e03e61fba8d97 /kernel/src/main.c | |
| parent | aaa23fffd02fb49cdbc56a480dbb5a8fa95bff38 (diff) | |
clang-format
Diffstat (limited to 'kernel/src/main.c')
| -rw-r--r-- | kernel/src/main.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/kernel/src/main.c b/kernel/src/main.c index 106576f..037c43e 100644 --- a/kernel/src/main.c +++ b/kernel/src/main.c @@ -24,11 +24,11 @@ #include <atomic.h> #include <pmm.h> -int kernel_main(mb2_tag_header* multiboot_bootinfo, uint32_t multiboot_magic); -int kernel_main(mb2_tag_header* multiboot_bootinfo, uint32_t multiboot_magic) +int kernel_main(mb2_tag_header *multiboot_bootinfo, uint32_t multiboot_magic); +int kernel_main(mb2_tag_header *multiboot_bootinfo, uint32_t multiboot_magic) { init_serial(); -// serial is enabled from this point + // serial is enabled from this point init_gdt(); init_paging(); init_heap(); @@ -36,7 +36,7 @@ int kernel_main(mb2_tag_header* multiboot_bootinfo, uint32_t multiboot_magic) clear_screen(main_fb); init_mutex(&stdio_lock); init_mutex(&serial_stdio_lock); -// framebuffer is enabled from this point + // framebuffer is enabled from this point init_pmm(); memory_usage(); init_keyboard(); @@ -52,8 +52,8 @@ int kernel_main(mb2_tag_header* multiboot_bootinfo, uint32_t multiboot_magic) init_ap_cpus(); jump_userspace(); - for(;;) { - __asm__ __volatile__ ("hlt;"); + for (;;) { + __asm__ __volatile__("hlt;"); } return 0; } |