users October 2015

users@lists.genode.org

29 participants
28 discussions

Noux
by kas 22 Oct '15

22 Oct '15

Hi All, Can we port and run a Linux program which includes Linux kernel header files such as linux/device.h using Noux runtime environment in Genode? Thank you in advance for your time. thanks and best regards, Kas

2 3

(no subject)
by Adrien de GRAEVE 21 Oct '15

21 Oct '15

Hi everyone, I tried to make compile SEL4 + GENODE. However, I must admit that this is a fail from my side. The demo linux is compiling fine, but regarding sel4 I cannot make it work due to standard lib header missing. To make it happen, I simply followed the tutorial from Norman (step 1). I managed to make things work until make kernel command. After that I discovered that it was not executing the right kernel.mk file (there is one already delivered in latest sources), It compiles fine if I adapt a little bit CFLAGS. Then the issue comes when trying to test the make run/test that is failing differently than what is described in the tutorial. (In fact, it is supposed to work in the tutorial) It may be for sure a simple issue, but I don't really understand why I have this issue while compiling test and not the kernel... The issue is the following: error: no include path in which to search for stdint.h (and same for assert.h) Do you think you could help me to figure out this issue, and maybe document it in your web page ? Here is the trace below (I have a Ubuntu 14.04 LTS & x64 installation) *adg@...363...:~/dev/genode/genode/repos/base-sel4$ make run/test VERBOSE=* *test -f "/home/adg/dev/genode/genode/repos/base-sel4/run/test.run" || (echo "Error: No run script for test"; exit -1)* *~/dev/genode/genode/tool/run/run --genode-dir ~/dev/genode/genode \* * --name test \* * --specs "sel4 x86_32 x86 32bit" \* * --repositories "/home/adg/dev/genode/genode/repos/base-sel4 /home/adg/dev/genode/genode/repos/base" \* * --cross-dev-prefix "/usr/local/genode-gcc/bin/genode-x86-" \* * --qemu-args "" \* * \* * --include /home/adg/dev/genode/genode/repos/base-sel4/run/test.run* *including /home/adg/dev/genode/genode/repos/base-sel4/run/test.run* *building targets: test/sel4 * *spawn make test/sel4* *make[1]: Entering directory `/home/adg/dev/genode/genode/repos/base-sel4'* *checking library dependencies...* * Library platform* * Library syscall* * Library core_printf* * COMPILE core_printf.o* */usr/local/genode-gcc/bin/genode-x86-g++ -ffunction-sections -fno-strict-aliasing -nostdinc -g -march=i686 -m32 -O2 -MMD -MP -MT 'core_printf.o core_printf.d' -Wall -std=gnu++11 -I. -I/home/adg/dev/genode/genode/repos/base-sel4/src/base/console -I/home/adg/dev/genode/genode/repos/base-sel4/src/core/include -I/home/adg/dev/genode/genode/repos/base-sel4/src/base -I/home/adg/dev/genode/genode/repos/base/src/base/thread -I/home/adg/dev/genode/genode/repos/base-sel4/include -I/home/adg/dev/genode/genode/repos/base/include/spec/x86 -I/home/adg/dev/genode/genode/repos/base/include/spec/x86_32 -I/home/adg/dev/genode/genode/repos/base/include/spec/32bit -I/home/adg/dev/genode/genode/repos/base-sel4/include/sel4 -I/home/adg/dev/genode/genode/repos/base-sel4/include -I/home/adg/dev/genode/genode/repos/base/include -I/usr/local/genode-gcc/bin/../lib/gcc/x86_64-pc-elf/4.9.2/include -c /home/adg/dev/genode/genode/repos/base/src/base/console/core_printf.cc -o core_printf.o* *In file included from /home/adg/dev/genode/genode/repos/base-sel4/include/sel4/arch/types.h:14:0,* * from /home/adg/dev/genode/genode/repos/base-sel4/include/sel4/types.h:15,* * from /home/adg/dev/genode/genode/repos/base-sel4/include/sel4/arch/functions.h:14,* * from /home/adg/dev/genode/genode/repos/base-sel4/src/base/console/core_console.h:18,* * from /home/adg/dev/genode/genode/repos/base/src/base/console/core_printf.cc:23:* */usr/local/genode-gcc/bin/../lib/gcc/x86_64-pc-elf/4.9.2/include/stdint.h:9:26: error: no include path in which to search for stdint.h* * # include_next <stdint.h>* * ^* *In file included from /home/adg/dev/genode/genode/repos/base-sel4/include/sel4/types.h:16:0,* * from /home/adg/dev/genode/genode/repos/base-sel4/include/sel4/arch/functions.h:14,* * from /home/adg/dev/genode/genode/repos/base-sel4/src/base/console/core_console.h:18,* * from /home/adg/dev/genode/genode/repos/base/src/base/console/core_printf.cc:23:* */home/adg/dev/genode/genode/repos/base-sel4/include/sel4/types_gen.h:4:20: fatal error: assert.h: No such file or directory* * #include <assert.h>* * ^* *compilation terminated.* *make[3]: *** [core_printf.o] Error 1* *make[2]: *** [core_printf.lib] Error 2* *make[1]: *** [gen_deps_and_build_targets] Error 2* *make[1]: Leaving directory `/home/adg/dev/genode/genode/repos/base-sel4'* *Error: Genode build failed* *make: *** [run/test] Error 252* Thanks a lot in advance.

