ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-29 07:33:57 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-sel4/patches
History
Stefan Kalkowski b765cef359 replace Wandboard by i.MX6 reference board 
Instead of using the Wandboard Quad, the reference hardware from NXP
i.MX6 Quad Sabrelite will be used by Fiasco.OC, sel4 and hw by default.
2019-01-30 13:35:28 +01:00
..
arm_cache.patch
sel4: enable nx bit handling for ARM
2017-11-01 08:39:49 +01:00
autoconf_32.patch
sel4: use kernel branch 7.0 + our mastered commits
2017-11-30 11:23:05 +01:00
autoconf_64.patch
sel4: use kernel branch 7.0 + our mastered commits
2017-11-30 11:23:05 +01:00
config.patch
sel4: update to version 9.0.0
2018-05-03 15:31:21 +02:00
imx6q_sabrelite.config
replace Wandboard by i.MX6 reference board
2019-01-30 13:35:28 +01:00
ioapic.patch
sel4: update to 3.2.0
2016-08-10 11:07:56 +02:00
noise.patch
sel4: add Wandboard Quad (iMX6) support
2017-08-17 11:04:21 +02:00
sel4_tlb_x86_bug.patch
sel4: flush tlb on x86
2019-01-07 12:25:43 +01:00