[Barrelfish-users] New Barrelfish Release

[Lukas Humbel]

Dear all,

We are pleased to announce a new release of the Barrelfish OS. Ubuntu 18.04 is now our supported build platform and this release adds support for the updated toolchain.

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

Cheers,
-- Lukas

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


-----


Adam Turowski (26):
      fpu: unifing the fpu's context switching     x86_64: fixing the stack's alignment
      thc: fixing the stack's alignment
      fpu: some cleanups
      Removing the unnecessary syscall GET_ABS_TIME from x86_64
      pandaboard: fixing small compilation issues
      pci: temporary workaround for over-4G-devices
      fpu: unifing the fpu's context switching     x86_64: fixing the stack's alignment
      thc: fixing the stack's alignment
      fpu: some cleanups
      Removing the unnecessary syscall GET_ABS_TIME from x86_64
      pandaboard: fixing small compilation issues
      pci: temporary workaround for over-4G-devices
      xeon_phi: fixing timers, dispatching and stack's alignment
      arm: adding gic v3
      armv8: adding support for NEON
      fputest: new, better test
      debug: reverting debug_printf and acpi commits
      qemu: reverting few changes
      arm: removing a debug print and fixing ACPI
      armv7: fixing VFP support
      armv7: fixing the a9's timer
      armv7: fixing QEMU Zynq, adding 4-core QEMU armv7
      arm: platform info cleanups, adding e1k to QEMU
      armv7: fixing thread context switching
      Merge branch '18.04'
      harness: changing the DS-5 directory

Lukas Humbel (13):
      irqtest: Fix test. Enable multi instance
      ACPI: Enable debug printer (with preprocessor switch)
      harness: rename grubboot to boottest
      Merge branch 'master' into 18.04
      e1000: Fix for recent QEMU versions
      acpi: Fix build for ARMv7
      harness: Make compiler-rt tests run on qemu
      compiler-rt-tests: Retab file
      save FPU state on disp_save
      Make harness a bit more tolerant for accepting output
      Use bios settings for bar configuration on QEMU
      Make armv8 qemu wrapper work together with harness
      Restore interrupts on x86

Reto Achermann (6):
      hake: adapt to the GHC 8.0 changes in interface
      hake: adapt to the GHC 8.0 changes in interface
      acpi: provide implementation to dump the ACPI tables
      k1om: the xeon phi does not support clflush instructions
      k1om: remove fpu_save and fpu_resore functions as they are in handled else where now
      libacpica: adding haek target for the dump facilities of the acpi tables

Roni Häcki (6):
      Merge branch 'master' into '18.04'
      harness: proc_mgmt test change cores used to depend on command line     input and not hard coded values
      kernel: added missing device dependency
      kernel: do not initialze xmm registers on xeon phi
      gem5: fixed test for 18.04
      gem5: wait time until we connect using telnet increased

Simon Gerber (2):
      harness: Update ETH pandaboard rack machine definitions to work on all emmentaler build hosts
      serial,pc16550: properly disable interrupts before polling on interrupt

-- 
Lukas Humbel