Test  suite for seL4.