#ifndef _SYBORG_H
#define _SYBORG_H

#define SYBORG_ID_PLATFORM    0xc51d1000
#define SYBORG_ID_INT         0xc51d0000
#define SYBORG_ID_SERIAL      0xc51d0001
#define SYBORG_ID_KEYBOARD    0xc51d0002
#define SYBORG_ID_TIMER       0xc51d0003
#define SYBORG_ID_RTC         0xc51d0004
#define SYBORG_ID_MOUSE       0xc51d0005
#define SYBORG_ID_TOUCHSCREEN 0xc51d0006
#define SYBORG_ID_FRAMEBUFFER 0xc51d0007
#define SYBORG_ID_HOSTFS      0xc51d0008
#define SYBORG_ID_SNAPSHOT    0xc51d0009
#define SYBORG_ID_VIRTIO      0xc51d000a
#define SYBORG_ID_NAND        0xc51d000b

#endif