@mav This was already in production by Convergent Technologies under the name "NGEN". It ran a proprietary real-time OS, very Microkernel-like, written in PL/M.

http://www.computinghistory.org.uk/det/2964/Convergent-Technologies-AWS-NGEN-Workstation/