The system has been developed using folowing items:
The system is based on mkernel (not any longer available), it was improved and named as Kalisto. Some core things are taken from Kalisto 0.6 (also http://nenya.ms.mff.cuni.cz/~holub/msim).