seL4/include
Simon Shields b5c56244f1 Create device untypeds at boot for all arches
Currently on x86 device untypeds are generated by passing the entire
address space minus any parts that are reserved by the kernel or that
are "real" memory (e.g. kernel image, physical RAM).

On ARM and RISC-V, device untypeds were generated at compile-time from
a device tree. This patch moves ARM and RISC-V to use the same approach
as x86, and moves the code from x86 into a common location that's
shared between the three architectures.

Co-Authored-By: Anna Lyons <anna@gh.st>
2019-11-12 16:20:07 +11: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 Create device untypeds at boot for all arches 2019-11-12 16:20:07 +11:00
benchmark benchmark: remove unused function 2019-06-14 14:11:09 +10:00
drivers exynos: Move mct MCS functions to specific header 2019-10-23 16:30:17 +11:00
fastpath mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
kernel Create device untypeds at boot for all arches 2019-11-12 16:20:07 +11: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 Create device untypeds at boot for all arches 2019-11-12 16:20:07 +11:00
smp style: consistently attach return type 2019-03-19 14:05:36 +11:00
api.h
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
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
stdarg.h
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
util.h mcs: verification spec for clzll 2019-08-22 11:22:37 +10:00