Graduate and Intern on porting seL4 to s32g2 platform.