mirror of
https://github.com/drasko/codezero.git
synced 2026-01-14 11:53:15 +01:00
30 lines
390 B
C
30 lines
390 B
C
/*
|
|
* Main function for this container
|
|
*/
|
|
|
|
#include <l4lib/macros.h>
|
|
#include L4LIB_INC_ARCH(syslib.h)
|
|
#include L4LIB_INC_ARCH(syscalls.h)
|
|
#include <l4/api/space.h>
|
|
#include <l4lib/lib/thread.h>
|
|
#include <l4lib/lib/cap.h>
|
|
|
|
#include <memory.h>
|
|
|
|
extern int ipc_demo(void);
|
|
|
|
int main(void)
|
|
{
|
|
|
|
__l4_threadlib_init();
|
|
|
|
__l4_capability_init();
|
|
|
|
page_pool_init();
|
|
|
|
ipc_demo();
|
|
|
|
return 0;
|
|
}
|
|
|