summaryrefslogtreecommitdiff
path: root/libdde_linux26/lib/src/arch/l4/init.c
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2012-02-19 06:16:15 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2012-02-19 06:16:15 +0000
commit34e3b522eca7e8741cecb7c2241091f181d1bd1f (patch)
tree3b64ac3aa4603539b8f8f384bc39998e29948900 /libdde_linux26/lib/src/arch/l4/init.c
parentd4e6a14eb3fad1b43a21214db139db441025baf5 (diff)
parent6fafeb146e9efd59140ea58cebd7dd38ae9a6379 (diff)
Merge branch 'upstream-merged'
Diffstat (limited to 'libdde_linux26/lib/src/arch/l4/init.c')
-rw-r--r--libdde_linux26/lib/src/arch/l4/init.c33
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);