denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-22 13:02:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
5d66bfbd1946f8404fe316cfd64ef00a0c83f413
genode/repos/base-sel4/lib
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
..
import
sel4: use kernel branch 7.0 + our mastered commits
2017-11-30 11:23:05 +01:00
mk
replace Wandboard by i.MX6 reference board
2019-01-30 13:35:28 +01:00