Testing genode on sel4 blocked by sdl