Nick Spinale dbd6efc507 libsel4: rename interface XML files ...

Before, some object API XML files conflicted when the include,
arch_include, and sel4_arch_include directories were combined:

- include/interfaces/sel4.xml
- arch_include/*/interfaces/sel4arch.xml
- sel4_arch_include/*/interfaces/sel4arch.xml

This commit renames them to:

- include/interfaces/object-api.xml
- arch_include/*/interfaces/object-api-arch.xml
- sel4_arch_include/*/interfaces/object-api-sel4-arch.xml

Now, when the include, arch_include, and sel4_arch_include directories
are combined, we are left with:

- interfaces/object-api.xml
- interfaces/object-api-arch.xml
- interfaces/object-api-sel4-arch.xml

Signed-off-by: Nick Spinale <nick@nickspinale.com>

2024-06-30 18:28:12 +10:00

..

compilation-checks.yml

CI: cancel older concurrent PR runs

2024-03-26 20:56:54 +01:00

cparser.yml

github: run C parser on push/PR

2021-06-30 14:04:00 +10:00

manual.yml

github: bump GitHub actions to node20

2024-01-29 10:11:25 +11:00

pr.yml

github: add AARCH64 to preprocess test

2022-02-03 17:19:58 +11:00

preprocess-deploy.yml

github: add AARCH64 to preprocess test

2022-02-03 17:19:58 +11:00

proof.yml

github: use default Isabelle version for proofs

2024-06-14 09:06:08 +10:00

push.yml

Refactor github workflows; add preprocess test

2020-06-18 12:47:54 +10:00

sel4bench-pr.yml

CI: remove obsolete concurrency setup in job

2024-02-09 12:59:04 +00:00

sel4test-deploy.yml

CI: the seL4/machine_queue repo is public now

2024-01-30 12:26:50 +00:00

sel4test-hw.yml

CI: cancel older concurrent PR runs

2024-01-31 10:25:00 +11:00

sel4test-sim.yml

CI: cancel older concurrent PR runs

2024-01-31 10:25:00 +11:00

trigger.yml

github: run actions with secrets only in seL4 org

2021-10-18 14:47:07 +11:00

xml_lint.yml

libsel4: rename interface XML files

2024-06-30 18:28:12 +10:00