Re: Building genode 17.11 for Raspberry Pi

2018-01-09 Thread Stefan Kalkowski 
Hi Davide,

On Tue, Jan 09, 2018 at 06:01:49PM +0100, Davide Pippa wrote:
> ..ehm, infact I found it.
> 
> I forgot to enable that line in build/rpi/etc/build.conf:
> 
> REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
> 
> now command:
> 
> make run/demo
> 
> works and builds var/run/demo/image.elf
> 
> 
> 
> Next question: is that image compatible with Raspberry Pi 1 Model B+, or
> only with original Raspberry Pi 1 ?

It should be. I did not test it myself, but Alexander Weidinger
confirmed in this e-mail on our mailing list:

  https://sourceforge.net/p/genode/mailman/message/36135065/

that it works, as long as you use the right u-boot bootloader.

Regards
Stefan

> 
> Thanks!
> 
> 
> 
> 2018-01-09 17:24 GMT+01:00 Davide Pippa :
> 
> > Hello everybody!
> >
> > I'm trying to build demo scenario to test genode on raspberry pi (trying
> > model 1 B+), but I'm facing some build problems.
> >
> > I'm a newbie in genode so maybe it's something silly, but here's what I've
> > done:
> >
> > - download genode source code;
> > - preparing some useful ports with:
> >
> > tool/ports/prepare_port dde_linux libc
> >
> > (looks like those have been correctly been downloaded)
> >
> > - create a build directory with:
> >
> > tool/create_builddir rpi
> >
> > - build some things (inside build/rpi directory) with:
> >
> > make
> >
> > (this correctly builds many things without error)
> >
> > - try building demo things (inside build/rpi directory) with:
> >
> > make run/demo
> >
> > here things suddently stop, because "target drivers/usb is missing";
> >
> > from my understanding, this target should be provided by dde_linux port,
> > isn't it?
> >
> > but inside dde_linux directory (contrib/dde_linux-
> > 6e4a3643875613612c2cc788938aadae5ce7ec7f/src/drivers) i only see the
> > "framebuffer" sub-directory;
> >
> > also in repos/os/src/drivers I cannot see "usb" directory;
> >
> > Is there anything obviuos I'm missing?
> > Sorry if my question is silly, I'm just trying to get started :) but I see
> > things changed on the way (I read release notes from 13.11 on and some
> > messages in mailing list and see things are in a flux)
> >
> > Thanks!
> >
> > Davide
> >
> >

> --
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot

> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main


-- 
Stefan Kalkowski
Genode labs

https://github.com.skalk | https://genode.org

--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Re: Building genode 17.11 for Raspberry Pi

2018-01-09 Thread Davide Pippa 
..ehm, infact I found it.

I forgot to enable that line in build/rpi/etc/build.conf:

REPOSITORIES += $(GENODE_DIR)/repos/dde_linux

now command:

make run/demo

works and builds var/run/demo/image.elf



Next question: is that image compatible with Raspberry Pi 1 Model B+, or
only with original Raspberry Pi 1 ?

Thanks!



2018-01-09 17:24 GMT+01:00 Davide Pippa :

> Hello everybody!
>
> I'm trying to build demo scenario to test genode on raspberry pi (trying
> model 1 B+), but I'm facing some build problems.
>
> I'm a newbie in genode so maybe it's something silly, but here's what I've
> done:
>
> - download genode source code;
> - preparing some useful ports with:
>
> tool/ports/prepare_port dde_linux libc
>
> (looks like those have been correctly been downloaded)
>
> - create a build directory with:
>
> tool/create_builddir rpi
>
> - build some things (inside build/rpi directory) with:
>
> make
>
> (this correctly builds many things without error)
>
> - try building demo things (inside build/rpi directory) with:
>
> make run/demo
>
> here things suddently stop, because "target drivers/usb is missing";
>
> from my understanding, this target should be provided by dde_linux port,
> isn't it?
>
> but inside dde_linux directory (contrib/dde_linux-
> 6e4a3643875613612c2cc788938aadae5ce7ec7f/src/drivers) i only see the
> "framebuffer" sub-directory;
>
> also in repos/os/src/drivers I cannot see "usb" directory;
>
> Is there anything obviuos I'm missing?
> Sorry if my question is silly, I'm just trying to get started :) but I see
> things changed on the way (I read release notes from 13.11 on and some
> messages in mailing list and see things are in a flux)
>
> Thanks!
>
> Davide
>
>
--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Building genode 17.11 for Raspberry Pi

