[Barrelfish-users] About writing hello world in Barrelfish OS

Timothy Roscoe troscoe at inf.ethz.ch
Thu Jul 22 19:06:30 CEST 2021

Dear Jules,

It looks like you are working from out-of-date documentation - we
don't use symbolic_targets.mk any more.

The place to look is platforms/Hakefile.   Once you have successfully
built a Makefile using Hake, you should be able to type "make help" to
get a list of top-level targets.   There are targets to build a
complete image for a range of different platforms, and also some
targets to boot the image on emulators like qemu.

Best regards,

 -- Timothy Roscoe

At Fri, 16 Jul 2021 21:40:26 +0100, Jules Irenge <jbi.octave at gmail.com> wrote:
> Hi Timothy
> I am a  student at the University of Manchester.
> I am trying to write a hello world in Barrelfish but I do not get what they
> mean by opening up the  /build/symbolic_target.mk file as it is not in the
> build as the guideline suggests. I do not see any /build/symbolic_target.mk
> after successful build.
> Would you share some light on this please ?
> Jules
> *..*

More information about the Barrelfish-users mailing list