00001
00002 #include "static_cfg.h"
00003
00004
00005 static l4io_desc_device_t
00006 ctrl = { SYS_CTRL, 1,
00007 {
00008 { L4IO_RESOURCE_MEM, 0x10000000, 0x10000fff },
00009 }
00010 },
00011 lcd = { AMBA_LCD_PL110, 1,
00012 {
00013 { L4IO_RESOURCE_MEM, 0x10020000, 0x10020fff },
00014 }
00015 },
00016 kbd = { AMBA_KMI_KBD, 2,
00017 {
00018 { L4IO_RESOURCE_MEM, 0x10006000, 0x10006fff },
00019 { L4IO_RESOURCE_IRQ, 52, 52 }
00020 }
00021 },
00022 mouse = { AMBA_KMI_MOUSE, 2,
00023 {
00024 { L4IO_RESOURCE_MEM, 0x10007000, 0x10007fff },
00025 { L4IO_RESOURCE_IRQ, 53, 53 }
00026 }
00027 },
00028 smc91x = { SMC91X, 2,
00029 {
00030 { L4IO_RESOURCE_MEM, 0x4e000000, 0x4e000fff },
00031 { L4IO_RESOURCE_IRQ, 60, 60 }
00032 }
00033 };
00034
00035 register_device_group("rv-926", &ctrl, &lcd, &kbd, &mouse, &smc91x);