[Barrelfish-users] repository update

[Kornilios Kourtis]

Hi all,

We just pushed some changes (around 100 commits) in the public tree.

There are two major changes:
 - A merge of the newlib libc [1], as initially discussed in the 2011
   barrelfish workshop [2]. Based on patches provided by Zeus Gómez
   Marmolejo from BSC, barrelfish programs can now use either the oldc
   (old C library) or newlib. Note that we plan to remove oldc completely
   at some point in the future.

 - a rewrite of Hamlet (including syntax) to define an ordering over
   caps, and a rewrite of the MDB as a search tree using said ordering.
   This allows fast lookups of caps by value, useful when exchanging caps
   between monitors. The search tree can also be used to lookup caps by
   address ranges. These changes are a part of a larger effort to
   redesign the capability and the VM system, so expect more changes in
   these areas.

[1] http://sourceware.org/newlib/
[2] http://wiki.barrelfish.org/CambridgeWorkshop2011

cheers,
Kornilios.

-- 
Kornilios Kourtis