[Barrelfish-users] [Barrelfish] New Barrelfish Release

[David Cock]

Dear all,

We are pleased to announce a new release of the Barrelfish OS.  In 
addition to the ongoing clean up of the 32-bit ARM tree, this release 
includes a port to 64-bit ARMv8 processors, running under GEM5 (many 
thanks to the team at HP for their contribution), and initial work on a 
machine-description language by Moritz.

Cheers,
-- David

[1] git://git.barrelfish.org/git/barrelfish

---
David Cock (11):
       Clean merge of HP's ARMv8 code
       Fixed ARMv7 GEM5 build
       Fixed ARMv7/ARMv5 build (again).
       Squashed "noreturn" warnings for panicking functions.
       Restored ARMv7 GEM5 multiprocessor boot code
       The core of the new ARMv8 exception vectors
       ARMv8-GEM5 builds again, with the new exception vectors.
       New ARMv8 vectors mostly work.
       Fixed build failure for x86_64
       More ARMv8 bugfixes.  Boots now.
       ARMv8 interrupts now work properly.

Moritz Hoffmann (29):
       Merge branch 'master' into machinemodel
       sockeye: integrate with hake
       sockeye: Improve code generation
       sockeye: replace tabs by spaces
       sockeye: experimental schema transformation
       T185: sockeye: hake integration
       hake: Do not descend into dot-directories (.*)
       hake: Remove unicode characters (ä -> ae) in header.
       T185: sockeye: remove fact keyword from fact attributes.
       T185: machinemodel: add draft cpu and pci models.
       T185: sockeye: update parser to do correct type rewiring
       T185: machinemodel: use typedef'ed type instead of raw type as 
sockeye supports it now
       Merge remote-tracking branch 'eth/master' into machinemodel
       skb: use errval_t as return value where it actually is an errval_t
       Rename cpu.sockeye to cpuid.sockeye
       skb/datagatherer: implement error handling.
       skb/datagatherer: use errval_t as return value for gather_cpuid_data.
       sockeye: use different name functions for prolog names.
       skb/datagatherer: Use cpuid schema to populate SKB
       T186: skb: Fix off-by-one error when assembling query string.
       skb/datagatherer: add error code for cpuid.
       skb/datagatherer: move error code into own group
       skb: improve client string processing
       sockeye: documentation, work-in-progress
       sockeye: handle typedefs more consistently.
       hake: Improve Sockeye integration by using correct paths
       sockeye: update documentation
       Merge remote-tracking branch 'eth/machinemodel'
       T24: remove remaining SCC code

Reto Achermann (3):
       sockeye: initial commit of working parser and partial code generation
       sockeye: preliminary code to generate C function bodies
       sockeye: Fixing quotation marks

Timothy Roscoe (2):
       Removed Heterogeneous PandaBoard support
       First part of cleanup of ARMv7 code; booting on GEM5 and Pandaboards

Zaheer Chothia (1):
       syscall: clarify unit of system clock in comment