#include <omega0_proto.h>
#include <l4/sys/types.h>
#include <l4/sys/ipc.h>
#include <l4/sys/syscalls.h>
#include <l4/sys/kdebug.h>
#include <l4/sigma0/kip.h>
#include <l4/util/util.h>
#include <l4/log/l4log.h>
#include <l4/names/libnames.h>
#include <l4/rmgr/librmgr.h>
#include <l4/util/parse_cmd.h>
#include <string.h>
#include <stdlib.h>
#include "globals.h"
#include "irq_threads.h"
#include "server.h"
#include "config.h"
#include "events.h"
Go to the source code of this file.
Functions | |
int | main (int argc, const char **argv) |
Variables | |
unsigned | MANAGEMENT_THREAD = 0 |
Definition in file main.c.
unsigned MANAGEMENT_THREAD = 0 |