users

users@lists.genode.org

3 participants
2349 discussions

Header files have changed?
by Quin 19 Jul '16

19 Jul '16

Hello all,I am following genode 16.05 tutorials on ubuntu 16.04 lts. I set up my tests according to chapter 2.5 in corresponding manual (16.05) and http://genode.org/documentation/developer-resources/client_server_tutorial. However when I tried to compile the apps, I got errors saying "base/component.h" and "base/log.h" were not found. I searched the sub-directories of genode project and had no luck. After digging I thought I could use base/printf.h instead of log.h. But what is the alternative of base/component.h? Any help is appreciated.Thanks,Quin

2 1

Build issue..."Not a git repository"
by Bob Stewart 18 Jul '16

18 Jul '16

Hi, I started getting build warning message about repository not found, as you can see below. This occurred shortly after I did a make prepare for libc and libm from libports on my 16.05 build. I'm building from the BUILD_DIR directory. An suggestion why this is occurring? bob@...297...:/Work/Genode/Builds/16.05/437x$ make run/libc_ffat_fs including /Work/Genode/genode-16.05/tool/run/boot_dir/hw including /Work/Genode/genode-16.05/tool/run/image/uboot including /Work/Genode/genode-16.05/repos/libports/run/libc_ffat_fs.run building targets: core init drivers/timer server/ffat_fs test/libc_vfs drivers/sd_card/spec/437x spawn make core init drivers/timer server/ffat_fs test/libc_vfs drivers/sd_card/spec/437x make[1]: Entering directory `/Work/Genode/Builds/16.05/437x' checking library dependencies... _/fatal: Not a git repository (or any parent up to mount point /Work)/__/ /__/Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set)./_ Library platform Library cxx Library base-common Library syscall Library startup Library base Program drivers/sd_card/spec/437x/sd_card_drv Library alarm Library timer Program drivers/timer/timer Library config Program init/init Library ffat_block Program server/ffat_fs/ffat_fs Library libc-string Library libc-locale Library libc-stdlib Library libc-stdio Library libc-gen Library libc-gdtoa Library libc-inet Library libc-stdtime Library libc-regex Library libc-compat Library libc-setjmp Library timed_semaphore Library component_entry_point Library ldso-startup Library ld Library vfs /_fatal: Not a git repository (or any parent up to mount point /Work)_//_ _//_Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set)._/ Library libc Program test/libc_vfs/test-libc_vfs Library core-perf_counter Library core COMPILE version.o MERGE core.lib.a Program core/core LINK core make[1]: Leaving directory `/Work/Genode/Builds/16.05/437x' genode build completed spawn make core Thanks, Bob Stewart

4 4

l4android not accessing android image from disk
by john stokes 14 Jul '16

14 Jul '16

