users April 2013

users@lists.genode.org

15 participants
16 discussions

how to install Genode on PC machine
by Jian Liu 15 Apr '13

15 Apr '13

Hi Norman, With your help, I have now some experiences on Genode, such as building and demo it in Qemu. I have also learned about the whole structure of source code and some calling relastionship in the system. Now I try to install Genode in my PC (the physical machine) and boot it from hard drivers. So I can see avaliablity and response time from applications such as Arora, which is really some slow in Qemu. But I don't know to do it. Could you give me some directions? Thanks. I have found some guy sent similar question in the mail list last year as, http://sourceforge.net/mailarchive/forum.php?thread_name=4FB142EF.2080407%4… But there is no detail explainations and steps how to do it. I wonder if there is any document on how to install Genode in a PC. Which hardwares does it support now? and how to config drivers code for network card, usb etc? Best, Jian

4 22

Help on running the Hello code in Genode.
by Pramod Herath 08 Apr '13

08 Apr '13

Hello, I'm trying to run the hello tutorial provided with Genode on my system and am having trouble understanding it's output. When I run ./core all I get is: int main(): --- create local services --- int main(): --- start init --- int main(): transferred 17592186044415 MB to init int main(): --- init created, waiting for exit condition --- Quota exceeded! amount=4096, size=4096, consumed=4096 [init] upgrading quota donation for SIGNAL session [init] Could not open file "config" [init] Could not obtain config file [init] C++ runtime: Genode::Config::Invalid [init] void* abort(): abort called and the system seems to be waiting indefinitely. Is there anything wrong I've done? Am I missing anything? Thanks in advance for helping the beginners. - Pramod

3 4

l4linux run on PC, nic_drv issue
by yuqing wang 07 Apr '13

07 Apr '13

