include/api/object.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

#ifndef _JOVE_API_OBJECT_H
#define _JOVE_API_OBJECT_H 1

#include <stdint.h>

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