mirror of
https://github.com/seL4/seL4.git
synced 2026-04-05 06:49:54 +00:00
328a021686
Move DTS to the kernel in preparation for using them to autogenerate hardware headers. This includes DTS that we didn't have previously, extracted from the Linux kernel. Everything except TX2 comes from Linux v4.20, extracted with the following commands: checkout https://github.com/torvalds/linux.git v4.20 ./update-dts.sh /path/to/linux/checkout The TX2 dts is identical to the one that was found in seL4_tools.