void kernel_reset_initrd(void)
char * argv_GetFilepath(const char *argv)
char * argv_GetFilename(const char *argv)
int kernel_prepare_initrd(void *start, size_t size)
int elf_runFromMemory(void *addr, int size)
void kernel_build_cmdline(const char *parameters, const char *root)
int elf_runFromDisk(char *filename)
void elf_setArgcArgv(int argc, char *argv[])
void kernel_relocate_initrd(void *start, size_t size)
char * argv_GetDevice(const char *argv)
int elf_runWithDeviceTree(void *elf_addr, int elf_size, void *dt_addr, int dt_size)