$ ./tool/create_builddir hw_rpi BUILD_DIR=`pwd`/rpi $ cd rpi $ make
[...] /tmp/genode/genode-14.08/repos/os/src/drivers/uart/pl011/main.cc:17:24: fatal error: pl011_defs.h: No such file or directory compilation terminated. make[2]: *** [main.o] Error 1 make[1]: *** [uart_drv.prg] Error 2 make: *** [gen_deps_and_build_targets] Error 2
Hi Tim If you don't tell which a run script to build, the framework try to compile all source code, and not all dependencies are satisfied,thats is the error.
For example to run Genode Demo for Raspberry PI you must prepare the dde_linux and libc port to include the USB drivers
./tool/ports/prepare_port dde_linux ./tool/ports/prepare_port libc
After that you must activate the repositories in the build.conf
REPOSITORIES += $(GENODE_DIR)/repos/libports REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
To compile and test the example must run
make run/demo
In doc/release_notes-13-11.txt you can found a more detailed explanation.
Regards
On 11/21/2014 12:44 AM, Tim Newsham wrote:
$ ./tool/create_builddir hw_rpi BUILD_DIR=`pwd`/rpi $ cd rpi $ make
[...] /tmp/genode/genode-14.08/repos/os/src/drivers/uart/pl011/main.cc:17:24: fatal error: pl011_defs.h: No such file or directory compilation terminated. make[2]: *** [main.o] Error 1 make[1]: *** [uart_drv.prg] Error 2 make: *** [gen_deps_and_build_targets] Error 2
Thank you. I was looking only in the current release notes and didnt notice the earlier one had better instructions.. everything's building nicely now..
On Thu, Nov 20, 2014 at 8:01 PM, Reinier Millo Sánchez <rmillo@...271.....> wrote:
Hi Tim If you don't tell which a run script to build, the framework try to compile all source code, and not all dependencies are satisfied,thats is the error.
For example to run Genode Demo for Raspberry PI you must prepare the dde_linux and libc port to include the USB drivers
./tool/ports/prepare_port dde_linux ./tool/ports/prepare_port libc
After that you must activate the repositories in the build.conf
REPOSITORIES += $(GENODE_DIR)/repos/libports REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
To compile and test the example must run
make run/demo
In doc/release_notes-13-11.txt you can found a more detailed explanation.
Regards
On 11/21/2014 12:44 AM, Tim Newsham wrote:
$ ./tool/create_builddir hw_rpi BUILD_DIR=`pwd`/rpi $ cd rpi $ make
[...] /tmp/genode/genode-14.08/repos/os/src/drivers/uart/pl011/main.cc:17:24: fatal error: pl011_defs.h: No such file or directory compilation terminated. make[2]: *** [main.o] Error 1 make[1]: *** [uart_drv.prg] Error 2 make: *** [gen_deps_and_build_targets] Error 2
-- Lic. Reinier Millo Sánchez Centro de Estudios de Informática Universidad Central "Marta Abreu" de Las Villas
"antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.cl... _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
What's the status with the RPI? On Nov 21, 2014 4:52 PM, "Tim Newsham" <tim.newsham@...9...> wrote:
Thank you. I was looking only in the current release notes and didnt notice the earlier one had better instructions.. everything's building nicely now..
On Thu, Nov 20, 2014 at 8:01 PM, Reinier Millo Sánchez <rmillo@...219...0...> wrote:
Hi Tim If you don't tell which a run script to build, the framework try to
compile
all source code, and not all dependencies are satisfied,thats is the
error.
For example to run Genode Demo for Raspberry PI you must prepare the dde_linux and libc port to include the USB drivers
./tool/ports/prepare_port dde_linux ./tool/ports/prepare_port libc
After that you must activate the repositories in the build.conf
REPOSITORIES += $(GENODE_DIR)/repos/libports REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
To compile and test the example must run
make run/demo
In doc/release_notes-13-11.txt you can found a more detailed explanation.
Regards
On 11/21/2014 12:44 AM, Tim Newsham wrote:
$ ./tool/create_builddir hw_rpi BUILD_DIR=`pwd`/rpi $ cd rpi $ make
[...] /tmp/genode/genode-14.08/repos/os/src/drivers/uart/pl011/main.cc:17:24: fatal error: pl011_defs.h: No such file or directory compilation terminated. make[2]: *** [main.o] Error 1 make[1]: *** [uart_drv.prg] Error 2 make: *** [gen_deps_and_build_targets] Error 2
-- Lic. Reinier Millo Sánchez Centro de Estudios de Informática Universidad Central "Marta Abreu" de Las Villas
"antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.cl...
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.cl... _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
at the very least the demo builds and runs... just ran it here today...
On Fri, Nov 21, 2014 at 2:57 PM, Nobody III <hungryninja101@...9...> wrote:
What's the status with the RPI?
On Nov 21, 2014 4:52 PM, "Tim Newsham" <tim.newsham@...9...> wrote:
Thank you. I was looking only in the current release notes and didnt notice the earlier one had better instructions.. everything's building nicely now..
On Thu, Nov 20, 2014 at 8:01 PM, Reinier Millo Sánchez <rmillo@...252...10...> wrote:
Hi Tim If you don't tell which a run script to build, the framework try to compile all source code, and not all dependencies are satisfied,thats is the error.
For example to run Genode Demo for Raspberry PI you must prepare the dde_linux and libc port to include the USB drivers
./tool/ports/prepare_port dde_linux ./tool/ports/prepare_port libc
After that you must activate the repositories in the build.conf
REPOSITORIES += $(GENODE_DIR)/repos/libports REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
To compile and test the example must run
make run/demo
In doc/release_notes-13-11.txt you can found a more detailed explanation.
Regards
On 11/21/2014 12:44 AM, Tim Newsham wrote:
$ ./tool/create_builddir hw_rpi BUILD_DIR=`pwd`/rpi $ cd rpi $ make
[...] /tmp/genode/genode-14.08/repos/os/src/drivers/uart/pl011/main.cc:17:24: fatal error: pl011_defs.h: No such file or directory compilation terminated. make[2]: *** [main.o] Error 1 make[1]: *** [uart_drv.prg] Error 2 make: *** [gen_deps_and_build_targets] Error 2
-- Lic. Reinier Millo Sánchez Centro de Estudios de Informática Universidad Central "Marta Abreu" de Las Villas
"antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.cl... _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.cl... _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.cl... _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
At 1080p? On Nov 21, 2014 5:59 PM, "Tim Newsham" <tim.newsham@...9...> wrote:
at the very least the demo builds and runs... just ran it here today...
On Fri, Nov 21, 2014 at 2:57 PM, Nobody III <hungryninja101@...9...> wrote:
What's the status with the RPI?
On Nov 21, 2014 4:52 PM, "Tim Newsham" <tim.newsham@...9...> wrote:
Thank you. I was looking only in the current release notes and didnt notice the earlier one had better instructions.. everything's building nicely now..
On Thu, Nov 20, 2014 at 8:01 PM, Reinier Millo Sánchez <rmillo@...141....210...> wrote:
Hi Tim If you don't tell which a run script to build, the framework try to compile all source code, and not all dependencies are satisfied,thats is the error.
For example to run Genode Demo for Raspberry PI you must prepare the dde_linux and libc port to include the USB drivers
./tool/ports/prepare_port dde_linux ./tool/ports/prepare_port libc
After that you must activate the repositories in the build.conf
REPOSITORIES += $(GENODE_DIR)/repos/libports REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
To compile and test the example must run
make run/demo
In doc/release_notes-13-11.txt you can found a more detailed explanation.
Regards
On 11/21/2014 12:44 AM, Tim Newsham wrote:
$ ./tool/create_builddir hw_rpi BUILD_DIR=`pwd`/rpi $ cd rpi $ make
[...]
/tmp/genode/genode-14.08/repos/os/src/drivers/uart/pl011/main.cc:17:24:
fatal error: pl011_defs.h: No such file or directory compilation terminated. make[2]: *** [main.o] Error 1 make[1]: *** [uart_drv.prg] Error 2 make: *** [gen_deps_and_build_targets] Error 2
-- Lic. Reinier Millo Sánchez Centro de Estudios de Informática Universidad Central "Marta Abreu" de Las Villas
"antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and
Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations,
FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.cl...
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration &
more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.cl...
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.cl...
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.cl... _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi I'm trying to compile lwip example on RaspberryPi. I have prepared the lwip, curl, zlib, dde_ipxe, dde_linux, libc, stdcxx, lynx, lighttpd, oss repositories and activated ir on build.conf. When tried to make the lwip example with
make run/lwip
I got this error
Library lwip Program test/lwip/http_srv/test-lwip_httpsrv make[1]: Leaving directory `/home/millo/Working/SistemaOperativo/Building/GenodeRPI/build/hw_rpi' cp: cannot stat `bin/nic_drv': No such file or directory while executing "exec cp bin/$binary [run_dir]/genode" (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4) invoked from within "copy_and_strip_genode_binaries_to_run_dir $binaries" (procedure "build_boot_image" line 5) invoked from within "build_boot_image $boot_modules" (file "/home/millo/Working/SistemaOperativo/Building/GenodeRPI/repos/libports/run/lwip.run" line 160) invoked from within "source $include_name" ("foreach" body line 3) invoked from within "foreach include_name [get_cmd_arg --include ""] { puts "using run script $include_name" source $include_name }" (file "/home/millo/Working/SistemaOperativo/Building/GenodeRPI/tool/run" line 950)
Best regards
Hi,
Did you prepare and enable the dde_linux repo? What's the output of "make drivers/nic"?
Christian
On November 22, 2014 2:19:38 AM CET, "Reinier Millo Sánchez" <rmillo@...169.....210...> wrote:
Hi I'm trying to compile lwip example on RaspberryPi. I have prepared the lwip, curl, zlib, dde_ipxe, dde_linux, libc, stdcxx, lynx, lighttpd, oss repositories and activated ir on build.conf. When tried to make the lwip example with
make run/lwip
I got this error
Library lwip Program test/lwip/http_srv/test-lwip_httpsrv make[1]: Leaving directory `/home/millo/Working/SistemaOperativo/Building/GenodeRPI/build/hw_rpi' cp: cannot stat `bin/nic_drv': No such file or directory while executing "exec cp bin/$binary [run_dir]/genode" (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4) invoked from within "copy_and_strip_genode_binaries_to_run_dir $binaries" (procedure "build_boot_image" line 5) invoked from within "build_boot_image $boot_modules" (file "/home/millo/Working/SistemaOperativo/Building/GenodeRPI/repos/libports/run/lwip.run"
line 160) invoked from within "source $include_name" ("foreach" body line 3) invoked from within "foreach include_name [get_cmd_arg --include ""] { puts "using run script $include_name" source $include_name }" (file "/home/millo/Working/SistemaOperativo/Building/GenodeRPI/tool/run" line 950)
Best regards
Hi Christian
I have prepared an enabled the dde_linux repo. This is the output of "make drivers/nic"
$ make drivers/nic checking library dependencies... Skip target drivers/nic/lan9118 because it requires lan9118 Skip target drivers/nic/linux because it requires linux
Best regards
On 11/22/2014 01:56 AM, Christian Helmuth wrote:
Hi,
Did you prepare and enable the dde_linux repo? What's the output of "make drivers/nic"?
Christian
On November 22, 2014 2:19:38 AM CET, "Reinier Millo Sánchez" <rmillo@...210...> wrote:
Hi I'm trying to compile lwip example on RaspberryPi. I have prepared the lwip, curl, zlib, dde_ipxe, dde_linux, libc, stdcxx, lynx, lighttpd, oss repositories and activated ir on build.conf. When tried to make the lwip example with
make run/lwip
I got this error
Library lwip Program test/lwip/http_srv/test-lwip_httpsrv make[1]: Leaving directory `/home/millo/Working/SistemaOperativo/Building/GenodeRPI/build/hw_rpi' cp: cannot stat `bin/nic_drv': No such file or directory while executing "exec cp bin/$binary [run_dir]/genode" (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4) invoked from within "copy_and_strip_genode_binaries_to_run_dir $binaries" (procedure "build_boot_image" line 5) invoked from within "build_boot_image $boot_modules" (file "/home/millo/Working/SistemaOperativo/Building/GenodeRPI/repos/libports/run/lwip.run"
line 160) invoked from within "source $include_name" ("foreach" body line 3) invoked from within "foreach include_name [get_cmd_arg --include ""] { puts "using run script $include_name" source $include_name }" (file "/home/millo/Working/SistemaOperativo/Building/GenodeRPI/tool/run" line 950)
Best regards
Hi Reinier,
on the Rpi, the NIC driver is provided by the USB driver. So 'make drivers/nic' does not produce any meaningul result.
I guess that you are using Genode version where the lwip.run script did not support the Rpi, yet. Please check that your branch has the following commit (which was merged to master after version 14.08):
https://github.com/genodelabs/genode/commit/181d507cf837f1e05c4e352fcbddbc0f...
Alternatively, you could give the current master branch a try, which is known to work.
Cheers Norman
Hi Norman Thanks, I have tried with the current master branch and it worked. I have tested QT5 examples, and have compiled, but when have tried it on the PI does not recognize the mouse. I have modified the qt5_drivers.inc to allow the QT5 examples run on the RPI:
@@ -83,6 +83,9 @@ proc drivers_build_components { feature_arg } { lappend_if [use_timer feature] build_components drivers/timer lappend_if [use_usb_drv feature] build_components drivers/usb + # RaspberryPi Platform + lappend_if [have_spec platform_rpi] build_components drivers/platform + return $build_components }
@@ -218,6 +221,14 @@ proc drivers_start_nodes { feature_arg } { } } + # RaspberryPi Platform + append_if [have_spec platform_rpi] start_nodes { + <start name="platform_drv"> + <resource name="RAM" quantum="1M"/> + <provides><service name="Platform"/></provides> + <config/> + </start>} + return $start_nodes } @@ -243,6 +254,9 @@ proc drivers_boot_modules { feature_arg } { lappend_if [use_timer feature] boot_modules timer lappend_if [use_usb_drv feature] boot_modules usb_drv + # RaspberryPi Platform + lappend_if [have_spec platform_rpi] boot_modules platform_drv + return $boot_modules }
Best regards
On 11/22/2014 11:02 AM, Norman Feske wrote:
Hi Reinier,
on the Rpi, the NIC driver is provided by the USB driver. So 'make drivers/nic' does not produce any meaningul result.
I guess that you are using Genode version where the lwip.run script did not support the Rpi, yet. Please check that your branch has the following commit (which was merged to master after version 14.08):
https://github.com/genodelabs/genode/commit/181d507cf837f1e05c4e352fcbddbc0f...
Alternatively, you could give the current master branch a try, which is known to work.
Cheers Norman
Hi Reinier,
Thanks, I have tried with the current master branch and it worked. I have tested QT5 examples, and have compiled, but when have tried it on the PI does not recognize the mouse.
I haven't tried the Qt5 examples myself but we discussed possible stumbling blocks recently:
http://sourceforge.net/p/genode/mailman/message/32813800/
In particular, it is important to set the priority of the USB driver and the timer higher than all other processes. Otherwise, the USB driver may fail to respond to interrupts quickly enough. This seems particularly important at the startup of the USB driver.
Do you have the serial output available? Without the debug log, it is almost impossible to give a meaningful diagnosis.
You mentioned that you succeeded in running the demo.run script. Have you thought about incorporating a simple Qt5 application into the launchpad in the demo.run script instead of moving your focus over to the Qt5 examples directly? This way, you had at least a working starting point. You could do the integration work using the pbxa9 platform on Qemu. Once you are able to start a Qt5 app from the launchpad, you could try the same run script on the Rpi. If this still works, try to start the Qt5 app directly from init and remove launchpad from the scenario. If you come up with a working run script this way, you may compare the init configurations of your run script with the one produced by qt5.run.
Cheers Norman
Hi Norman I will check the priority of timer and USB driver. I have the serial output produced by a modified version of QEMU with a good support for raspberry PI. When i was using the 14.08 release (1126c747179b2abe1b63651a73b23244520e74cd), the demo on raspberrypi works fine, but, yesterday i have updated the branch, demo example compiles and starts on the pi but without the mouse. I have tested some QT5 example and integrated it to the launcher, thats work fine, but without the mouse. I have tried to test the Arora example, but i think that i have some troubles with the dhcp and lwip, i will test to do an static configuration of the network.
Best regards
On 11/23/2014 12:35 PM, Norman Feske wrote:
Hi Reinier,
Thanks, I have tried with the current master branch and it worked. I have tested QT5 examples, and have compiled, but when have tried it on the PI does not recognize the mouse.
I haven't tried the Qt5 examples myself but we discussed possible stumbling blocks recently:
http://sourceforge.net/p/genode/mailman/message/32813800/
In particular, it is important to set the priority of the USB driver and the timer higher than all other processes. Otherwise, the USB driver may fail to respond to interrupts quickly enough. This seems particularly important at the startup of the USB driver.
Do you have the serial output available? Without the debug log, it is almost impossible to give a meaningful diagnosis.
You mentioned that you succeeded in running the demo.run script. Have you thought about incorporating a simple Qt5 application into the launchpad in the demo.run script instead of moving your focus over to the Qt5 examples directly? This way, you had at least a working starting point. You could do the integration work using the pbxa9 platform on Qemu. Once you are able to start a Qt5 app from the launchpad, you could try the same run script on the Rpi. If this still works, try to start the Qt5 app directly from init and remove launchpad from the scenario. If you come up with a working run script this way, you may compare the init configurations of your run script with the one produced by qt5.run.
Cheers Norman
Hello Tim,
you discovered a misconfiguration of our specs for the Raspberry Pi platform. The rpi provides only one UART, which is used by our core process exclusively. Therefore, the specs for rpi must not include "pl011" to prevent the driver server to be built. I just fixed our staging branch in this regard (see attached patch). Genode 14.11 will then contain the fix too.
Regards
-
Christian Helmuth -
Nobody III -
Norman Feske -
Reinier Millo Sánchez -
Tim Newsham