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

[Timothy Roscoe]

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
> 
> *..*
>