RedoxOS might become interesting as it's written in a new, memory-safe language. Although it's not quite clear if that language and RedoxOS itself can handle the security challenges...