HarSaRK-RS: Hard Safe Real-Time Kernel in Rust

Kanishkar Jothibasu, Gourinath Banda. HarSaRK-RS: Hard Safe Real-Time Kernel in Rust. In Carlos Angel Iglesias, Jose Ignacio Moreno Novella, Alessandro Ricci, Diego Rivera Pinto, Dumitru Roman, editors, Intelligent Environments 2020 - Workshop Proceedings of the 16th International Conference on Intelligent Environment, Madrid, Spain, 20-23 July 2020. Volume 28 of Ambient Intelligence and Smart Environments, pages 62-71, IOS Press, 2020. [doi]

Abstract

Abstract is missing.