portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/tools
History
Nick Spinale 2c8bc584da cmake: generate config headers at config-time 
Commit 6d439a4646, which added JSON configuration output, caused the
configuration headers to be generated at build-time instead of
configure-time.  This broke CAmkES build systems which depend on
configuration headers in CAmkES files at configure-time.

This commit makes the configuration headers available at configure-time.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
2023-10-28 07:36:42 +11:00
..
dts Add Quartz64 support 2022-11-21 16:43:20 +11:00
hardware Output JSON for hardware configuration 2023-08-13 08:59:55 +10:00
python-deps Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
bf.vim Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
bitfield_gen.md bitfield_gen: add CLI to manual 2023-05-03 09:05:23 +10:00
bitfield_gen.py bitfield_gen: remove obsolete options, add help 2023-05-01 12:35:48 +10:00
changed.sh tools: BSD compat for changed.sh 2020-06-18 12:39:46 +10:00
circular_includes.py Fix indexing into an empty array 2021-10-18 18:10:59 +11:00
condition.py fix parenthesis in condition_to_cpp 2022-03-22 18:33:38 +11:00
config_gen.py cmake: provide gen_config.json 2023-03-02 09:31:42 +11:00
cpp_gen.sh tools: use /usr/bin/env for bash/sh invocation 2021-08-25 17:56:49 +10:00
flags.cmake Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
hardware.yml Mark CLINT as reserved device on RISC-V platforms 2023-06-19 11:05:02 +10:00
hardware_gen.py Output JSON for hardware configuration 2023-08-13 08:59:55 +10:00
hardware_schema.yml Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
helpers.cmake cmake: generate config headers at config-time 2023-10-28 07:36:42 +11:00
internal.cmake CMake: inline set_kernel_32() and set_kernel_64() 2021-02-01 18:23:42 +01:00
invocation_header_gen.py python: use '#paragma once' include guard 2022-03-23 17:28:07 +11:00
kernel_pylint.sh tools: more portable shell test 2021-08-25 17:56:49 +10:00
kernel_xmllint.sh tools: more portable shell test 2021-08-25 17:56:49 +10:00
lex.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
pylintrc Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
reciprocal.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
syscall_header_gen.py python: include sel4/config.h and not autoconf.h 2023-04-24 23:02:12 +10:00
umm.py tools/bitfield_gen: ensure UTF-8 encoding 2022-06-03 14:19:24 +10:00
xmllint.sh tools: use /usr/bin/env for bash/sh invocation 2021-08-25 17:56:49 +10:00