HelenOS 是一個支持對稱多處理器，多任務，多線程和32位和64位體系的操作系統