Added barrelfish and grub to investigate how they manage multicore