Microkernel Architecture and Hardware Abstraction Layer of a Reliable Reconfigurable Real-Time Operating System (R3TOS).
Xabier IturbeKhaled BenkridChuan HongAli EbrahimRaul TorregoTughrul ArslanPublished in: ACM Trans. Reconfigurable Technol. Syst. (2015)