#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.