История изменений
Исправление cdshines, (текущая версия) :
the seL4 kernel reference implementation, which is written in Haskell.
This source code is executable — not pseudocode — and forms part of a simulator which can be used to examine the behaviour of a running seL4 kernel.
Если я правильно понял выражение «running seL4 kernel», то таки его можно где-то запустить. А раз можно в симуляторе (хоть я и не понимаю, что это за симулятор), то можно и к виртуалке какой-то приспособить?
Исходная версия cdshines, :
the seL4 kernel reference implementation, which is written in
Haskell.
This source code is executable — not pseudocode — and forms part of a simulator which can be used to examine the behaviour of a running seL4 kernel.
Если я правильно понял выражение «running seL4 kernel», то таки его можно где-то запустить. А раз можно в симуляторе (хоть я и не понимаю, что это за симулятор), то можно и к виртуалке какой-то приспособить?