[Barrelfish-users] Question about running barrelfish on xeonphi

Reto Achermann reto.achermann at inf.ethz.ch
Sat Feb 3 14:58:51 CET 2018

Hi Woonhak,

Thanks for writing me. Please use the Barrelifsh mailing list for further 
questions: barrelfish-users at lists.inf.ethz.ch

There is not really a Xeon Phi image as such. The driver requests additional 
modules over the network and assembles the image at run time.

Indeed, you need to specify the targets you want to build. For this you can use 
the "symbolic targets" like K1OM_Basic and X86_64_Basic. This will build the 
modules specified in platforms/Hakefile.

Make sure you copy the relevant binaries into your TFTP directory.

Please note, running Barrelfish on the Xeon Phi with a Linux Host may not work 
as the Linux kernel module expects different signaling than Barrelfish on the 
Xeon Phi uses. You will need to run Barrelfish on the host too.

You may have a look the Xeon Phi test in tools/harness.

Please let me know if there are any further questions

-- Reto

On 02/02/18 08:44, Woonhak Kang wrote:
> ​Hi Reto,
> My name is Woonhak Kang.
> I'm a post-doc at Georgia Tech and I'm trying to run barrelfish on xeonphi.
> I can build target, but I don't know where is the xeonphi boot image and boot 
> loader.
> According to the wiki(http://wiki.barrelfish.org/Running_on_Xeon_Phi)
> $ ../barrelfish/hake/hake.sh -s ../barrelfish -a k1om -a x86_64
> $ make
> However, command 'make' needs at least one target,
> and just running 'make' does nothing.
> I found that the platform targets K1OM_XX and X86_64_XX.
> So is this correct way to build boot images?
> I can't find boot image and boot loader for xeon phi after building done.
> Could you let me know how can I build boot image and boot loader for Xeon Phi?
> and what should I do for host and xeonphi?
> For running barrelfish, do I have to run barrelfish on the host?
> Thank you,
> Woonhak.

More information about the Barrelfish-users mailing list