1 0

genode bare hardware on the odroids - howto?
by Suriyan Ramasami 19 Oct '15

19 Oct '15

Hello wonderful people! Greetings and thanks for the awesome work with genode. I have been trying to run genode on bare hardware on the odroids -> odroid-x2/odroid-xu for which I presume - they are already supported (the release notes mention them). What is missing is a step by step guide of building say, nested_init or a simpler printf application which shows some output when run from the uboot prompt. I tried following the instructions as mentioned in http://genode.org/documentation/platforms/hw (it generates an elf file, but then passing RUN_OPT="--target uboot" did not create the uImage file. Well, I did convert the elf to a bin file with objcopy and then converted that to an uImage file with mkimage. Am not sure if that is correct. What, I ask is, is there a step by step which will get me an UART output from genode on any of the supported odroid's using the latest genode code from git? Any pointers to such a doc would be immensely helpful to me as I would like to explore genode. Thanks in advance! Regards - Suriyan

3 2

strance error when running Nova + Genode + Seoul (scenarion : seoul-auto.run)
by Parfait Tokponnon 15 Oct '15

15 Oct '15

Hello, Can anyone help out? I ran the "make run/seoul-auto.run" in my nova_x86_64 build directory and nearly at the end of the process i got this error: make: *** [run/seoul-auto] Erreur 253 (please find below a sample of the trace from the serial output) I also attached the complete trace. Can anyone help me solve the problem? I work on Ubuntu 12.04. //error ... ... .... [init -> seoul] VMM: # rtc_cmos rtc_cmos: setting system clock to 2015-10-09 17:16:38 UTC (1444410998) [init -> seoul] VMM: # RAMDISK: ext2 filesystem found at block 0 [init -> seoul] VMM: # RAMDISK: Loading 20704KiB [1 disk] into ram disk... / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / Booting Core 4.7.7 [init -> seoul] VMM: # Running Linux Kernel 3.1.0. [init -> seoul] VMM: # Checking boot options...Done. [init -> seoul] VMM: # Starting udev daemon for hotplug support...| [init -> seoul] VMM: # | Done. [init -> seoul] VMM: # modprobe: chdir(3.1.0): No such file or directory [init -> seoul] VMM: # modprobe: chdir(3.1.0): No such file or directory Error: Spawned process died unexpectedly make: *** [run/seoul-auto] Erreur 253 -- Parfait T.

2 4

Turmvilla scenario
by Vincent Digital 12 Oct '15

12 Oct '15

Hi, Can anyone help out. I'm trying to create the Turmvilla scenario on my Lenovo X201 By following the setup file as compiled by@...357... <https://github.com/cproc>: https://github.com/cproc/genode/blob/vbox_vm_linux/doc/virtualbox_setup.txt I'm trying to understand these parts of the instructions, a bit confusing : After creating the 3 partitions and installing the *Create the Linux VM* * - attach the 3 image files from the /genode directory * * >>> How do I attach the image files "linux.vdi" and "home.vmdk" to the same Linux VM. "linux.vdi" is of 32 GB while >>>"home.vmdk" is created from /dev/sda2 (at the host disk) which is 60 GB. I tried to attach both image files to the same >>> SATA controller using the **storage settings of the VM - is this correct ?* * - add a permanent shared folder (for the generated Genode binaries) - start the VM - install Linux - if the Linux installer supports it, create an encrypted /home partition on /dev/sdb * * >>> "/dev/sdb" refers to the partition within the Guest Linux VM that I am installing ? Is it referring to the "home.vmdk" ?** >>> How do I specify /home on this partition /dev/sdb ? There are no options for input of this folder name.* *Appreciate if someone can help. Thanks so much.*

