#include <l4/env/errno.h>
#include <l4/log/l4log.h>
#include <l4/sys/syscalls.h>
#include <l4/names/libnames.h>
#include <l4/util/parse_cmd.h>
#include <stdio.h>
#include "cfg.h"
#include "app.h"
#include "pager.h"
#include "idl.h"
#include "fprov-if.h"
#include "dm-if.h"
#include "events.h"
Functions | |
int | main (int argc, const char **argv) |
Main function. | |
Variables | |
char | LOG_tag [9] = "loader" |
tell logserver our log tag before main is called | |
const l4_ssize_t | l4libc_heapsize = 128*1024 |
init malloc heap | |
const int | l4thread_max_threads = 5 |
limit number of threads | |
const l4_size_t | l4thread_stack_size = 16384 |
limit stack size | |
int | use_events |
use events server. | |
int | use_l4io |
int main | ( | int | argc, | |
const char ** | argv | |||
) |
Main function.
int use_events |
use events server.