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