00001
00009
00010
00011
00012
00013 #ifndef __L4IO_SERVER_INCLUDE___STATIC_CFG_H__
00014 #define __L4IO_SERVER_INCLUDE___STATIC_CFG_H__
00015
00016 #include <l4/crtx/ctor.h>
00017 #include <l4/generic_io/types.h>
00018
00019 #define SYS_CTRL "System Control"
00020
00021 #define AMBA_KMI_KBD "AMBA KMI kbd"
00022 #define AMBA_KMI_MOUSE "AMBA KMI mou"
00023
00024 #define AMBA_LCD_PL110 "AMBA PL110"
00025
00026 #define SMC91X "smc91x"
00027
00028 enum {
00029 MAX_NUM_REGISTERED_DEVS = 10,
00030 };
00031
00032 void register_device_group_fn(const char *, l4io_desc_device_t **, int num);
00033
00034 #define register_device_group(name, devspointer...) \
00035 static l4io_desc_device_t *devs[] = \
00036 { devspointer }; \
00037 static void register_device_group_add(void) \
00038 { register_device_group_fn(name, devs, sizeof(devs) / sizeof(devs[0])); } \
00039 L4C_CTOR(register_device_group_add,0)
00040
00041
00042
00043 #endif