hello Genodians i am new to genode as i know that current version of genode does not support the l4android but i want to run it so according to the description of previous run script and some help form you guys i have created a run script in which i have used ahci to access ata driver ,i have created a partition using sfdisk and got access to this using part_blk but i am not able to access it my file is being attached with this mail.my terminal log are given below terminal log =======> [init -> ahci_drv] --- Starting AHCI driver -> done right .-) -- [init -> nic_drv] --- iPXE NIC driver started --- [init -> nic_drv] --- init iPXE NIC [init] child "acpi_report_rom" announces service "Report" [init] child "acpi_report_rom" announces service "ROM" [init -> l4android] Booting L4Linux ... [init] child "timer" announces service "Timer" [init -> kdb_uart_drv] --- Fiasco(.OC) KDB UART driver started --- [init] child "kdb_uart_drv" announces service "Uart" [init] child "kdb_uart_drv" announces service "Terminal" [init -> l4android] ======> L4Linux starting... <======== [init -> l4android] Linux version 3.5.0-l4-gcea6e7a (root@...431...) (gcc version 4.9.2 (GCC) ) #441 SMP Sat Jul 9 23:15:32 IST 2016 [init -> l4android] Binary name: vmlinux [init -> l4android] Linux kernel command line (4 args): mem=512M l4x_rd=root-ginger.gz l4x_cpus=2 l4x_cpus_map=0,1 [init -> l4android] CPU mapping (l:p)[2]: 0:0, 1:1 [init -> l4android] Image: 00401000 - 0090f000 [5176 KiB]. [init -> l4android] Areas: Text: 00401000 - 00838000 [4316kB] (a bit longer) [init -> l4android] Data: 00838000 - 0085c620 [145kB] [init -> l4android] Initdata: 00870000 - 0089b000 [172kB] [init -> l4android] BSS: 0089c000 - 008ff000 [396kB] [init -> l4android] l4util_cpu_capabilities: Not implemented yet! [init -> l4android] gs=43 fs=43 [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] Device scan: [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> l4android] Device scan done. [init -> l4android] l4x_fiasco_gdt_entry_offset = 9 [init -> l4android] main thread will be 12 [init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 5304320 [init -> l4android] section-with-init: virt: 400000 to 90efff [5180 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 400000. [init -> l4android] Main thread running, waiting... [init -> l4android] thread=12000 cpu=0 [init -> l4android] WARNING: Unknown wrmsr: 0000008b at 6e8181 [init -> l4android] l4x_setup_memory: Forcing superpages for main memory [init -> l4android] l4re_global_env: 0 [init -> usb_drv] Services::Services(): Could not read screen resolution in config node [init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service [init -> usb_drv] Services::Services(): No <raw> config node found - not starting external USB service [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> l4android] Main memory size: 512MB [init] child "usb_drv" announces service "Input" unmapping of managed dataspaces not yet supported [init -> l4android] Main memory: virt: 20000000 to 3fffffff [524288 KiB] [init -> l4android] Main memory: Phys: 0x00000000 to 0x20000000, Size: 536870912 [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = unsigned int; Genode::uint32_t = unsigned int]: Found MADT [init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: d [init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: d [init -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: d [init -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: d [init -> usb_drv] Using configured mac: 54:35:30:58:a5:27 [init] child "platform_drv" announces service "Platform" [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 1000 [init -> l4android] Filling lower ptabs... [init -> l4android] Done (0 entries). [init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 5304320 [init -> l4android] text: virt: 400000 to 90efff [5180 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 400000. [init -> l4android] l4x_rd_path: root-ginger.gz [init -> l4android] Loading: root-ginger.gz [init] child "fb_drv" announces service "Framebuffer" [init -> fb_drv] Could not open ROM session for module "config" [init -> l4android] INITRD: Size of RAMdisk is 596KiB [init -> fb_drv] Could not obtain config file [init -> l4android] RAMdisk from 000a3000 to 00138000 [596KiB] [init -> ahci_drv] AHCI found (vendor: 8086 device: 2922 class: 00010601) [init -> ahci_drv] X86_hba::X86_hba(): base: febf1000 size: 1000 [init -> nic_drv] Found: 00:03.0 8086:100e (rev 03) IRQ 0b [init -> ps2_drv] Could not open ROM session for module "config" [init -> ps2_drv] Could not obtain config file [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> platform_drv] IRQ override 11->11 trigger mode=LEVEL polarity=HIGH Quota exceeded! amount=65536, size=4096, consumed=65536 [init -> platform_drv] 0:4.0 uses IRQ, vector 0xb, MSI 64bit capable, non-maskable [init -> ahci_drv] version: 1.0000 [init -> ahci_drv] command slots: 32 [init -> ahci_drv] native command queuing: yes [init -> ahci_drv] 64 bit support: no [init -> platform_drv] PS2 uses IRQ, vector 0x1 [init -> ahci_drv] number of ports: 6 pi: 3f [init -> nic_drv] using driver 82540em [init -> nic_drv] PCI BIOS has not enabled device 00:03.0! Updating PCI command 0103->0107 [init -> platform_drv] PS2 uses IRQ, vector 0xc [init -> nic_drv] PCI device 00:03.0 latency timer is unreasonably low at 0. Setting to 32. [init] child "ps2_drv" announces service "Input" [init -> nic_drv] bus_addr = febc0000 len = 20000 [init -> nic_drv] snprintf not implemented [init -> platform_drv] Could not open ROM session for module "device_pd" [init -> platform_drv] PCI device protection domain for IOMMU support is not available [init -> platform_drv] IRQ override 11->11 trigger mode=LEVEL polarity=HIGH [init -> platform_drv] 0:3.0 uses IRQ, vector 0xb, non-maskable [init -> nic_drv] number of devices: 1 [init] child "nic_drv" announces service "Nic" [init -> fb_drv] Found: VESA BIOS version 3.0 [init -> fb_drv] OEM: SeaBIOS VBE(C) 2011 [init -> l4android] l4timer: Using IRQ65 [init -> l4android] WARNING: Unknown wrmsr: 0000008b at 6e8181 [init -> l4android] WARNING: Unknown rdmsr: 00000186 at 8763de [init -> l4android] WARNING: Unknown rdmsr: 00000187 at 8763de [init -> l4android] WARNING: Unknown wrmsr: 000000c1 at 876468 [init -> l4android] Launching cpu1 on pcpu 1 at 6e65ac [init -> l4android] l4x_cpu_threads[1] = 48000c00 [init -> l4android] thread=1b000 cpu=1 [init -> l4android] WARNING: Unknown wrmsr: 0000008b at 6e8181 [init -> fb_drv] Found: physical frame buffer at 0xfc000000 size: 0x00400000 [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 400000 [init -> fb_drv] Using video mode: 1280 x 1024 x 16 Quota exceeded! amount=65536, size=4096, consumed=65536 [init -> nitpicker] Could not open ROM session for module "config" [init -> nitpicker] Could not obtain config file [init] child "nitpicker" announces service "Nitpicker" [init -> nitpicker] create session with args: label="android_fb", ram_quota=28672 [init -> nitpicker] no policy matching label "android_fb" [init] child "android_fb" announces service "Framebuffer" [init] child "android_fb" announces service "Input" [init -> android_fb] using xywh=(0,0,640,480) [init -> ahci_drv] failed to stop command list processing [init -> ahci_drv] CMD.ST bit set during device reset --> unknown behavior [init -> ahci_drv] #0: ATA [init -> platform_drv] Quota exceeded! amount=741376, size=8192, consumed=741376 [init -> platform_drv] Quota exceeded! amount=1482752, size=8192, consumed=1478656 [init -> platform_drv] Could not open ROM session for module "device_pd" [init -> platform_drv] PCI device protection domain for IOMMU support is not available [init -> ahci_drv] #1: off [init -> ahci_drv] #2: off [init -> ahci_drv] #3: off [init -> ahci_drv] #4: off [init -> ahci_drv] #5: off [init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 5 state: 3 [init -> ahci_drv] model number: QEMU HARDDISK [init -> ahci_drv] serial number: QM00005 [init -> ahci_drv] queue depth: 32 ncq: 1 [init -> ahci_drv] numer of sectors: 1048576 [init -> ahci_drv] multiple logical blocks per physical: yes [init -> ahci_drv] logical blocks per physical: 1 [init -> ahci_drv] logical block size is above 512 byte: no [init -> ahci_drv] words (16bit) per logical block: 0 [init -> ahci_drv] offset of first logical block within physical: 0 [init] child "ahci_drv" announces service "Block" [init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 8 state: 4 [init -> part_blk] Partition 1: LBA 1 (658664 blocks) type: 83 [init] child "part_blk" announces service "Block" [init -> part_blk] session opened at partition 1 for 'l4android -> sda' [init -> nic_drv] --- init callbacks [init -> nic_drv] --- get MAC address 52:54:00:12:34:56 [init -> l4android] Terminating L4Linux. [init -> l4android] Still alive, going zombie???

