initcall.c

Go to the documentation of this file.

00001 #include <l4/dde/ddekit/initcall.h>
00002 
00003 #include <l4/crtx/crt0.h>
00004 
00005 void ddekit_do_initcalls() {
00006         crt0_dde_construction();
00007 }
00008

Generated on Wed Apr 11 06:39:13 2012 for DDE - The L4 Device Driver Environment by

1.5.6