The Barrelfish project is no longer active. See https://systems.ethz.ch/ for information about our current research activities.
Posted on June 08, 2017
Prior use, hardware components need to be initialized and configured, a task typically carried out by firmware, the operating system or device drivers. Devices are inhrently complex and requre a specific initialization sequence to function properly. A small mistake can lead an undefined state or even the destruction of the hardware device. In this post we show at the example of the MIPS R4600 TLB that it is impossible to always fulfill the required invariants stated in the device specification – even for such simple devices as the MIPS R4600 TLB.
Read MorePosted on May 25, 2016
This is a test post for the new Barrelfish OS blog. The first paragraph will show up in the overview page.
Read More