2 6

l4linux update problem
by li94575 14 Jul '16

14 Jul '16

Hi, all Recently, I was trying to update the l4linux to version 3.10, and the FOC kernel has also been updated to rev58 accordingly. Now, l4linux3.10 can run well if I not set CONFIG_SMP. But I would get a pagefault when enable SMP, and cpu1 failed to come online, part of the log is given below: --------------------------- [ 0.320000] {0} CPU: Testing write buffer coherency: ok [ 0.320000] {0} CPU0: thread -1, cpu 0, socket 0, mpidr 80000000 [ 0.320000] {0} Setting up static identity map for 0x02379fa0 - 0x02379fa0 [init -> l4linux] l4x_virt_to_phys: Could not translate virt. address 2379fa0 [init -> l4linux] l4x_virt_to_phys: Could not translate virt. address 2379fa0 [init -> l4linux] Launching cpu1 on pcpu 1 at 236fc30 [init -> l4linux] l4x_cpu_threads[1] = 84000a00 [init -> l4linux] l4x_virt_to_phys: Could not translate virt. address 254a000 virtual void Genode::Signal_session_component::submit(Genode::Signal_contex_capability, unsigned int): invalid signal-context capability virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=8650ca40 ip=2003a24 [ 2.360000] {0} CPU1: failed to come online [ 2.360000] {0} Brought up 1 CPUs [ 2.360000] {0} SMP: Total of 1 processors activated (3697.04 BogoMIPS). ...... ----------------------------------- Note that the thread context area starts from 0x80000000 (physical mem area is 0x00000000 ~ 0x7fffffff), the pagefault seems not to be caused by thread stack overflow, Increasing stack size of vcpu thread can not help to solve it. Vcpu1 thread have been created successfully, and already entry the entry() function, but __cpu_starter() has not been excuted. Using genode-arm-objdump tool to convert vmlinux: --------------------------------------------------------------------- ....... unsigned long l4x_global_save_flags(void) { 2003a10: e1a0c00d mov ip, sp 2003a14: e92dd800 push {fp, ip, lr, pc} 2003a18: e24cb004 sub fp, ip, #4 2003a1c: e59f300c ldr r3, [pc, #12] ; 2003a30 2003a20: ee1d2f70 mrc 15, 0, r2 ,cr13, cr0, {3} 2003a24: e7923003 ldr r3, [r2, r3] return l4vcpu_state(l4x_vcpu_state_current()); #else return l4_capability_equal(tamed_per_nr(cli_lock, get_tamer_nr(current_thread_info()->cpu)).owner, l4x_cap_current()) ? L4_IRQ_DISABLED : L4_IRQ_ENABLED; #endif } 2003a28: e1d308b8 ldrh r0, [r3, #136] ; 0x88 2003a2c: e89da800 ldm sp, {fp, sp, pc} 2003a30: 0250c040 .word 0x0250c040 02003a34 : } EXPORT_SYMBOL(l4x_global_cli); ...... ---------------------------------------------------------------- Noting: l4linux3.10 uses register TPIDRURO to store percpu offset, not TPIDRURW in l4linux3.9, and a new system call interface of thread object is introduced (seeing arch/l4/include/asm/arch-arm/percpu.h). I tested this in genode1308 and genode1311, the phenomenon seems to be the same. Now, I have no idea to fix this problem, can anybody give some suggestions?

1 0

Light-SPD: A Platform to Prototype Secure Mobile Applications
by Norman Feske 12 Jul '16

12 Jul '16

Hello, apparently just a few days ago, the following work was presented at the Workshop on Privacy-Aware Mobile Computing (PAMCO'16) hosted at MobiHoc 2016 [1]: "Light-SPD: A Platform to Prototype Secure Mobile Applications" by Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Miguel Correia The paper describes a secure mobile payment platform built upon Genode's TrustZone support on the FreeScale i.MX53 SoC. Disclaimer: I was unaware of this work until yesterday and haven't thoroughly studied the paper yet. It is great to see Genode being picked up for projects like this! [1] https://www.sigmobile.org/mobihoc/2016/ [2] http://www.gsd.inesc-id.pt/~mpc/pubs/Light-SPD-paper.pdf Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Overview of the Genode community
by Norman Feske 12 Jul '16

12 Jul '16

Hello everyone, during a conversation with Johannes Schlatow a few months ago, he proposed to add an overview of the Genode community at the genode.org website. By providing an overview of active contributors, the various groups and individuals may get a better chance to get acquainted with each other, avoid duplicate efforts, or even team up. By presenting links to projects using Genode, we may make the project more tangible to people who are wondering about the application of Genode in the real world. I have now attempted to create a rough sketch of such an overview as a topic branch at GitHub [1]. I plan to host this overview at the Genode website as a sub section of the "Community" tab. Now, my questions are: 1) Do you find the structure sensible? Or do you have an alternative suggestion to organize this information? 2) What is an appropriate level of detail? I have added a paragraph here and there. Should we give each individual a bit of room to add custom information or is a raw list of links to GitHub accounts, blogs, or project websites sufficient? 3) Most importantly: Do you find you or your project missing? Please let me know and suggest additions! [1] https://github.com/nfeske/genode/commits/participants Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Incremental checkpointing of components
by Denis Huber 12 Jul '16

