/* Only include this file once in your application to prevent the need to link with this library. */ #include /* The global kernel interface page. */ l4_kip_t __l4_kip;