seL4/libsel4
Nick Spinale a3f6be3c7c libsel4: add links in place of renamed XML files
This commit's parent renames the interface XML files.

The symlinks added in this commit serve to ease the transition to the
new names for downstream projects.

These links are added:

- include/interfaces/{sel4.xml -> object-api.xml}
- arch_include/*/interfaces/{sel4arch.xml -> object-api-arch.xml}
- sel4_arch_include/*/interfaces/{
    sel4arch.xml -> object-api-sel4-arch.xml
  }

Signed-off-by: Nick Spinale <nick@nickspinale.com>
2024-06-30 18:28:12 +10:00
..
arch_include libsel4: add links in place of renamed XML files 2024-06-30 18:28:12 +10:00
include libsel4: add links in place of renamed XML files 2024-06-30 18:28:12 +10:00
mode_include replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
sel4_arch_include libsel4: add links in place of renamed XML files 2024-06-30 18:28:12 +10:00
sel4_plat_include Add new imx8mp-evk platform 2024-06-12 22:47:34 +10:00
src Enabled IPC debug features under new config 2020-04-06 14:21:46 +10:00
tools Manual: Document ARM Virtualisation 2024-06-17 00:37:00 +01:00
CMakeLists.txt libsel4: rename interface XML files 2024-06-30 18:28:12 +10:00