12 Jul '16

Dear Genode-main readers, I am working on my thesis to implement a real-time capable checkpoint/restore mechanism in Genode/L4-Fiasco.OC on the Chair of Operating Systems, TUM Department of Informatics. A checkpoint-component A has to transparently (more or less) store the internal state of another component B and restore it on another machine also running Genode. One aspect of the thesis is to store the (virtual) memory pages of B only if they were changed since the last checkpoint (known as "incremental checkpointing"). This means, I have to mark a page if it was used by a write access and unmark it after the checkpoint. This approach is similar to the dirty-bit mechanism in the MMU. By searching the genode-main mailing list I found an idea for emulating the dirty-bit mechanism. In the message [1], the author suggests the use of managed dataspaces and a custom RAM service. The RAM server detaches a dataspace which a client is using, re-attaches and marks the dataspace when the client wants to read it or write to it. Thus, the server of the RAM service notices whenever a client uses a specific dataspace. [1] https://sourceforge.net/p/genode/mailman/message/34787057/ The problem of this approach is the granularity of the dataspaces. I want to be notified when a virtual memory page is changed and store only this page. But using one RM session per 4 KiB dataspace (typical page size) is not efficient, because an RM session uses 64 KiB for itself. * Do I understand this approach correctly? * Is there another way to be notified when a virtual memory page is accessed? * If not, is it possible to extend the core with this mechanism. If yes, which modules are involved? Kind regards Denis

