Cross Reference: /seL4-test-master/projects/sel4test/apps/sel4test-driver/include/test_init

Cross Reference: test_init_data.h

xref: /seL4-test-master/projects/sel4test/apps/sel4test-driver/include/test_init_data.h