2018-01-09 Thread Davide Pippa 
Hello everybody!

I'm trying to build demo scenario to test genode on raspberry pi (trying
model 1 B+), but I'm facing some build problems.

I'm a newbie in genode so maybe it's something silly, but here's what I've
done:

- download genode source code;
- preparing some useful ports with:

tool/ports/prepare_port dde_linux libc

(looks like those have been correctly been downloaded)

- create a build directory with:

tool/create_builddir rpi

- build some things (inside build/rpi directory) with:

make

(this correctly builds many things without error)

- try building demo things (inside build/rpi directory) with:

make run/demo

here things suddently stop, because "target drivers/usb is missing";

from my understanding, this target should be provided by dde_linux port,
isn't it?

but inside dde_linux directory
(contrib/dde_linux-6e4a3643875613612c2cc788938aadae5ce7ec7f/src/drivers) i
only see the "framebuffer" sub-directory;

also in repos/os/src/drivers I cannot see "usb" directory;

Is there anything obviuos I'm missing?
Sorry if my question is silly, I'm just trying to get started :) but I see
things changed on the way (I read release notes from 13.11 on and some
messages in mailing list and see things are in a flux)

Thanks!

Davide
--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Re: Beginner question

2018-01-09 Thread Martijn Verschoor 
Hi Stefan,

Welcome to Genode!

It seems like you did not specify which kernel to use in etc/build.conf

For linux:

# kernel to use (nova, hw, sel4, linux, or foc)
KERNEL ?= linux


-- 

Met vriendelijke groet / kind regards,

Martijn Verschoor

Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands
+31 35 631 3253 (office) |  +31 616 014 087 (mobile)


On 09-01-18 15:35, Stefan wrote:
> Hi all,
> 
> 
> I’m new to Genode and was trying to build the Hello World sample.
> 
> I succeeded building the component (Genode book Genode foudations,
> 2.5.3) but when I try to define the system scenario (2.5.4) and to „make
> run/hello“ I’m getting the error:
> 
> make run/hello
> #including /home/genodeuser/genode/repos/genode_lab_01/run/hello.run
> building targets: core init app/hello
> spawn make core init app/hello
> make[1]: Verzeichnis „/home/genodeuser/genode/build/x86_64“ wird betreten
> Error: target 'core' does not exist
> Makefile:214: die Regel für Ziel „error_missing_targets“ scheiterte
> make[1]: *** [error_missing_targets] Fehler 1
> make[1]: Verzeichnis „/home/genodeuser/genode/build/x86_64“ wird verlassen
> Error: Genode build failed
> Makefile:312: die Regel für Ziel „run/hello“ scheiterte
> make: *** [run/hello] Fehler 252
> 
> Please excuse the german output.
> 
> The system seems not to be able to build the "core" component(target?).
> 
> Any ideas?
> 
> Thanks in advance!
> 
> Stefan
> 
> 
> --
> 
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main



signature.asc
Description: OpenPGP digital signature
--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Beginner question

2018-01-09 Thread Stefan 

Hi all,


I’m new to Genode and was trying to build the Hello World sample.

I succeeded building the component (Genode book Genode foudations, 
2.5.3) but when I try to define the system scenario (2.5.4) and to „make 
run/hello“ I’m getting the error:


make run/hello
#including /home/genodeuser/genode/repos/genode_lab_01/run/hello.run
building targets: core init app/hello
spawn make core init app/hello
make[1]: Verzeichnis „/home/genodeuser/genode/build/x86_64“ wird betreten
Error: target 'core' does not exist
Makefile:214: die Regel für Ziel „error_missing_targets“ scheiterte
make[1]: *** [error_missing_targets] Fehler 1
make[1]: Verzeichnis „/home/genodeuser/genode/build/x86_64“ wird verlassen
Error: Genode build failed
Makefile:312: die Regel für Ziel „run/hello“ scheiterte
make: *** [run/hello] Fehler 252

Please excuse the german output.

The system seems not to be able to build the "core" component(target?).

Any ideas?

Thanks in advance!

Stefan


--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main