3 5

Library-description file virtualbox-hwaccl.mk is missing
by Andrey Voronin 12 Oct '15

12 Oct '15

I'm build GENODE with Muen kernel - hw_x86_64_muen. My host system is Linux Mint 17.2 64-bit. make -j8 run/virtualbox including /home/user/genode-turmvilla/tool/run/boot_dir/hw including /home/user/genode-turmvilla/tool/run/power_on/qemu including /home/user/genode-turmvilla/tool/run/log/qemu including /home/user/genode-turmvilla/tool/run/image/iso including /home/user/genode-turmvilla/repos/ports/run/virtualbox.run building targets: core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform spawn make core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform make[1]: Вход в каталог `/home/user/genode-turmvilla/muen' make[1]: предупреждение: сервер задач недоступен: используется -j1. Добавьте `+' к правилу в родительском make. checking library dependencies... Skip target drivers/framebuffer/exynos5 because it requires exynos5 Skip target drivers/framebuffer/imx53 because it requires imx53 Skip target drivers/framebuffer/omap4 because it requires omap4 Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/rpi because it requires platform_rpi Skip target drivers/framebuffer/sdl because it requires linux sdl Skip target drivers/input/imx53 because it requires imx53 Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/platform/arndale because it requires platform_arndale Skip target drivers/platform/imx53 because it requires imx53 Skip target drivers/platform/odroid_x2 because it requires platform_odroid_x2 Skip target drivers/platform/rpi because it requires platform_rpi Skip target drivers/platform/x86/device_pd because it requires nova Library-description file virtualbox-hwaccl.mk is missing Library platform Library cxx Library base-common Library syscall Library startup Library base Library blit Library x86emu Library config Program drivers/framebuffer/vesa/fb_drv Library server Program drivers/input/dummy/dummy_input_drv Program drivers/input/ps2/x86/ps2_drv Program drivers/platform/x86/platform_drv Program drivers/rtc/x86/rtc_drv Library alarm Library timer Program drivers/timer/timer Library init_pd_args Program init/init Library core-perf_counter Library core-muen_on COMPILE version.o MERGE core-muen_on.lib.a Library core-muen Library core Program core/core LINK core make[1]: Выход из каталога `/home/user/genode-turmvilla/muen' genode build completed cp: не удалось выполнить stat для «bin/virtualbox»: Нет такого файла или каталога 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 "run_boot_dir" line 14) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 2) invoked from within "build_boot_image $boot_modules" (file "/home/user/genode-turmvilla/repos/ports/run/virtualbox.run" line 152) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/user/genode-turmvilla/tool/run/run" line 636) make: *** [run/virtualbox] Ошибка 1 What could be the problem?

2 1

run/noux_bash error
by Abhay Amala 09 Oct '15

09 Oct '15

