I am trying to build barrelfish for armv7. The build is failing as menu.lst.armv7 is missing. Anyone tried building barrelfish on ARM recently? Can you please post the steps to build barrelfish for ARM and run it on qemu. Regards Nagendra