| .. |
|
32/mode
|
SELFOUR-413: refactor libsel4 fault API
|
2016-11-25 12:29:07 +11:00 |
|
64/mode
|
SELFOUR-413: refactor libsel4 fault API
|
2016-11-25 12:29:07 +11:00 |
|
api
|
Add debug_printUserState
|
2017-04-05 16:54:50 +10:00 |
|
arch
|
Use unverified_compile_assert in cases where OFFSETOF is used
|
2017-05-04 11:13:31 +10:00 |
|
benchmark
|
s/DEBUG/CONFIG_DEBUG_BUILD/
|
2017-04-06 10:43:24 +10:00 |
|
fastpath
|
x64: Rearrange cnode_cap structure to improve fastpath speed
|
2017-01-10 16:57:57 +11:00 |
|
kernel
|
Move isRunnable from thread.c to thread.h
|
2017-04-26 09:36:43 +10:00 |
|
machine
|
SELFOUR-836: Hardware debug API functions should take tcb_t and not arch_tcb_t
|
2017-04-03 14:14:00 +10:00 |
|
model
|
Move arch independent functions to generic files and HAVE_FPU config
|
2017-02-27 12:52:18 +11:00 |
|
object
|
trivial: remove unused 'bound' field from ntfn
|
2017-04-11 13:59:54 +10:00 |
|
plat
|
Check for configuration variables being 'defined' instead of 'true'
|
2017-05-03 10:35:44 +10:00 |
|
smp
|
smp: fix bugs when stalling remote core
|
2017-03-30 09:46:43 +11:00 |
|
api.h
|
|
|
|
assert.h
|
Add unverified_compile_assert
|
2017-05-04 11:13:31 +10:00 |
|
basic_types.h
|
|
|
|
bootinfo.h
|
SELFOUR-114: remove bootinfo.h duplication
|
2016-03-01 17:25:22 +11:00 |
|
compound_types.h
|
|
|
|
config.h
|
SELFOUR-444: Preemptible zeroing for retype.
|
2016-11-01 17:05:36 +11:00 |
|
machine.h
|
SELFOUR-607: inline remaining irq path functions
|
2016-08-09 16:18:34 +10:00 |
|
Makefile
|
SELFOUR-413: refactor libsel4 fault API
|
2016-11-25 12:29:07 +11:00 |
|
object.h
|
|
|
|
stdarg.h
|
|
|
|
stdint.h
|
|
|
|
string.h
|
Correct separation of printing and debug builds
|
2016-05-17 15:10:08 +10:00 |
|
types.h
|
|
|
|
util.h
|
Provide spec for CTZL
|
2017-02-22 17:22:17 +11:00 |
