Issues to build Sculpt with Sel4 kernel

[Nanfang Hu]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20190729/bbbff524/attachment.html>