#include <stddef.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdatomic.h>
#include "includes/mtos.h"
#include "assert.h"
#include "intrinsics/intrin.h"
#include "filesystem/fat32/fat32.h"
#include "includes/stdarg_myos.h"
#include "drivers/blk/block.h"
#include "drivers/ahci/ahci.h"
#include "drivers/gop/gop.h"
#include "time.h"
#include "filesystem/vfs/vfs.h"
#include "includes/behavior.h"
Go to the source code of this file.
◆ gop_printf_forced
| #define gop_printf_forced |
( |
| color, |
|
|
| fmt, |
|
|
| ... ) |
Value:
void gop_printf(uint32_t color, const char *fmt,...)
Definition at line 58 of file kernel.h.
◆ UNREFERENCED_PARAMETER
| #define UNREFERENCED_PARAMETER |
( |
| x | ) |
|
Value:
#define CAUSE_BUGCHECK
#define REMINDER
Definition at line 37 of file kernel.h.
◆ __attribute__()
| __attribute__ |
( |
(noreturn) | | ) |
|
Remember that paging is on when this is called, as UEFI turned it on.
Definition at line 180 of file kernel.c.
◆ copy_gop()
◆ copy_memory_map()
| void copy_memory_map |
( |
BOOT_INFO * | boot_info | ) |
|
◆ init_boot_info()
◆ kernel_idle_checks()
| void kernel_idle_checks |
( |
void | | ) |
|
◆ kernel_main()
◆ isBugChecking
Global variables initialization
Definition at line 19 of file kernel.c.