portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Anna Lyons d4868012f8 arm: always handle overflow irqs 
Always handle overflow irqs from the cycle counter if overflow irqs are
enabled, not just when we are updating the log. Otherwise if logging
isn't enabled but the counter overflows the kernel will be stuck in a
interrupt handling loop.
2019-06-14 12:12:15 +10:00
..
32/mode Rename shared_types*.bf files to be consistent 2019-03-21 12:43:43 +11:00
64/mode Rename shared_types*.bf files to be consistent 2019-03-21 12:43:43 +11:00
api Remove symlinked libsel4 files from include dir 2019-03-21 12:44:57 +11:00
arch arm: always handle overflow irqs 2019-06-14 12:12:15 +10:00
benchmark Remove symlinked libsel4 files from include dir 2019-03-21 12:44:57 +11:00
drivers trivial: fix #ifdef on am335x 2019-04-15 08:47:32 +10:00
fastpath style: consistently attach return type 2019-03-19 14:05:36 +11:00
kernel SELFOUR-1198: correct restart PC 2019-05-31 14:45:47 +10:00
machine capdl-dump: tcbDebug list, multicore-support, add tcb command 2019-03-20 12:55:30 +11:00
model Boot code: Statically allocate idle thread 2019-05-07 12:21:31 +10:00
object Update size comments to reflect the size better 2019-04-08 10:48:32 +10:00
plat boot: consolidate init_freemem 2019-05-15 14:03:40 +10: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 SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23: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 style: consistently align pointer with name 2019-03-19 14:04:54 +11:00