seL4/include
Anna Lyons 7798b4767d aarch64: allow access to memory below physBase
On aarch64 physBase is the constant that points to the bottom of
physical memory (RAM).

Prior to this change the kernel window was mapped directly to physBase,
which is usually not a 0 paddr. As a consequence the kernel could not
access any memory below physBase.

This change fixes this issue by mapping the start of the kernel window
to 0 in the physical address space.

- add new constant PADDR_LOAD, the location of the kernel image in the
physical address space.
- add new constant PADDR_BASE, the start of the physical address space
(0).
- add new constant KERNEL_ELF_BASE, the location of the kernel image in
kernel virtual memory.

A consequence of this change is that on aarch64, the kernelBase constant
now points to the start of the kernel window in virtual memory, but
*not* to the start of the kernel image as these are now different.
2019-09-13 08:35:19 +10:00
..
32/mode mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
64/mode mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
api mcs: add periodic scheduling 2019-08-22 11:22:35 +10:00
arch aarch64: allow access to memory below physBase 2019-09-13 08:35:19 +10:00
benchmark benchmark: remove unused function 2019-06-14 14:11:09 +10:00
drivers kzm: implement MCS timer driver 2019-08-22 11:22:35 +10:00
fastpath mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
kernel mcs: Avoid charging invalid scheduling contexts 2019-08-22 11:22:41 +10:00
machine mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
model mcs: configurable scheduling context size 2019-08-22 11:22:38 +10:00
object mcs: RISC-V uses 39-bit addressing in stuctures.bf 2019-08-27 10:46:13 +10:00
plat mcs: Avoid missing a timer tick 2019-08-22 11:22:41 +10:00
smp style: consistently attach return type 2019-03-19 14:05:36 +11:00
api.h Release snapshot 2014-07-18 05:03:59 +10:00
assert.h style: consistently align pointer with name 2019-03-19 14:04:54 +11:00
basic_types.h Type wrapper for a word_t that may alias 2018-04-24 14:04:46 +10:00
bootinfo.h Remove symlinked libsel4 files from include dir 2019-03-21 12:44:57 +11:00
compound_types.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
config.h mcs: allow kernel WCET estimate to be scaled 2019-08-22 11:22:39 +10:00
linker.h x64: SKIM window to mitigate Meltdown (CVE-2017-5754) on x86-64 2018-01-17 16:38:52 +11:00
machine.h style: consistently attach return type 2019-03-19 14:05:36 +11:00
object.h SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
stdarg.h Release snapshot 2014-07-18 05:03:59 +10:00
stdint.h Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
string.h Expose string functions in all builds 2018-04-18 10:10:14 +10:00
types.h ia32: added the option to disable prefetchers 2015-04-15 14:38:55 +10:00
util.h mcs: verification spec for clzll 2019-08-22 11:22:37 +10:00