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

Jules Irenge jules.irenge at manchester.ac.uk
Thu Jul 29 15:11:35 CEST 2021


Thanks for reply. It is helpfull to know.
I was trying to run an hello world on BarrelFish.  Are there any uptodate documentation out there?
Jules

Get Outlook for Android<https://aka.ms/AAb9ysg>

________________________________
From: Barrelfish-users <barrelfish-users-bounces at lists.inf.ethz.ch> on behalf of Timothy Roscoe <troscoe at inf.ethz.ch>
Sent: Thursday, July 22, 2021 6:06:30 PM
To: Jules Irenge <jbi.octave at gmail.com>
Cc: barrelfish-users at lists.inf.ethz.ch <barrelfish-users at lists.inf.ethz.ch>
Subject: Re: [Barrelfish-users] About writing hello world in Barrelfish OS


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
>
> *..*
>
_______________________________________________
Barrelfish-users mailing list
Barrelfish-users at lists.inf.ethz.ch
https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20210729/647f0513/attachment.html>


More information about the Barrelfish-users mailing list