HAL-ASOS - hardware assisted Linux for application specific operating system - Silva, Vítor Alberto Teixeira (2022)