users

users@lists.genode.org

3 participants
2349 discussions

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

Genode on Muen issues
by Lonnie Cumberland 07 Oct '15

07 Oct '15

Hi All, Today, I am investigating the use of Genode on Muen as that sounds like a very interesting project in the separations kernel arena. With this in mind, I have started by looking at the: genode/repos/base-hw/doc/x86_64_muen.txt In that document, it says to start by getting the muen repository git clone http://git.codelabs.ch/git/muen.git I started that seem to have gotten most of the repository but the muen.git calls for another git clone: ------------------------------------------------- lonnie@...355...:~$ git clone --recursive http://git.codelabs.ch/git/muen.git Cloning into 'muen'... Checking connectivity... done. Submodule 'components/linux/src' (http://git.codelabs.ch/git/muen/linux.git) registered for path 'components/linux/src' Cloning into 'components/linux/src'... --------------------------------------------------- this is where it seems to hang. I am wondering if anyone else has run across this and, if so, then what was your solution? I want to play around with muen a bit, but would wonder if it might, eventually be possible to get virtualbox/genode/muen working since from what I have read on muen, that it still needs a bit of work to support other VM's beyond the simple xv6 VM which apparently was modified to make work (if I understand what was said in the Auguse 29, 2013 muen-report pdf document. Any ideas on this? Kind Regards and have a great day, Lonnie

2 1

Announcement: Genode OS Framework version 15.08 released
by Christian Helmuth 06 Oct '15

06 Oct '15

The current release is characterized by our efforts to use Genode as day-to-day operating system. From this background, we packed quite a few improvements regarding user GUI experience, VirtualBox robustness and performance, integration of native Genode applications and guest OSes as well as tools to inspect the system behavior into Genode 15.08. Beyond that, we're proud to integrate community contributions as the support to run Genode base-hw on the Muen separation kernel on x86_64 and extended device-driver support for Raspberry Pi and Odroid-X2. In short, version 15.08 comes with the following highlights: - Genode/NOVA used as day-to-day operating system - Genode on top of the Muen separation kernel - Kernel-resource management on NOVA and our custom base-hw kernel - Base framework and low-level OS infrastructure - Improved audio support - Unified networking components - Enhanced tracing and file-system facilities - Low-complexity software rendering - Device drivers - Raspberry Pi and Odroid-X2 on Fiasco.OC, including USB support - BCM57cxx network cards - VirtualBox - Guest-host integration (policy-based mouse shapes, dynamic adaptation to screen size changes, audio) - Multi-processor support Those and many more improvements are illustrated by the release documentation http://genode.org/documentation/release-notes/15.08 Best regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

3 4

(no subject)
by Lonnie Cumberland 06 Oct '15

06 Oct '15

Hello All, I hope that everyone's week is starting off well. I am currently working on getting VirtualBox/Genode/NOVA compiled up and am trying to "prepare_port libc" but have found that the http://svn.freebsd.org/base/release/8.2.0/lib/libc seems to be unstable and times out a lot while trying to download the library. Is there an alternate location that I can get the libc library from? Kind Regards and have a great day, Lonnie :)

3 5

[genode] base-hw: SMP support on I.MX6
by Le Guan 05 Oct '15

05 Oct '15

Hello everyone, I wonder if the current release supports SMP in base-hw. I read from the genode book that base-hw has well supported SMP long time ago. But the default configure in wandBoard sets NR_OF_CPUS to 1. When I change that value to 4 and implement several auxiliary SMP functions and run the program, there seems to be some error happen. Below is the output: core 0 enabled kernel initialized core 1 enabled core 2 enabled core 3 enabled Genode 15.08-25-g5cf8c49 <local changes> int main(): --- create local services --- int main(): --- start init --- The booting is stuck here. I have implemented the corresponding Cpu::start_secondary_cpus, Cpu::primary_id() and Cpu::executing_id(). What else should I implement to boot SMP? Thanks in advance! Best regards, Le Guan

2 4

Trying to get virtualbox to compile with NOVA
by Lonnie Cumberland 04 Oct '15

04 Oct '15

Hi All, I am trying to get VirtualBox to compile with NOVA on my Ubuntu 14.04 system. I have: 1. lonnie@...355...:~/genode$ tool/ports/prepare_port virtualbox virtualbox download http://download.virtualbox.org/virtualbox/4.3.16/VirtualBox-4.3.16.tar.bz2 virtualbox extract VirtualBox-4.3.16.tar.bz2 (virtualbox) virtualbox download http://download.virtualbox.org/virtualbox/4.3.16/VirtualBoxSDK-4.3.16-95972… virtualbox extract VirtualBoxSDK-4.3.16-95972.zip (virtualbox_sdk) 2. lonnie@...355...:~/genode$ tool/ports/prepare_port libc libc download http://svn.freebsd.org/base/release/8.2.0/lib/libc libc download http://svn.freebsd.org/base/release/8.2.0/lib/libutil libc download http://svn.freebsd.org/base/release/8.2.0/include libc download http://svn.freebsd.org/base/release/8.2.0/sys/sys libc download http://svn.freebsd.org/base/release/8.2.0/sys/rpc . . . 3. lonnie@...355...:~/genode/build/nova_x86_64$ make run/virtualbox including /home/lonnie/genode/tool/run/boot_dir/nova including /home/lonnie/genode/tool/run/power_on/qemu including /home/lonnie/genode/tool/run/log/qemu including /home/lonnie/genode/tool/run/image/iso including /home/lonnie/genode/repos/ports/run/virtualbox.run building targets: core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd spawn make core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd make[1]: Entering directory `/home/lonnie/genode/build/nova_x86_64' checking library dependencies... Skip target drivers/framebuffer/spec/exynos because it requires exynos Skip target drivers/framebuffer/spec/imx53 because it requires imx53 Skip target drivers/framebuffer/spec/omap4 because it requires omap4 Skip target drivers/framebuffer/spec/pl11x/pbxa9 because it requires pl11x pbxa9 Skip target drivers/framebuffer/spec/rpi because it requires rpi Skip target drivers/framebuffer/spec/sdl because it requires linux sdl Skip target drivers/input/spec/imx53 because it requires imx53 Skip target drivers/input/spec/ps2/pl050 because it requires pl050 Skip target drivers/platform/spec/arndale because it requires arndale Skip target drivers/platform/spec/imx53 because it requires imx53 Skip target drivers/platform/spec/odroid_x2 because it requires odroid_x2 Skip target drivers/platform/spec/rpi because it requires rpi /home/lonnie/genode/repos/libports/lib/import/import-stdcxx.mk:8: *** Error: stdcxx is not prepared or outdated. Stop. make[1]: *** [traverse_dependencies] Error 1 make[1]: Leaving directory `/home/lonnie/genode/build/nova_x86_64' Error: Genode build failed make: *** [run/virtualbox] Error 252 I am getting an error with the stdcxx and am not sure what I might have missed. Can someone please give me an idea as to what may be happening here? Kind Regards and have a great day, Lonnie

2 2

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users