#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;
};