#ifndef _JOVE_INIT_H
#define _JOVE_INIT_H 1

#include <stdint.h>

enum {
    INIT_OBJECT_ROOTDIR = 0,
    INIT_OBJECT_PAGEMAP,
    INIT_OBJECT_PROCESSOR_DIR,
    INIT_OBJECT_UNTYPED_DIR,
    INIT_OBJECT_INITRD_DIR,
    INIT_OBJECT_TCB,
    INIT_OBJECT_MESSAGE,
    INIT_OBJECT_LOG
};

#include "object.h"
extern objdir_t _initDirectory;

uintptr_t init_alloc_pageframe();
void init_map_pageframe(uintptr_t pptr, uintptr_t vptr, uint8_t pflags);

void init_load(void);

#endif