CASE sysinfo_tests [STARTED]
get_root_resource_succeeds [RUNNING] [PASSED] (6 ms)
get_board_name_succeeds [RUNNING] [PASSED] (3 ms)
get_interrupt_controller_info_succeeds [RUNNING] [PASSED] (3 ms)
CASE sysinfo_tests [PASSED]
====================================================
Results for test binary "/boot/test/sys/sysinfo-test":
SUCCESS! All test cases passed!
CASES: 1 SUCCESS: 1 FAILED: 0
====================================================