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?
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 ^^^=======================================^^^
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
How much does the Raspberry Pi version actually matter? Aren't they almost entirely backward-compatible?
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
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
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 Androidhttps://aka.ms/ghei36
________________________________ 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
Thanks all for the answers!
I will note that the Ultibo.org multikernel has 32 bit support for all ARM models.
Pascal code, but the constants are .. constant.
E.g.:
https://github.com/ultibohub/Core/blob/master/source/rtl/ultibo/core/bcm2837... ../platformaarch64.pas ../platformarmv{6,7,8}.pas
All of this is running in a single address space in supervisor mode, but rotating cube playing video on RPi3 is evidence of hw knowledge.
One needs to steal ideas from the best. ;^)
Thanks again, -KenD
-
Bob Stewart -
Ken.Dickey -
Nobody III -
Stefan Kalkowski