website-kernel/include/sys.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#pragma once
#include <int.h>

typedef uint8_t device_type_t;

struct boot_args {
    char *cmd_line;
    struct device *devices;
};

struct device {
    device_type_t device_type;
    uintptr_t start;
    size_t size;
    struct device *next;
};