Các kho mã nguồn mở đang theo dõi của HelenOS, sắp xếp theo số sao.
Một hệ điều hành đa máy chủ dựa trên microkernel có tính di động, được viết từ đầu.
