diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:45:06 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:45:06 +0200 |
| commit | 878c5456c5a2f9bff741a7b7bcdccd5c1694db22 (patch) | |
| tree | bcf3d101215fa70b953aa7e9d0de805c5f8865b4 /libdde_linux26/lib/src/arch/l4/init.c | |
| parent | 9062642230b7bfb48e7b30f98cba8528172b2d36 (diff) | |
| parent | c8f311a7a32d4b0cb0c21672f63bca8efdf5d83a (diff) | |
Merge branch 'dde' into HEAD
Diffstat (limited to 'libdde_linux26/lib/src/arch/l4/init.c')
| -rw-r--r-- | libdde_linux26/lib/src/arch/l4/init.c | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/libdde_linux26/lib/src/arch/l4/init.c b/libdde_linux26/lib/src/arch/l4/init.c new file mode 100644 index 00000000..79112f78 --- /dev/null +++ b/libdde_linux26/lib/src/arch/l4/init.c @@ -0,0 +1,33 @@ +#include "local.h" + +#include <dde26.h> +#include <dde.h> + +#define DEBUG_PCI(msg, ...) ddekit_printf( "\033[33m"msg"\033[0m\n", ##__VA_ARGS__) + +/* Didn't know where to put this. */ +unsigned long __per_cpu_offset[NR_CPUS]; + +extern void driver_init(void); +extern int classes_init(void); + +void __init __attribute__((used)) l4dde26_init(void) +{ + /* first, initialize DDEKit */ + ddekit_init(); + + l4dde26_kmalloc_init(); + + /* Init Linux driver framework before trying to add PCI devs to the bus */ + driver_init(); + + printk("Initialized DDELinux 2.6\n"); +} + +void l4dde26_do_initcalls(void) +{ + /* finally, let DDEKit perform all the initcalls */ + ddekit_do_initcalls(); +} + +dde_initcall(l4dde26_init); |
