Issues to build Sculpt with Sel4 kernel

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

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?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list