1/*
2** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
3** Distributed under the terms of the NewOS License.
4*/
5#ifndef _KERNEL_ARCH_ARM_KERNEL_H
6#define _KERNEL_ARCH_ARM_KERNEL_H
7
8#include <arch/cpu.h>
9
10// memory layout
11#define KERNEL_LOAD_BASE	0x80000000
12
13#define KERNEL_BASE	0x80000000
14#define KERNEL_SIZE	0x80000000
15#define KERNEL_TOP	(KERNEL_BASE + (KERNEL_SIZE - 1))
16
17/*
18** User space layout is a little special:
19** The user space does not completely cover the space not covered by the kernel.
20** This is accomplished by starting user space at 1Mb and running to 64kb short of kernel space.
21** The lower 1Mb reserved spot makes it easy to find null pointer references and guarantees a
22** region wont be placed there. The 64kb region assures a user space thread cannot pass
23** a buffer into the kernel as part of a syscall that would cross into kernel space.
24*/
25#define USER_BASE		0x100000
26#define USER_BASE_ANY		USER_BASE
27#define USER_SIZE		(0x80000000 - (0x10000 + USER_BASE))
28#define USER_TOP		(USER_BASE + (USER_SIZE - 1))
29
30#define KERNEL_USER_DATA_BASE	0x60000000
31#define USER_STACK_REGION	0x70000000
32#define USER_STACK_REGION_SIZE	((USER_TOP - USER_STACK_REGION) + 1)
33
34#endif	/* _KERNEL_ARCH_ARM_KERNEL_H */
35