Genode won't run on ARM Cortex A-53 processors(Pii 3 uses them) because of the archtectural difference introduced by Aarch64, through which I'm hacking right now.

Bob

Get Outlook for Android

From: Stefan Kalkowski <stefan.kalkowski@...1...>
Sent: Monday, March 5, 2018 8:11:02 AM
To: Genode OS Framework Mailing List
Subject: Re: RasPi 3 build problem
 
On Mon, Mar 05, 2018 at 05:31:21AM -0700, Nobody III wrote:
> How much does the Raspberry Pi version actually matter? Aren't they almost
> entirely backward-compatible?

Maybe, from a user-level perspective it does not matter, because you can run
the Raspberry 3 in ARMv7 compatibility mode, and the GPIO pins might
be the same and so on. From a system developer perspective it actually
differs a lot. Raspberry Pi 1 has an ARMv6 based SoC, Raspberry Pi 2
ARMv7, and Raspberry Pi 3 ARMv8. Broadcom might re-use the same ip cores
with its different SoCs, but there will be differences in MMIO
addresses, interrupt numbers, RAM addresses and sizes, system-level
registers, and so on.

You might try to use a Linux kernel from the time it was initially ported to
run on Raspberry Pi 1, and try to execute the same binary on the Rpi
3.

Regards
Stefan

>
> On Mar 5, 2018 3:22 AM, "Stefan Kalkowski" <stefan.kalkowski@...1...>
> wrote:
>
> > Hi,
> >
> > On Mon, Mar 05, 2018 at 12:04:54AM +0000, Ken.Dickey wrote:
> > > Greetings,
> > >
> > > I git cloned Genode, downloaded last version of tools, and am following
> > the instructions in doc/getting_started.txt
> > >
> > > I seem to be close but am lacking usb.  Tried both sel4 and foc.
> > >
> > > I am totally unfamiliar with the build tools.
> > >
> > > Can some kind person help me out?
> >
> > when looking at the error messages below, I can see that you're
> > 'etc/build.conf' file within your build directory is missing the
> > repository containing the USB driver for the Raspberry Pi that is
> > needed to drive input devices (keyboard,mouse). You'll have to
> > uncomment the corresponding line that contains 'repos/dde_linux'.
> >
> > However, much more troublesome is that you're building for Raspberry
> > Pi version 1! When looking at your subject, I think you're trying to
> > run that on Raspberry Pi version 3. That won't work. Genode has no
> > support for newer versions of Raspberry Pi right now.
> >
> > Regards
> > Stefan
> >
> > >
> > > Thanks much,
> > > -KenD
> > >
> > > vvv======================================vvv
> > > ## Did:
> > > ## ./tool/ports/prepare_port foc
> > > ## ./tool/create_builddir rpi
> > > ## -- then uncommented 'libports' directive in etc/build.conf
> > >
> > > Linux:x86.64:/mnt/sda4/genode >>> make -C build/rpi KERNEL=foc run/demo
> > >
> > > make: Entering directory '/mnt/sda4/genode/build/rpi'
> > > including /mnt/sda4/genode/tool/run/boot_dir/foc
> > > including /mnt/sda4/genode/repos/os/run/demo.run
> > > building targets: core init drivers/timer server/nitpicker app/pointer
> > app/status_bar app/global_keys_handler app/nit_focus
> > server/liquid_framebuffer app/launchpad app/scout test/nitpicker
> > server/nitlog drivers/framebuffer drivers/input server/report_rom
> > server/rom_filter drivers/usb drivers/gpio drivers/platform
> > > spawn make core init drivers/timer server/nitpicker app/pointer
> > app/status_bar app/global_keys_handler app/nit_focus
> > server/liquid_framebuffer app/launchpad app/scout test/nitpicker
> > server/nitlog drivers/framebuffer drivers/input server/report_rom
> > server/rom_filter drivers/usb drivers/gpio drivers/platform
> > > make[1]: Entering directory '/mnt/sda4/genode/build/rpi'
> > > Error: target 'drivers/usb' does not exist
> > > Makefile:214: recipe for target 'error_missing_targets' failed
> > > make[1]: *** [error_missing_targets] Error 1
> > > make[1]: Leaving directory '/mnt/sda4/genode/build/rpi'
> > > Error: Genode build failed
> > > Makefile:312: recipe for target 'run/demo' failed
> > > make: *** [run/demo] Error 252
> > > make: Leaving directory '/mnt/sda4/genode/build/rpi'
> > >
> > > Linux:x86.64:/mnt/sda4/genode >>> uname -a
> > > Linux tranquil 4.13.0-36-generic #40~16.04.1-Ubuntu SMP Fri Feb 16
> > 23:25:58 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux
> > > ^^^=======================================^^^
> > >
> > > ------------------------------------------------------------
> > ------------------
> > > 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
> >

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