How to run Arrakis

[srivignessh]

I would like to contribute to this work. Both the presentation and talk is impressive.
Can someone guide me.

[simpeter]

Glad you'd like to contribute. Unfortunately, we don't have the manpower to guide you. The best way to contribute is to find an area of the OS that you think needs work and then to contribute your code. Please be aware that Arrakis is now fully merged with Barrelfish.

[srivignessh]

Thank you