28 Jul
2019
28 Jul
'19
11:31 p.m.
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