portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Anna Lyons 07d796790a Add generic macros for aarch32/64 system access 
This commit generalises 32 and 64 bit configuration for arm: 32bit uses
coprocessor access through mrc/mcr, 64bit system configuration through
msr,mrs

- SYSTEM_READ|WRITE_WORD: read or write configuration word
- SYSTEM_READ|WRITE_64  : read or write 64bits of configuration
2017-11-20 14:37:55 +11:00
..
32/mode Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
64/mode Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
api seL4_DebugDumpScheduler: reformat output 2017-06-23 10:28:54 +10:00
arch Add generic macros for aarch32/64 system access 2017-11-20 14:37:55 +11:00
benchmark Fix licenses (the rest) 2017-06-22 15:29:12 +10:00
fastpath x64: Rearrange cnode_cap structure to improve fastpath speed 2017-01-10 16:57:57 +11:00
kernel Fix licenses (the rest) 2017-06-22 15:29:12 +10:00
machine Fix licenses (the rest) 2017-06-22 15:29:12 +10:00
model SMP: add top level migrateTCB 2017-08-23 11:19:27 +10:00
object Declare and check IPC buffer size 2017-10-27 16:12:18 +11:00
plat x64: add MODIFIES statements for extern functions 2017-11-09 12:18:31 +11:00
smp smp: Use explicit fences instead of volatile 2017-11-03 11:39:32 +11:00
api.h Release snapshot 2014-07-18 05:03:59 +10:00
assert.h Add unverified_compile_assert 2017-05-04 11:13:31 +10:00
basic_types.h Rename uint32_t -> word_t in any relevant places 2015-12-10 10:45:20 +11:00
bootinfo.h SELFOUR-114: remove bootinfo.h duplication 2016-03-01 17:25:22 +11:00
compound_types.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
config.h SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
linker.h Share linker.h between architectures 2017-08-10 08:38:36 +10:00
machine.h SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
Makefile Add stdint MAX definitions 2017-11-17 14:49:27 +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 Correct separation of printing and debug builds 2016-05-17 15:10:08 +10:00
types.h ia32: added the option to disable prefetchers 2015-04-15 14:38:55 +10:00
util.h Verification: popcount- Avoid conflict variable names/types 2017-06-29 13:35:30 +10:00