-
Notifications
You must be signed in to change notification settings - Fork 0
/
startup.c
23 lines (20 loc) · 913 Bytes
/
startup.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
/*
* License:
* This file is largely based on code from the L4Linux project.
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License version 2 as
* published by the Free Software Foundation. This program is distributed in
* the hope that it will be useful, but WITHOUT ANY WARRANTY; without even
* the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
* See the GNU General Public License for more details.
*/
#include <l4/sys/types.h>
/* Also put thread data at the end of the address space */
const l4_addr_t l4thread_stack_area_addr = 0x9a000000;
const l4_addr_t l4thread_tcb_table_addr = 0x99000000;
/* Set max amount of threads which can be created, weak symbol from
* thread library */
const int l4thread_max_threads = 128;
/* Max amount of stack size */
const int l4thread_max_stack = 0x10000;