forked from Imagelibrary/seL4
379bf5abe3
CMake treats any text output that is generated by tools during the configuration phase as important if it isn't part of a message(STATUS) command. Output generated by hardware_gen.py often shows up as warnings about device tree properties that are usually uninformative. Resolving some of the warning conditions removes these messages for most platforms. - Setting kernel_size in hardware.yml to 0x1000 to handle cases where the kernel only needs the first page of a device that has a device-tree definition larger than that. - Remove status print about each Interrupt processed as it's usually not useful information. - Only process IRQs for a selected kernel device if the rule for that device has any interrupt queries. This prevents warnings for IRQ controllers that the script doesn't know how to process when it doesn't need to. Signed-off-by: Kent McLeod <kent@kry10.com>