[Barrelfish-users] requesting for Help

Reto Achermann reto.achermann at inf.ethz.ch
Wed Mar 14 10:48:43 CET 2018


Hi Ben

There are known issues with the compilers shipped with Ubuntu 17.10 and 
compiling & running Barrelfish with the tools provided by Ubuntu 17.10 
will not work at the moment.

Of course, you are very welcomed to provide patches that make it work on 
Ubuntu 17.10 (please see Readme for contributing)

Please note, we provide support for Ubuntu 16.04 LTS only as our tests 
run on this platform.

-- Reto

On 03/14/2018 10:35 AM, ben eslami wrote:
> Hi folks
> I have ubuntu 17.10
> gcc version 7
> but when I run command "../hake/hake.sh.sh <http://hake.sh.sh> -s .. -a 
> x86_64", I encounter these errors:
> 
> ../hake/Main.hs:348:43 error:
> 
>   * Expecting one more argument to 'Exp'
> 
>             Expected a type, but 'Exp' has kind '*->*'
> 
>   * In the first argument of 'Either', namely 'Exp'
> 
>             In the type signature:
>             parseHake :: FilePath -> String -> Either Exp HakeError
> 
> 
> ../hake/Main.hs:406:25 error:
> 
>   * Expecting one more argument to 'Exp'
> 
>             Expected a type, but 'Exp' has kind '*->*'
> 
>   * In the type signature:
> 
>             wrapHake :: FilePath -> Exp -> Exp
> 
> ../hake/Main.hs:406:32 error:
> 
>   * Expecting one more argument to 'Exp'
> 
>             Expected a type, but 'Exp' has kind '*->*'
> 
>   * In the type signature:
> 
>             wrapHake :: FilePath -> Exp -> Exp
> what should I do now ?
> 
> 
> On Fri, Mar 9, 2018 at 11:10 AM, Reto Achermann 
> <reto.achermann at inf.ethz.ch <mailto:reto.achermann at inf.ethz.ch>> wrote:
> 
>     Hi Ben,
> 
>     On 03/08/2018 05:25 PM, ben eslami wrote:
> 
>         I doubled memory and the issue is solved.
>         now I can see "fish v0.2 --pleased to meet you!"
>         but it is mentioned "FIle /init.fish not found". Is it ok ?
> 
> 
>     Yes it's fine.
> 
> 
>         Another issue is that when I type "pixels", errors occur:
>         ERROR: spawnd.0 in spawn_with_caps_common()
>         ../usr/spawnd/service.c:331
>         ERROR: spawn
>         Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
>         Failure: (             fs) The given name does not exist
>         [FS_ERR_NOTFOUND]
> 
> 
>     This means the binary that you wanted to load, does not exist as the
>     error FS_ERR_NOTFOUND suggests. You will need to update your menu.lst.
> 
>         and the prompt is disappeared.
>         Isn't it a problem ?
> 
>         On Thu, Mar 8, 2018 at 8:10 AM, Moritz Hoffmann
>         <moritz.hoffmann at inf.ethz.ch
>         <mailto:moritz.hoffmann at inf.ethz.ch>
>         <mailto:moritz.hoffmann at inf.ethz.ch
>         <mailto:moritz.hoffmann at inf.ethz.ch>>> wrote:
> 
>              On Thu, 8 Mar 2018 07:29:59 -0800
>              ben eslami <beneslami72 at gmail.com
>         <mailto:beneslami72 at gmail.com> <mailto:beneslami72 at gmail.com
>         <mailto:beneslami72 at gmail.com>>> wrote:
> 
>              > On Thu, Mar 8, 2018 at 6:55 AM, ben eslami
>         <beneslami72 at gmail.com <mailto:beneslami72 at gmail.com>
>         <mailto:beneslami72 at gmail.com <mailto:beneslami72 at gmail.com>>>
>              > wrote:
>              >
>              > > I installed qemu using apt-get.
> 
>               From the attached log file:
> 
>              qemu-system-x86_64: cannot set up guest memory 'pc.ram': Cannot
>              allocate memory
>              make: *** [qemu_x86_64] Error 1
> 
>              That seems to indicate your system doesn't have enough memory
>              available. You might want to try on a different machine
>         with more
>              memory.
> 
>              Moritz
> 
>              --
>              Moritz Hoffmann
>              PhD Student, Systems Group, ETH Zurich
>         http://systems.ethz.ch/people/moritz-hoffmann
>         <http://systems.ethz.ch/people/moritz-hoffmann>
>              <http://systems.ethz.ch/people/moritz-hoffmann
>         <http://systems.ethz.ch/people/moritz-hoffmann>>
> 
> 
> 
> 
>         _______________________________________________
>         Barrelfish-users mailing list
>         Barrelfish-users at lists.inf.ethz.ch
>         <mailto:Barrelfish-users at lists.inf.ethz.ch>
>         https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>         <https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users>
> 
> 
>     -- 
>     Reto Achermann,
>     http://people.inf.ethz.ch/acreto <http://people.inf.ethz.ch/acreto>
> 
> 
> 
> 
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
> 

-- 
Reto Achermann,
http://people.inf.ethz.ch/acreto


More information about the Barrelfish-users mailing list