Hello All, I am trying to run *run/noux_bash* on Linux. it compiles fine, but throws an exception "*[init -> fb_sdl] input overflow - resetting queue*" when it runs. Can you please give me any idea? here goes the output if it is required. genode build completed spawn ./core Genode 15.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 17592186044415 MB to init int main(): --- init created, waiting for exit condition --- [init] parent provides [init] service "ROM" [init] service "LOG" [init] service "CAP" [init] service "RAM" [init] service "RM" [init] service "CPU" [init] service "PD" [init] service "IRQ" [init] service "IO_PORT" [init] service "IO_MEM" [init] service "SIGNAL" [init] child "timer" [init] RAM quota: 876544 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "rtc_drv" [init] RAM quota: 876544 [init] ELF binary: rtc_drv [init] priority: 0 [init] provides service Rtc [init] child "fb_sdl" [init] RAM quota: 1925120 [init] ELF binary: fb_sdl [init] priority: 0 [init] provides service Input [init] provides service Framebuffer Quota exceeded! amount=24576, size=4096, consumed=24576 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "terminal" [init] RAM quota: 1925120 [init] ELF binary: terminal [init] priority: 0 [init] provides service Terminal [init] child "ram_fs" [init] RAM quota: 10313728 [init] ELF binary: ram_fs [init] priority: 0 [init] provides service File_system Quota exceeded! amount=32768, size=4096, consumed=32768 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "noux" [init] RAM quota: 104685568 [init] ELF binary: noux [init] priority: 0 [init -> fb_sdl] Could not open ROM session for module "config" [init -> fb_sdl] Could not obtain config file No protocol specified [init] child "rtc_drv" announces service "Rtc" No protocol specified [init] child "timer" announces service "Timer" [init -> terminal] int main(int, char**): --- terminal service started --- [init -> noux] --- noux started --- [init -> noux] tar archive 'coreutils.tar' local at 2b57aa946000, size is 9246720 [init -> noux] tar archive 'vim.tar' local at 2b57ab228000, size is 20008960 [init -> noux] tar archive 'bash.tar' local at 2b57ac59d000, size is 3604480 [init -> ram_fs] resource_request: ram_quota=2101248 [init] child "ram_fs" requests resources: ram_quota=2101248 [init] child "ram_fs" announces service "File_system" [init -> fb_sdl] creating virtual framebuffer for mode 1024x768@...64... [init] child "fb_sdl" announces service "Framebuffer" [init] child "fb_sdl" announces service "Input" [init -> terminal] cell size is 6x14 [init] child "terminal" announces service "Terminal" [init -> terminal] create terminal session [init -> terminal] new terminal session: [init -> terminal] framebuffer has 1024x768 pixels [init -> terminal] character size is 6x14 pixels [init -> terminal] terminal size is 170x54 characters [init -> fb_sdl] input overflow - resetting queue [init -> fb_sdl] input overflow - resetting queue [init -> fb_sdl] input overflow - resetting queue [init -> fb_sdl] input overflow - resetting queue Best regards, Abhay

3 19

AHCI Driver
by Harm de Vries 08 Oct '15

08 Oct '15

Hello everyone, The error message ``Device does not support native command queuing: abort'' is written repeatedly to the log when I try to read from a SATA disk using the AHCI driver. Is this driver only meant to work with a SATA disk that supports native command queuing (the HBA supports it)? While looking at the code of the driver to determine the cause of the error I noticed that: 1. In ahci.cc en main.cc the word `available' has been misspelt as 'avaiable'. 2. In ahci.h the bitfield that indicates support for native command queuing in the HBA seems to be misspelt as `Sncg'. There is also a function with the name `ncg' and this abbreviation is also used in the function `info'. 3. The struct `Identity' in ahci.h describes the structure of the result of an ATA command. Is there a reason why this struct and the corresponding function `identify_device' are not in the file `ata_driver.h'? Best regards, Harm

2 3

Porting Genode to the ZedBoard
by unknown＠example.com 07 Oct '15

07 Oct '15

Hello Genodians, I am trying to port Genode to the ZedBoard, but currently I am having some problems to get the UART online. My starting point is this mail: <http://sourceforge.net/p/genode/mailman/message/33222798/> and as a reference I use the Pandaboard, because it has also a Cortex A9. So is it right, that the board_base.h is in some way like a devicetree file? If this is the case, how can I add some other devices like Ethernet, OLED-Display or the FPGA? Is there some more documentation on how to port Genode to another hardware? To come back to the UART: I hope that I can use the PL011 driver, because the ZedBoard does not have the TL16C750 chip from the Pandaboard (the ZedBoard has a Ti TUSB1210 chip). So is this possible? I think I already have the right base addresses from the technical reference manual, but I am still not getting on how to set the clock and the interrupts. Looking forward to your replies.

2 1

Using ARM/Neon fp hardware with libc
by unknown＠example.com 07 Oct '15

07 Oct '15

Hi all, I'm exploring compiling a couple of targets in my Genode, base-hw system to use the hardware fp in the Neon coprocessor on an ARM Cortex A8 SOC, to get some performance improvement. I can add the CC_OPT line containing -mfloat-abi=hard and -mfu=neon-vfpv4 to appropreate target.mk. That should result in the Neon fp unit being called to perform the calculations. If I want use libc math functions I assume I must recompile libc with the same compile options added. Are there build variables that allow me to do that to the libc library? I'm currently building on Genode 15.02. Thanks for any info. Bob Stewart Sent from my android device.

4 9

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users October 2015