seL4/src
Qiao Yongchang e1fce5122e Change QEMU version check to FATAL_ERROR
Low version QEMU dump dts not have intc location information
and make subsequent generate dtb failed.

Error information:
Reference to non-existent node or label "/intc@8000000"

So when the QEMU version does not meet the requirements there
should be FATAL_ERROR to notice user early and immediately exit

Signed-off-by: Qiao Yongchang <qiaoyongchang@gmail.com>
2021-09-24 11:31:09 +10:00
..
api define generic debug_capDL() function 2021-05-14 13:03:39 +10:00
arch trivial: fix warning of multiboot_mmap_length 2021-09-20 17:22:51 +10:00
benchmark KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
config Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
drivers use ULL_CONST() for timer value 2021-08-21 10:46:54 +10:00
fastpath fastpath: placate clang-11 2021-08-30 09:41:45 +10:00
kernel boot: simplify create_untypeds_for_region() 2021-09-20 16:49:11 +10:00
machine remove goto in printf_core() and return directly 2021-09-21 10:25:04 +10:00
model mcs: Remove refill_full check from checkBudget 2021-05-17 10:06:58 +10:00
object trivial: formatting, improve comments 2021-09-14 08:41:09 +10:00
plat Change QEMU version check to FATAL_ERROR 2021-09-24 11:31:09 +10:00
smp riscv: Improve IPI code 2020-05-07 13:48:26 +10:00
assert.c Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
config.cmake define generic debug_capDL() function 2021-05-14 13:03:39 +10:00
inlines.c Enabled IPC debug features under new config 2020-04-06 14:21:46 +10:00
string.c Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
util.c riscv: fix CLZ and CTZ for riscv32 builds (#325) 2021-03-30 13:17:16 +11:00