[Barrelfish-users] New release

[Stefan Kästle]

Hello everyone,

We are pleased to announce a new release of Barrelfish. Apart from 
notorious bug-fixes, we have a couple of new ARM-related features:

- support for user-level drivers on ARMv7:
This includes passing capabilities for device memory from Kaluga to the 
drivers as well as the infrastructure to do interrupt processing in 
user-level based on upcalls. We plan to improve this interface in the 
future, but all the low-level bits and pieces should be ready to use.

- new driver for the face-detection module on OMAP4460 SoCs (see 
usr/drivers/omap44xx/fdif)

Cheers,
  Stefan

-- 
Stefan