[seL4] Help ! Simulating SEL4 with Zero testcases running