#include <stdlib.h>
#include <stdio.h>
#include <l4/util/rdtsc.h>
#include <l4/log/l4log.h>
#include <l4/dope/dopelib.h>
#include "startup.h"
Functions | |
static void | deregister (void) |
close the dope app | |
int | native_startup (int argc, char **argv) |
Variables | |
l4_ssize_t | l4libc_heapsize = 128*1024 |