Hi, I want to run l4inux on my PC, I copied the files needed in the harddisk and modified the GRUB menu.lst .But I got a issue when the system started. int main(): [33m--- create local services --- [0m int main(): [33m--- start init --- [0m int main(): [33mtransferred 1718 MB to init [0m int main(): [33m--- init created, waiting for exit condition --- [0m [init] [31mCould not open file "ld.lib.so" [0m [init -> l4linux] [32mBooting L4Linux ... [0m [init -> l4linux] [34;1m======> L4Linux starting... <======== [0m [init -> l4linux] Linux version 3.5.0-l4+ (wangyuqing@...186...) (gcc version 4.7.2 (GCC) ) #36 SMP Wed Apr 3 10:54:04 CST 2013 [init -> l4linux] Binary name: vmlinux [init -> nic_drv] --- iPXE NIC driver started --- [init -> l4linux] Linux kernel command line (5 args): mem=64M console=ttyS0 l4x_rd=initrd.gz l4x_cpus=2 l4x_cpus_map=0,1 [init -> l4linux] CPU mapping (l:p)[2]: 0:0, 1:1 [init -> l4linux] Image: 00401000 - 00839000 [4320 KiB]. [init -> l4linux] Areas: Text: 00401000 - 00742000 [3332kB] (a bit longer) [init -> l4linux] Data: 00742000 - 00764ea4 [139kB] [init -> pci_drv] PCI driver started [init -> l4linux] Initdata: 0077b000 - 007a2000 [156kB] [init -> uart_drv] --- i8250 UART driver started --- [init -> l4linux] BSS: 007a2000 - 00829000 [540kB] [init -> l4linux] [34ml4util_cpu_capabilities: Not implemented yet! [0m [init -> l4linux] gs=43 fs=43 [init -> l4linux] [34ml4io_get_root_device: Not implemented yet! [0m [init -> l4linux] Device scan: [init -> l4linux] [34ml4io_iterate_devices: Not implemented yet! [0m [init -> l4linux] Device scan done. [init -> l4linux] l4x_fiasco_gdt_entry_offset = 9 [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): [33mfb mapped to 1092000 [0m [init] [31muart_drv: illegal announcement of service "Uart" [0m [init -> ps2_drv] Using keyboard with scan code set 2. [init -> pci_drv] [31mCould not open file "pci_device_pd" [0m [init -> pci_drv] [34mPCI device protection domain for IOMMU support is not available [0m [init -> timer] [33margs='label="l4linux", ram_quota=4096' [0m [init -> pci_drv] [31mCould not open file "config" [0m [init -> pci_drv] [31mCould not obtain config file [0m [init -> pci_drv] [31mPCI config space data could not be parsed. [0m [init -> l4linux] main thread will be f [init -> l4linux] l4x_register_pointer_section: addr = 00400000 size = 4427776 [init -> l4linux] section-with-init: virt: 400000 to 838fff [4324 KiB] [init -> l4linux] [34mCannot determine physical address for dataspace Binary! [0m [init -> l4linux] error: failed to get physical address for 400000. [init -> l4linux] Main thread running, waiting... [init -> l4linux] thread=f000 cpu=0 [init -> l4linux] WARNING: Unknown wrmsr: 0000008b at 616221 [init -> l4linux] l4x_setup_memory: Forcing superpages for main memory [init -> l4linux] l4re_global_env: 0 [init -> l4linux] Main memory size: 64MB [34munmapping of managed dataspaces not yet supported [0m [init -> l4linux] Main memory: virt: 50000000 to 53ffffff [65536 KiB] [init -> l4linux] Main memory: Phys: 0x50000000 to 0x54000000, Size: 67108864 [init -> l4linux] Filling lower ptabs... [init -> l4linux] Done (0 entries). [init -> l4linux] l4x_register_pointer_section: addr = 00400000 size = 4427776 [init -> l4linux] text: virt: 400000 to 838fff [4324 KiB] [init -> l4linux] [34mCannot determine physical address for dataspace Binary! [0m [init -> l4linux] error: failed to get physical address for 400000. [init -> l4linux] l4x_rd_path: initrd.gz [init -> l4linux] Loading: initrd.gz [init -> l4linux] INITRD: Size of RAMdisk is 3608KiB [init -> l4linux] RAMdisk from 00a00000 to 00d86000 [3608KiB] [init -> uart_drv] [32mBaudrate is not defined. Use default 115200 [0m [init -> l4linux] l4timer: Using IRQ65 [init -> timer] [33margs='label="l4linux", ram_quota=4096' [0m [init -> l4linux] WARNING: Unknown wrmsr: 0000008b at 616221 [init -> l4linux] WARNING: Unknown rdmsr: 00000345 at 781629 [init -> l4linux] WARNING: Unknown rdmsr: 00000186 at 7809ef [init -> l4linux] WARNING: Unknown rdmsr: 00000187 at 7809ef [init -> l4linux] WARNING: Unknown wrmsr: 000000c1 at 780a70 [init -> l4linux] Launching cpu1 on pcpu 1 at 6145be [init -> timer] [33margs='label="l4linux", ram_quota=4096' [0m [34mQuota exceeded! amount=4096, size=4096, consumed=4096 [0m [init -> l4linux] [32mupgrading quota donation for SIGNAL session [0m [init -> l4linux] l4x_cpu_threads[1] = 44000a00 [init -> l4linux] thread=18000 cpu=1 [init -> l4linux] WARNING: Unknown wrmsr: 0000008b at 616221 [init -> vesa_drv] [31mCould not open file "config" [0m [init -> vesa_drv] [31mCould not obtain config file [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] Found: VESA BIOS version 3.0 [init -> vesa_drv] OEM: ATI ATOMBIOS [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] Found: physical frame buffer at 0xc0000000 size: 0x01000000 [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): [33mfb mapped to 1400000 [0m [34mQuota exceeded! amount=4096, size=4096, consumed=4096 [0m [init -> nic_drv] [32mupgrading quota donation for SIGNAL session [0m [init -> nic_drv] [32m--- init iPXE NIC [0m [init -> timer] [33margs='label="nic_drv", ram_quota=4096' [0m [init -> nic_drv] scan_pci(): [36mFound: 02:00.0 14e4:169b (rev 02) IRQ 0b [0m [init -> nic_drv] probe_pci_device(): [36mno driver found [0m [init -> nic_drv] scan_pci(): [36mFound: 03:01.0 8086:107c (rev 05) IRQ 05 [0m [init -> nic_drv] probe_pci_device(): [36musing driver 82541pi [0m [init -> nic_drv] ioremap(): [36mbus_addr = dfac0000 len = 20000 [0m [init -> nic_drv] [35msnprintf not implemented [0m [init -> nic_drv] [32m number of devices: 1 [0m [init -> nic_drv] [32m--- init rx_callbacks [0m [init -> nic_drv] [32m--- get MAC address [0m [init -> nic_drv] [32m 00:0e:04:00:03:16 [0m [init -> nic_drv] [31mmemory allocation failed in alloc_memblock (size=2048, align=800, offset=0) [0m [init -> nic_drv] [31mmemory allocation failed in alloc_memblock (size=2048, align=800, offset=0) [0m [init -> nic_drv] [31mmemory allocation failed in alloc_memblock (size=2048, align=800, offset=0) [0m [init -> nic_drv] [31mmemory allocation failed in alloc_memblock (size=2048, align=800, offset=0) [0m [init -> nic_drv] [31mmemory allocation failed in alloc_memblock (size=2048, align=800, offset=0) [0m The board of my PC is DELL OptiPlex 330. It has a broadcom Enthernet Card on board and a another intel 82541 Enthernet Card.

1 0

Interrupts in L4Linux
by Alexander Tarasikov 05 Apr '13

05 Apr '13

Hello, Genode Hackers! I'm currently implementing an X86 PCI bus driver for L4Linux as a temporary solution for getting USB support in L4Linux. Current genode-side code is presented below. The l4linux patch is not ready, but I've submitted the relevant part of the diff to pastebin (it's only makefile and kconfig anyway) https://github.com/Ksys-labs/genode/blob/pci_wip/ports-foc/src/drivers/geno… https://github.com/Ksys-labs/genode/blob/pci_wip/ports-foc/src/lib/l4lx/gen… https://github.com/Ksys-labs/genode/blob/pci_wip/ports-foc/src/lib/l4lx/l4_… http://pastebin.com/9c37tuJR I have implemented the linux driver which calls the Genode pci service routines. I have also extended the l4lx io library to allow mapping pci memory space. With this patches, the ehci and ohci drivers probe in linux, but fail to work because interrupts are not triggered. I have implemented the fake irq thread which kicks the irq handler every millisecond and with that usb works. This indicates that the pci subsystem and memory mapping are I've got some questions regarding interrupt handling in L4Linux and Genode in general. 1. Why are NR_IRQS_HW interrupts reserved on X86 in l4linux? The EHCI controller wants the interrupt number 11 which is lower than NR_IRQS_HW. Ok, I worked around that by editing the constant and removing the "BUG_ON(NR_REQUESTABLE < 1)" in arch/l4/kernel/irq.c init_array function 2. How are capabilities actually assigned? it would seem to me that l4x_register_irq allocates the capabilitiies in the first available slot, but l4x_have_irqcap looks it up by index. I've worked around it by explicitely allocating 12 capabilities via l4x_cap_alloc, but still got error -2004 on irq attach. Now, I've had success in attaching irq after I allocated the capability via the following code in l4lx: Genode::Foc_cpu_session_client cpu(Genode::env()->cpu_session_cap()); p->irq_cap = cpu.alloc_irq().dst(); 3. what's the purpose of multiplying the irq number by four in l4_msgtag_t ret = l4_irq_attach(p->irq_cap, data->irq << 2, l4x_cpu_thread_get_cap(p->cpu));? As far as I can see, in the base-foc irq implementation, irq number is never multiplied 4. non-genode question, probably. Do EHCI/PCI interrupts need a special kick to work? I've tried using Genode::Irq_session for irq11, but wait_for_irq never returns. On the other hand, I've tried the regular linux iso on the same machine (which is actually qemu) and the ehci interrupt is indeed 11 and it works fine there. So, the question is, why is interrupt handling broken and the only working interrupt in l4linux is timer which actually uses L4 timer ipc instead of irq and how this should be fixed. Also, what do you think of making a "genode" arch for linux and getting rid of l4linux which uses the Fiasco.OC API bypassing Genode interfaces? -- Regards, Alexander

6 12

about crypto service in Genode
by Jian Liu 05 Apr '13

05 Apr '13

Hi all, When I read "Road Map for 2013", I find there is furture release 13.05 (should be publised in May this year according to the Road Map) which support Cryptography functions in Genode. And moreover, I also find current topics related to crypto serivce as follow. https://github.com/genodelabs/genode/issues/55 But it has not been updated for serval monthes. I wonder if there is a detailed planning about crypto development in Genode. I am interested in it. I can join this work follow your planning. Best, Jian LIU ---- email to: gjk.liu@...9...

3 6

static linking libc.
by Daniel Waddington 02 Apr '13

02 Apr '13

Hi, I have a problem with all my threads in a multi-threaded program dead-locking on some (cancelable) lock in ld.lib.so. At this point it is difficult to tell what is happening. Is there a way to force libc to link statically? Daniel

3 3

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users April 2013