История изменений

По отзывам пользователей Sculpt им удавалось запускать OpenBSD в старых релизах еще на VBox v5x, в новых пока не пробовали.

Причем в новых релизах Sculpt по их словам по прежнему можно легко установить старый VBox5 из pkg пакета.

Но Sculpt обычно собирается с ядром NOVA, с ядром seL4 почему-то мало кто даже пытается и то неудачно:

https://lists.genode.org/pipermail/users/2019-July/006829.html

Nanfang Hu nhu2000 at gmail.com Mon Jul 29 01:31:13 CEST 2019

Previous message (by thread): users Digest, Vol 15, Issue 17 Next message (by thread): Issues to build Sculpt with Sel4 kernel Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I am trying to build Sculpt with Sel4 kernel.

sudo make -C build/x86_64 run/sculpt KERNEL=sel4 BOARD=pc

I run into error, «Could not allocate block in ext2 filesystem»

It seems that I have increased file system size. Where is the place to make that change?

Thanks Nanfang

По отзывам пользователей Sculpt им удавалось запускать OpenBSD в старых релизах еще на VBox v5x, в новых пока не пробовали.

Причем в новых релизах Sculpt по их словам по прежнему можно легко установить старый VBox5 из pkg пакета.