2 2

A communication framework for distributed access control in microkernel-based systems
by Norman Feske 11 Jul '16

11 Jul '16

Hello, at this year's OSPERT 2016 workshop [1], the following Genode-related work was presented: "A communication framework for distributed access control in microkernel-based systems" by Mohammad Hamad, Johannes Schlatow, Vassilis Prevelakis, Rolf Ernst (TU Braunschweig) It describes a distributed communication system between electronic con- trol units (ECUs) within a vehicle. The paper is available as PDF [2]. Cheers Norman [1] http://www.cs.hs-rm.de/~kaiser/events/ospert16/ [2] http://www.cs.hs-rm.de/~kaiser/events/ospert16/pdf/ospert16-p6.pdf -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

3 3

Using dataspaces and allocators
by Denis Huber 09 Jul '16

09 Jul '16

Hello Genode-main readers, I am a quite new Genode user and I have a problem of how to use dataspaces. I understand that a dataspace represents a contiguous physical memory space. And that every component can use it, if it has a capability to it (by attaching it to its RM session). But, (1) how is a dataspace typically populated with data and (2) how can a component typically read the data? A further, related question is, (3) what is an allocator, and (4) what is the difference between an allocator and a dataspace? (5) How is an allocator (e.g. in the form of a sliced_heap or heap) typically used in C++? I would be happy about some code snippets or further links, which can answer my questions. I would be satisfied, if someone can answer question (1) and (2) :) Kind regards Denis

2 2

abort called - thread ep
by Duss Pirmin 08 Jul '16

08 Jul '16

Hello all I try to upgrade gtest, that Roman Iten had ported some time ago, to the latest version, as I also need gmock. When I run the gtest run script, I get the following error message: [init -> gtest] [ RUN ] EXPECT_PRED1Test.FunctorOnBuiltInTypeFailure [init -> gtest] Warning: abort called - thread: ep [init] virtual void Genode::Child_policy::exit(int): child "gtest" exited with exit value 1 Is there a way to find out what causes this? Gtest uses a main() function and doesn't use the server library or the component framework. The current development can be found at: https://github.com/trimpim/genode/tree/googletest Best regards Pirmin

2 1

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users