The Barrelfish project is no longer active. See https://systems.ethz.ch/ for information about our current research activities.
Posted 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.
The second paragraph is only visible in the post itself.
This is a quote:
Donec sit amet nisl. Aliquam semper ipsum sit amet velit. Suspendisse id sem consectetuer libero luctus adipiscing.
Horizontal ruler: *****
And here we have an enumeration with bullets:
And an enumeration with numbers:
Pictures can be included as well:

And finally we add a code snippet:
errval_t acpi_reset(void)
{
assert(rpc_client != NULL);
errval_t err, msgerr;
err = rpc_client->vtbl.reset(rpc_client, &msgerr);
return err_is_fail(err) ? err : msgerr;
}If you would like to post a comment, please subscribe to our mailing list. There is also a public wiki server for Barrelfish information - please apply for an account if you want to contribute.