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
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
