RROS is a dual-kernel OS that need both real-time and general-purpose ability
github.com