There is also ACPU OS https://www.acpul.org/blog/so-fast