[Barrelfish-users] About writing hello world in Barrelfish OS
troscoe at inf.ethz.ch
Thu Jul 22 19:06:30 CEST 2021
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.
-- 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 ?
More information about the Barrelfish-users