#ifndef _JOVE_BOOT_H
#define _JOVE_BOOT_H 1

#include "hal/obj.h"

struct kernel_module
{
    jove_obj_t *shmem;
    char path[128];
};

jove_owned_obj_t *boot_getmodule(const char *path);

void cmdline_init(char *cmdline);
void cmdline_print(void);
const char *cmdline_getarg(const char *key);


#endif