[Barrelfish-users] [Barrelfish] New Barrelfish Release
david.cock at inf.ethz.ch
Wed Dec 2 11:19:46 CET 2015
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.
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
More information about the Barrelfish-users