kernel.h

Go to the documentation of this file.

 
#pragma once
 
#include <cstdint>
 
extern "C" [[maybe_unused]] [[noreturn]] void _start(int argc,
                                                     const char** argv);
 
auto main(int argc, const char** argv) -> int;
 
auto MemoryInit() -> void;
auto MemoryInitSMP() -> void;
 
auto DeviceInit() -> void;
 
auto FileSystemInit() -> void;