portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4
History
Oliver Scott 9abe8a4f0b add support for rockpro64 
Kernel support for 64 bit rockpro board.
Dts was taken from the linux kernel.
2019-10-25 14:18:20 +11:00
..
arch_include SELFOUR-161: Merge Page_Remap with Page_Map 2019-10-10 15:54:23 +11:00
include libsel4: Expose mcs constants to non-C files 2019-08-22 13:32:11 +10:00
mode_include Rename shared_types*.bf files to be consistent 2019-03-21 12:43:43 +11:00
sel4_arch_include aarch64: Move tpidrro_el0 from vcpu to tcb context 2019-09-19 11:39:14 +10:00
sel4_plat_include add support for rockpro64 2019-10-25 14:18:20 +11:00
src libsel4: Don't use userData for storing IPC buffer 2019-08-13 15:31:11 +10:00
tools aarch64: Move tpidrro_el0 from vcpu to tcb context 2019-09-19 11:39:14 +10:00
CMakeLists.txt mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00