4
#define SYBORG_ID_PLATFORM 0xc51d1000
5
#define SYBORG_ID_INT 0xc51d0000
6
#define SYBORG_ID_SERIAL 0xc51d0001
7
#define SYBORG_ID_KEYBOARD 0xc51d0002
8
#define SYBORG_ID_TIMER 0xc51d0003
9
#define SYBORG_ID_RTC 0xc51d0004
10
#define SYBORG_ID_MOUSE 0xc51d0005
11
#define SYBORG_ID_TOUCHSCREEN 0xc51d0006
12
#define SYBORG_ID_FRAMEBUFFER 0xc51d0007
13
#define SYBORG_ID_HOSTFS 0xc51d0008
14
#define SYBORG_ID_SNAPSHOT 0xc51d0009
15
#define SYBORG_ID_VIRTIO 0xc51d000a
16
#define SYBORG_ID_NAND 0xc51d000b