RTEMS CPU Kit with SuperCore