trios/kernel/bootinfo.h

#pragma once

#include <stdint.h>

void bootinfo_load(void* ptr);

char* bootinfo_get_cmdline(void);