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.kalkow...@genode-labs.com> > 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