HelenOS is multi-platform. Their certificate expired but from their site: > HelenOS runs on eight different processor architectures Pretty sure ARM is one of

HelenOS is multi-platform. Their certificate expired but from their site: > HelenOS runs on eight different processor architectures Pretty sure ARM is one of those.