DHAKS (Distributed Hybrid Architecture Kernel System
The DHAKS project concerns the development of a distributed operating system based around a hybrid of a native code kernel (lower kernel) and a kernel portion executed by an interpreter for a VHLL (upper kernel). The DHAKS project is similar to the DICE project in that the operating system kernel itself utilizes code for an abstract machine. It is different from DICE in that this is not the only a portion of the kernel.