Fukurō
A highly portable microkernel
Loading...
Searching...
No Matches
unpaged_init.c File Reference
#include <stdint.h>
#include <stddef.h>
#include <sys/multiboot.h>
#include <fukuro/kinfo.h>
Include dependency graph for unpaged_init.c:

Functions

struct kernel_infounpaged_init (uint32_t magic, struct multiboot *mb)
 

Function Documentation

◆ unpaged_init()

struct kernel_info * unpaged_init ( uint32_t  magic,
struct multiboot mb 
)