[Barrelfish-users] [Barrelfish] New Barrelfish Release

[David Cock]

Dear all,

We are pleased to announce a new release of the Barrelfish OS. Along
with various bugfixes, this release includes a skeleton framework for 
ARMv8/AArch64, which we are releasing in an immature form to allow 
public collaboration on its development.  ARMv8 support in this release 
is experimental, incomplete, and unsupported.

As always, you can get the latest version by cloning or pulling from our
git repository [1].

Cheers,
-- David

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

---
David Cock (6):
       Seperated the tool prefix from the tool name for ARMv8.
       Remove serial port hardcoding.
       Marked problematic code in ARM subtree.
       Made errval_t a flounder builtin.
       Merge branch 'armv8'
       Squashed a bug in paging code from the ARMv8 branch.

Reto Achermann (3):
       monitor: handover of correct state for cap revocations
       monitor: bugfixes in the revocation protocol
       morecore: fixing leaking slot allocator.(closes T153

Simon Gerber (17):
       Initial AArch64/ARMv8 skeleton.
       apm88xxxx: implement kernel serial driver.
       apm88xxxx: cpu driver: add serial init and printf.
       armv8: try to print things.
       armv8: non-functioning exception vectors.
       armv8: cpu driver improvements.
       armv8: add definitions for VMSAv8-64 translation table entries.
       armv8: remove old GOT stuff.
       armv8: cleanup.
       arm: implement flush cache debug syscall
       32bit arm: fix large page support. Close T148.
       large page morecore: add command line options to test
       armv5: add missing cp15_invalidate_i_and_d_caches_fast()
       arm: fix caps_map_l1 for armv5 and remove panic()s in armv7
       monitor: remove old capability code
       monitor: distops: add missing free + assert in retrieve.
       kernel: do not drop RAM caps