Running Barrelfish on the Xeon Phi
This page describes how to build and run Barrelfish on the Intel Xeon Phi co-processor.
Environment Setup
In order to build Barrelfish for the Xeon Phi the user must have setup the GCC toolchain for the K1OM architecture and a NFS share accessible from the machine with the Xeon Phis. In summary, the Intel MPSS SDK has to be installed on the build host.
A detailed environment setup guide can be found here: Environment Setup Guide.