portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
Anna Lyons 4a486779ac SELFOUR-519: remove map_kernel_devices duplication 
* move devices to static array in hardware.h
* use one higher level function to map them in.
2016-08-06 17:53:04 +10:00
..
allwinnerA20/plat SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
am335x SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
apq8064 SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
exynos4 SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
exynos5 SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
hikey SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
imx6 SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
imx7 SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
imx31 SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
omap3 SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
pc99 SELFOUR-519: remove duplicated constants 2016-08-05 17:08:21 +10:00
tk1 SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00
zynq7000 SELFOUR-519: remove map_kernel_devices duplication 2016-08-06 17:53:04 +10:00