[Barrelfish-users] New Barrelfish Release

[Simon Gerber]

Dear all,

We are pleased to announce a new release of the Barrelfish OS. Along with
various bug fixes, this release includes improved functionality for
discovering machine topology and CPU features, a cleaner way of creating the
kernel control block for the bootstrap processor, a new traversal function for
the capability database index (MDB tree), and various improvements to the
memory management subsystem.

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

Cheers,
-- Simon

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

---
Moritz Hoffmann (19):
      Fix implementation of memobj_anon protect.
      memobj_anon, protect: use vregion_base and _off correctly
      shortcut in protect for single page operations
      Fixes T120: mdb: Add mdb tree traversal functions.
      Closes T118: libbarrelfish: Extract common syscalls into architecture-independant syscalls.h
      T119: implement syscall and monitor interface to debug_print_capabilities
      T119: work in progress, use mdb tree call-back function to gather data
      T118: libbarrelfish: Refactor architecture specific debug syscalls. Move common debug syscalls to top level sys_debug.c
      T119: kernel: Unify debug_print_capabilities in sys_debug.c
      T119: kernel, spawnd, fish: Use dispatcher invocations to dump capability information
      T119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_PRINT_CAPABILITIES syscall. Use capinvoke from fish instead. Improve output formatting.
      kernel: fix object creation for KCB on arm, x86_32
      trace: Consistent includes across all platforms
      T119: kernel: Implement cap invocation for arm, x86_32
      kernel: Remove references arch_init to bspkcb which does not exist anymore
      T121: kernel: Add missing include
      T121: kernel: Make BSP KCB a proper capability on ARM
      T121: kernel: fix BSP KCB creation on x86_32 and armv5
      T123: kernel: remove scc-specific code from x86_32 init.c

Reto Achermann (10):
      [T115] extending support for cpuid instruction
      [T115] make data gatherer use of libcpuid
      numatest: adding +1 to print the correct values
      [T115] making SKB CPU facts consistent beginning with core_id
      adding support for modify flags on large/huge pages
      Adding missing THC dependencies in Hakefile of Xeon Phi driver.
      memobj: adding missing implementation of unfill for memobj_numa
      libbitmap: changing semantics of bitmap_bit_{prev|next}
      libbomp: match the new bitmap interface for prev/next calls.
      libnuma: implementing missing allocation functions + large page support

Simon Gerber (8):
      T73: fix modify_flags for parts of region + test.
      T77: Implement selective TLB flushing hint for modify_flags.
      kernel: x86_64: fixed error handling in modify_flags.
      cpuid device definitions: remove utf-8 registered symbols.
      x86: implement modify flags for x86_32 and improve modify flags for x86_64.
      T121: Create "real" BSP KCB cap for x86.
      kernel: fix object creation for KCB.
      T119: add case when we find init rootcn in KCB.