#include "symbols.h"

extern u8 kernel_start[];

uptr get_kernel_start() {
    return (uptr)&kernel_start;
}

extern u8 kernel_end[];

uptr get_kernel_end() {
    return (uptr)&kernel_end;
}

extern u8 multiboot_info[];

uptr get_multiboot_info() {
    return (uptr)&multiboot_info;
}