[Barrelfish-users] updates

[Kornilios Kourtis]

Hi all,

We just pushed some updates to the public tree.

The main change is the addition of a new architecture: ARMv7-a simulated
by Gem5 (gem5-arm). 

Other than that, the changes also include a number of fixes and updates,
including a fix for modify_flags discussed in [1].

[1] https://lists.inf.ethz.ch/pipermail/barrelfish-users/2012-May/000597.html

cheers,
Kornilios.

-- 
Kornilios Kourtis