Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-05 06:49:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
b5a39a92a996c7e3356b7f8ee6f382063834d708
seL4/tools/dts
History
Oliver Scott b5a39a92a9 trivial: update licence
2019-10-25 14:18:20 +11:00
..
allwinnerA20.dts
CMake: Correct allwinnerA20 platform name
2019-08-13 14:51:57 +10:00
am335x-boneblack.dts
tools/dts: use correct dts for am335x-boneblack
2019-06-24 11:28:20 +10:00
am335x-boneblue.dts
am335x: add BeagleBone Blue support
2019-06-24 11:28:20 +10:00
apq8064.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
exynos4.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
exynos5250.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
exynos5410.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
exynos5422.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
fvp.dts
trivial: dts: Change the DTS for FVP
2019-07-10 06:59:13 +10:00
hifive.dts
RISCV: Add Hifive unleashed platform
2019-06-26 15:11:47 +10:00
hikey.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
imx7sabre.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
imx8mm-evk.dts
Add initial i.MX8M Mini evk 64-bit Support
2019-07-19 14:32:53 +10:00
imx8mq-evk.dts
Add initial i.MX8M Quad evk 64-bit Support
2019-07-01 23:31:47 +10:00
kzm.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
odroidc2.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
omap3.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
rockpro64.dts
add support for rockpro64
2019-10-25 14:18:20 +11:00
rpi3.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
sabre.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
spike32.dts
RISCV: Add DTS for 32bit spike platform
2019-06-26 11:38:08 +10:00
spike.dts
CMake: Generate device headers from DTS for spike
2019-06-26 11:38:08 +10:00
tk1.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
tx1.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
tx2.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
ultra96.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
update-dts.sh
trivial: update licence
2019-10-25 14:18:20 +11:00
wandq.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
zynq7000.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00
zynqmp.dts
Move DTS to the kernel
2019-01-16 14:34:16 +11:00