#ifndef _JOVE_API_OBJECT_H #define _JOVE_API_OBJECT_H 1 #include typedef uint16_t obj_type_t; enum { /* Generic objects */ KO_NONE = 0, KO_OBJECT_DIRECTORY, KO_MEMORY_UNTYPED, KO_MEMORY_MAPPING, //4KiB aligned fixed width KO_INITRD_FILE, KO_TCB, KO_MESSAGE, /* Device objects*/ KO_DEV_INVALID = 0x100, KO_DEV_PROCESSOR, KO_DEV_UART }; #define KO_MESSAGE_BYTES 4096 #define KO_MESSAGE_ALIGN 0x1000 #define OBJECT_DIRECTORY_MAX_ENTRIES 256 #endif