2009-07-27 20:23:08 +04:00
|
|
|
/*
|
|
|
|
** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
|
|
|
|
** Distributed under the terms of the NewOS License.
|
|
|
|
*/
|
|
|
|
#ifndef _KERNEL_ARCH_ARM_KERNEL_H
|
|
|
|
#define _KERNEL_ARCH_ARM_KERNEL_H
|
|
|
|
|
|
|
|
#include <arch/cpu.h>
|
2011-03-14 16:48:21 +03:00
|
|
|
|
2009-07-27 20:23:08 +04:00
|
|
|
// memory layout
|
2020-02-21 23:26:56 +03:00
|
|
|
#define KERNEL_LOAD_BASE 0x80000000
|
|
|
|
|
2011-03-14 16:48:21 +03:00
|
|
|
#define KERNEL_BASE 0x80000000
|
2014-09-07 21:15:01 +04:00
|
|
|
#define KERNEL_SIZE 0x80000000
|
2011-03-14 16:48:21 +03:00
|
|
|
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
|
2009-07-27 20:23:08 +04:00
|
|
|
|
|
|
|
/*
|
|
|
|
** User space layout is a little special:
|
|
|
|
** The user space does not completely cover the space not covered by the kernel.
|
|
|
|
** This is accomplished by starting user space at 1Mb and running to 64kb short of kernel space.
|
|
|
|
** The lower 1Mb reserved spot makes it easy to find null pointer references and guarantees a
|
|
|
|
** region wont be placed there. The 64kb region assures a user space thread cannot pass
|
|
|
|
** a buffer into the kernel as part of a syscall that would cross into kernel space.
|
|
|
|
*/
|
2011-03-14 16:48:21 +03:00
|
|
|
#define USER_BASE 0x100000
|
|
|
|
#define USER_BASE_ANY USER_BASE
|
2019-03-05 20:56:55 +03:00
|
|
|
#define USER_SIZE (0x80000000 - (0x10000 + USER_BASE))
|
2012-08-02 12:32:33 +04:00
|
|
|
#define USER_TOP (USER_BASE + (USER_SIZE - 1))
|
2009-07-27 20:23:08 +04:00
|
|
|
|
2013-04-04 00:26:07 +04:00
|
|
|
#define KERNEL_USER_DATA_BASE 0x60000000
|
2011-03-14 16:48:21 +03:00
|
|
|
#define USER_STACK_REGION 0x70000000
|
2012-08-02 12:32:33 +04:00
|
|
|
#define USER_STACK_REGION_SIZE ((USER_TOP - USER_STACK_REGION) + 1)
|
2009-07-27 20:23:08 +04:00
|
|
|
|
|
|
|
#endif /* _KERNEL_ARCH_ARM_KERNEL_H */
|