Dixi Operating System - yet another derivative operating system