users

users@lists.genode.org

2357 discussions

status of iwlwifi driver
by Christian Menard 27 Nov '14

27 Nov '14

Hi, what is the current status on the port of the iwlwifi driver? I found that there is a new staging branch https://github.com/cnuke/genode/tree/wifi_staging. Does it mean that the driver is ready for testing? I would like to test it on our hardware. If it is ready, could you give me short instructions on how to configure the driver? Thanks Christian

5 7

UEFI support
by Christian Menard 26 Nov '14

26 Nov '14

Hi, is there any support for boot on UEFI planned? How ard would it be to add UEFI support? I'm specifically interested in the NOVA platform. Cheers Christian

2 1

USB Mouse not working on RaspberryPI
by Reinier Millo Sánchez 24 Nov '14

24 Nov '14

Hi I'm trying to test the Genode examples on RaspberryPI, but the USB Mouse is not working. I'm using the revision (ac6c4682f3df6e5069f5c0aed02a7e60eea834f8), testing the examples of revision (f4e735fa1626712a8b4e856b980fa11e64b78c8a) its works fine. This is the serial output Genode 14.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 248 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init -> fb_drv] --- fb_drv started --- [init -> platform_drv] --- Raspberry Pi platform driver --- [init -> launchpad] Could not open file "ld.lib.so" [init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service [init -> usb_drv] Services::Services(): No <nic> config node found - not starting the USB Nic (Network) service [init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> usb_drv] Enabled XHCI (USB 3.0) support [init -> usb_drv] dev_info: DWC OTG Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> usb_drv] dev_info: irq 17, io mem 0x00000000 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 1 port detected [init -> nitpicker] create session with args: label="status_bar", ram_quota=28672 [init -> nitpicker] create session with args: label="launchpad", ram_quota=28672 [init -> nitpicker] create session with args: label="pointer", ram_quota=28672 [init -> status_bar] could not parse focus report [init -> launchpad] --- entering main loop --- Best regards -- 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"

1 0

Supporting Genode for RaspberryPi on Fiasco.OC
by Reinier Millo Sánchez 23 Nov '14

23 Nov '14

Hi Genode community Maybe there is anybody interested in use Genode for RaspberryPI with Fiasco.OC as microkernel. I have configured Genode to compile for RaspberryPI with Fiasco.OC (base-foc). I have tested some simple examples from Genode, and its works. Examples on RaspberryPI, using hw platform or Fiasco.OC microkernel, does not recognize the mouse, i don't know where is the problem yet. Now i'm testing some complex examples based on QT with Fiasco.OC on RaspberryPI. ----------------------- repos/base-foc/config/rpi.kernel ----------------------- new file mode 100644 index 0000000..2350b1c @@ -0,0 +1,80 @@ +# +# Automatically generated file; DO NOT EDIT. +# Fiasco configuration +# + +# +# Target configuration +# +# CONFIG_IA32 is not set +# CONFIG_AMD64 is not set +CONFIG_ARM=y +# CONFIG_PF_REALVIEW is not set +# CONFIG_PF_IMX is not set +# CONFIG_PF_S3C2410 is not set +# CONFIG_PF_TEGRA is not set +# CONFIG_PF_OMAP is not set +# CONFIG_PF_XSCALE is not set +# CONFIG_PF_SA1100 is not set +# CONFIG_PF_EXYNOS is not set +# CONFIG_PF_KIRKWOOD is not set +# CONFIG_PF_INTEGRATOR is not set +CONFIG_PF_BCM2835=y +CONFIG_BSP_NAME="bcm2835" +CONFIG_ABI_VF=y +CONFIG_CAN_ARM_CPU_1176=y +CONFIG_ARM_1176=y +# CONFIG_ARM_ALIGNMENT_CHECK is not set +CONFIG_ARM_EM_STD=y +# CONFIG_ARM_EM_NS is not set +# CONFIG_ARM_EM_TZ is not set +CONFIG_FPU=y +# CONFIG_ARM_1176_CACHE_ALIAS_FIX is not set +# CONFIG_ARM_CPU_ERRATA is not set + +# +# Kernel options +# +CONFIG_CONTEXT_4K=y +CONFIG_FINE_GRAINED_CPUTIME=y +CONFIG_SCHED_FIXED_PRIO=y +# CONFIG_SCHED_WFQ is not set +# CONFIG_SCHED_FP_WFQ is not set +# CONFIG_DISABLE_VIRT_OBJ_SPACE is not set + +# +# Debugging +# +CONFIG_INLINE=y +# CONFIG_NDEBUG is not set +CONFIG_NO_FRAME_PTR=y +# CONFIG_STACK_DEPTH is not set +# CONFIG_LIST_ALLOC_SANITY is not set +CONFIG_SERIAL=y +CONFIG_JDB=y +# CONFIG_JDB_LOGGING is not set +# CONFIG_JDB_DISASM is not set +# CONFIG_JDB_GZIP is not set +# CONFIG_VMEM_ALLOC_TEST is not set +CONFIG_DEBUG_KERNEL_PAGE_FAULTS=y +# CONFIG_WARN_NONE is not set +# CONFIG_WARN_WARNING is not set +CONFIG_WARN_ANY=y + +# +# Compiling +# +CONFIG_CC="gcc" +CONFIG_CXX="g++" +CONFIG_HOST_CC="gcc" +CONFIG_HOST_CXX="g++" +# CONFIG_MAINTAINER_MODE is not set +CONFIG_LABEL="" +CONFIG_EXPERIMENTAL=y +CONFIG_PERF_CNT=y +CONFIG_BIT32=y +CONFIG_ARM_V6=y +CONFIG_ARM_V6PLUS=y +CONFIG_WARN_LEVEL=2 +CONFIG_XARCH="arm" +CONFIG_ABI="vf" ------------------------ repos/base-foc/config/rpi.user ------------------------ new file mode 100644 index 0000000..db26095 @@ -0,0 +1,70 @@ +# +# Automatically generated file; DO NOT EDIT. +# L4Re Configuration +# +# CONFIG_BUILD_ARCH_x86 is not set +# CONFIG_BUILD_ARCH_amd64 is not set +CONFIG_BUILD_ARCH_arm=y +# CONFIG_BUILD_ARCH_ppc32 is not set +# CONFIG_BUILD_ARCH_sparc is not set +CONFIG_BUILD_ARCH="arm" +CONFIG_BUILD_ABI_l4f=y +CONFIG_BUILD_ABI="l4f" +CONFIG_CPU="armv6" +# CONFIG_CPU_ARM_ARMV4 is not set +# CONFIG_CPU_ARM_ARMV4T is not set +# CONFIG_CPU_ARM_ARMV5 is not set +# CONFIG_CPU_ARM_ARMV5T is not set +# CONFIG_CPU_ARM_ARMV5TE is not set +CONFIG_CPU_ARM_ARMV6=y +# CONFIG_CPU_ARM_ARMV6T2 is not set +# CONFIG_CPU_ARM_ARMV6ZK is not set +# CONFIG_CPU_ARM_ARMV7A is not set +# CONFIG_CPU_ARM_ARMV7R is not set +# CONFIG_CPU_ARMV6KPLUS is not set +CONFIG_CPU_ARMV6PLUS=y +# CONFIG_PLATFORM_TYPE_imx53 is not set +# CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set +# CONFIG_PLATFORM_TYPE_exynos5 is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set +# CONFIG_PLATFORM_TYPE_pandaboard is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_imx6 is not set +# CONFIG_PLATFORM_TYPE_exynos4 is not set +# CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set +# CONFIG_PLATFORM_TYPE_imx51 is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_beagleboard is not set +# CONFIG_PLATFORM_TYPE_imx21 is not set +# CONFIG_PLATFORM_TYPE_rv_vexpress is not set +CONFIG_PLATFORM_TYPE_rpi_a=y +# CONFIG_PLATFORM_TYPE_integrator is not set +# CONFIG_PLATFORM_TYPE_custom is not set +# CONFIG_PLATFORM_TYPE is not set +# CONFIG_USE_DROPS_STDDIR is not set +# CONFIG_USE_DICE is not set +CONFIG_DROPS_STDDIR="/path/to/l4re" +CONFIG_DROPS_INSTDIR="/path/to/l4re" +CONFIG_BID_COLORED_PHASES=y + +# +# Building +# +CONFIG_YACC="yacc" +CONFIG_LEX="flex" +CONFIG_CTAGS="ctags" +CONFIG_ETAGS="etags" +CONFIG_HAVE_LDSO=y +CONFIG_INT_CPP_NAME_SWITCH=y +CONFIG_INT_LD_NAME_SWITCH=y +# CONFIG_BID_STRIP_PROGS is not set +# CONFIG_BID_GCC_OMIT_FP is not set +# CONFIG_BID_GENERATE_MAPFILE is not set +# CONFIG_BID_BUILD_DOC is not set +# CONFIG_RELEASE_MODE is not set +CONFIG_MAKECONFS_ADD="" ---------------- repos/base-foc/lib/mk/platform_rpi/platform.mk ---------------- new file mode 100644 index 0000000..2417594 @@ -0,0 +1,6 @@ +# +# Configuration for L4 build system (for kernel-bindings, sigma0, bootstrap). +# +L4_CONFIG = $(call select_from_repositories,config/rpi.user) + +include $(REP_DIR)/lib/mk/arm/platform.inc ------------------------- repos/base-foc/mk/l4_pkg.mk ------------------------- index 7979db7..54e4ca6 100644 @@ -22,6 +22,10 @@ ifeq ($(filter-out $(SPECS),arm_v7a),) L4_BUILD_ARCH := arm_armv7a endif +ifeq ($(filter-out $(SPECS),arm_v6),) + L4_BUILD_ARCH := arm_armv6 +endif + ifeq ($(L4_BUILD_ARCH),) all: l4_build_arch_undefined $(VERBOSE)$(ECHO) "Error: L4_BUILD_ARCH undefined, architecture not supported" ---------------------- repos/base-foc/mk/spec-foc_rpi.mk ---------------------- new file mode 100644 index 0000000..77a3726 @@ -0,0 +1,4 @@ +SPECS += foc_arm platform_rpi + +include $(call select_from_repositories,mk/spec-platform_rpi.mk) +include $(call select_from_repositories,mk/spec-foc_arm.mk) ---------------------------- repos/base-foc/run/env ---------------------------- index 3418e2f..2b8b610 100644 @@ -119,6 +119,7 @@ proc bin_dir { } { if {[have_spec x86_32]} { return "[l4_dir]/bin/x86_586" } if {[have_spec x86_64]} { return "[l4_dir]/bin/amd64_K8" } if {[have_spec arm_v7a]} { return "[l4_dir]/bin/arm_armv7a" } + if {[have_spec arm_v6]} { return "[l4_dir]/bin/arm_armv6" } puts stderr "Error: Cannot determine bin directory" exit 1 -------------------- repos/base-foc/src/core/rpi/target.mk -------------------- new file mode 100644 index 0000000..90dede6 @@ -0,0 +1,10 @@ +include $(PRG_DIR)/../target.inc + +REQUIRES += arm foc_rpi +SRC_CC += arm/platform_arm.cc +INC_DIR += $(REP_DIR)/src/core/include/arm + +LD_TEXT_ADDR = 0x800000 + +vpath platform_services.cc $(GEN_CORE_DIR) + ------------------- repos/base-foc/src/kernel/rpi/target.mk ------------------- new file mode 100644 index 0000000..966df54 @@ -0,0 +1,4 @@ +REQUIRES = platform_rpi +KERNEL_CONFIG = $(REP_DIR)/config/rpi.kernel + +-include $(PRG_DIR)/../target.inc Best regards -- 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"

2 1

genode questions
by Tim Newsham 23 Nov '14

23 Nov '14

I am a noob and have some platform questions: I see rpi listed in the src tree, but only under the base-hw directory. Does this mean it is supposed but only runs without a ukernel? I don't see any beaglebone or beagleboard platforms in the tree. Is there any support for any of these? If not, are there plans for future support? I notice pandaboard is in the tree, and also built on omap. How similar is the pandaboard to the beagle board? If very similar, what level of effort would be required for a port, and what areas would likely need attention? What ukernel is the "best" / most supported / recommended for genode on ARM at this time? Other than platform support, are there any major feature differences between genode running on the diff ukernels? -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com

2 1

rpi_hw build failure
by Tim Newsham 23 Nov '14

23 Nov '14

$ ./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 -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com

5 13

TPM, Haskell and RPC mapped through NOVA
by Thomas Strobel 20 Nov '14

20 Nov '14

Hi everyone, I'm new to the genode mailing list, so before I start asking questions, I would want to introduce myself. I'm a software developer and entrepreneur and I'm looking for the right tools to build a new product. It will be a cloud platform which focuses on security and privacy. Now, I'm interested in whether Genode could help me with that, and so I would be very thankful if you could help me with the questions I have so far. My first question is whether there is a resource multiplexer for a TPM in Genode? Is there something equivalent to the Virtual Trusted Platform Module in Xen? [1] My second question is how Genode can communicate with a system that is running inside a NOVA hypervisor. Let's say I want to run an unmodified Linux kernel on top of NOVA. Is there some kind of kernel module for Linux that acts as a client/server to some server/client running somewhere else in Genode? In other words, how can RPC be passed into and out of the Linux user space? My next question is how difficult it is to write Genode applications in Haskell. Is there an environment which can run Haskell applications, something similar to the Haskell Lightweight Virtual Machine for Xen? [2] My last question is about the GPL licensing of the Genode OS framework. What licensing requirements are there for the Genode applications? Do they have to be released under a GPL compatible license as well, or can that be closed source components? To put these question into relation, a few words about the software architecture that I have in mind. I want to run Genode at the lowest layer, and then run isolated, normal Linux systems on top of the NOVA hypervisor. The Linux systems should be controlled and managed by a Haskell application that is running directly on Genode and communicates with Linux user space programs through RPC. The PRC for the Linux user space applications should be somehow fed through NOVA and the Linux kernel. The Haskell application might not be available as open source, so that is where the last question is coming from. I would very much appreciate to hear about your thoughts. Many thanks in advance, Thomas [1] http://wiki.xen.org/wiki/Virtual_Trusted_Platform_Module_(vTPM) [2] https://github.com/GaloisInc/HaLVM

5 6

netperf on RPI
by Mhamad Hmad 20 Nov '14

20 Nov '14

HI , I am trying to do some performance measurements on lwip in Genode and RPI, I setup Genode on RPI and then run netperf_lwip from my client PC with Linux 12.04 as OS , Intel Core I7 I got #netperf-2.6.0 -H 192.168.12.211 -P 1 -v 2 -t TCP_STREAM -c -C -- -m 1024 MIGRATED TCP STREAM TEST from 0.0.0.0 (0.0.0.0) port 0 AF_INET to 192.168.12.211 () port 0 AF_INET Recv Send Send Utilization Service Demand Socket Socket Message Elapsed Send Recv Send Recv Size Size Size Time Throughput local remote local remote bytes bytes bytes secs. 10^6bits/s % S % U us/KB us/KB 131072 16384 1024 11.52 3.37 0.16 -1.00 30.938 -23.688 Alignment Offset Bytes Bytes Sends Bytes Recvs Local Remote Local Remote Xfered Per Per Send Recv Send Recv Send (avg) Recv (avg) 8 8 0 0 4978688 1024.00 4862 4534.32 1098 Maximum Segment Size (bytes) 1448 #netperf-2.6.0 -H 192.168.12.211 -P 1 -v 2 -t TCP_MAERTS -c -C -- -m 1024 MIGRATED TCP MAERTS TEST from 0.0.0.0 (0.0.0.0) port 0 AF_INET to 192.168.12.211 () port 0 AF_INET Recv Send Send Utilization Service Demand Socket Socket Message Elapsed Recv Send Recv Send Size Size Size Time Throughput local remote local remote bytes bytes bytes secs. 10^6bits/s % S % U us/KB us/KB 131072 16384 1024 10.00 50.02 0.61 -1.00 8.007 -1.638 Alignment Offset Bytes Bytes Recvs Bytes Sends Local Remote Local Remote Xfered Per Per Recv Send Recv Send Recv (avg) Send (avg) 8 8 0 0 62524752 1449.82 43126 4096.00 15351 Maximum Segment Size (bytes) 1448 the Throughput values is looking strange! when i run then netperf_lwip on genode based on linux platform i got totally different results #netperf-2.6.0 -H 192.168.12.211 -P 1 -v 2 -t TCP_STREAM -c -C -- -m 1024 Recv Send Send Utilization Service Demand Socket Socket Message Elapsed Send Recv Send Recv Size Size Size Time Throughput local remote local remote bytes bytes bytes secs. 10^6bits/s % S % U us/KB us/KB 131072 16384 1024 10.01 554.32 39.83 -1.00 47.089 -0.148 Alignment Offset Bytes Bytes Sends Bytes Recvs Local Remote Local Remote Xfered Per Per Send Recv Send Recv Send (avg) Recv (avg) 8 8 0 0 693644288 1024.00 677387 9572.39 72463 Maximum Segment Size (bytes) 1448 #netperf-2.6.0 -H 192.168.12.211 -P 1 -v 2 -t TCP_MAERTS -c -C -- -m 1024 Recv Send Send Utilization Service Demand Socket Socket Message Elapsed Recv Send Recv Send Size Size Size Time Throughput local remote local remote bytes bytes bytes secs. 10^6bits/s % S % U us/KB us/KB 131072 16384 1024 10.00 637.92 48.88 -1.00 50.219 -0.128 Alignment Offset Bytes Bytes Recvs Bytes Sends Local Remote Local Remote Xfered Per Per Recv Send Recv Send Recv (avg) Send (avg) 8 8 0 0 797411126 2621.83 304143 4096.00 194994 Maximum Segment Size (bytes) 1448 I would like to share this result and check if these value ok best,

3 7

tz_vmm application in genode
by Abhay Amala 17 Nov '14

17 Nov '14

Hi I am using tz_vmm example on i.mx53 qsb. In tz_vmm application, i can manage to transfer integer arguments using general registers (e.g. _vm-> state()->r0=100) from secure world to guest VM (linux). How can i place a string (array of characters) arguments within the registers? They can only store value with data type uint32_t. Thanks in advance. Regards, Abhay

2 1

Re: Debug over serial
by Nobody III 13 Nov '14

13 Nov '14

So I should try picocom on both sides? By the way, I'm not using USB for the connection, and both sides will let me access ttyS0. On Nov 12, 2014 1:42 AM, "Christian Helmuth" < christian.helmuth@...1...> wrote: Hello Ben, On Wed, Nov 12, 2014 at 01:59:25AM +0000, Nobody III wrote: > It's not working. Do you have any suggestions? Is there something else I > need to do? I'd suggest you run Linux on both computers and try out if the serial connection is working using the commands Christian Prochaska recommended. In case you're using USB-to-serial, please make sure you connect the serial connector to the COM port of the destined test machine. Also you should make sure that the BIOS settings of the test machine activate the UART/COM. Greets -- 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 ------------------------------------------------------------------------------ Comprehensive Server Monitoring with Site24x7. Monitor 10 servers for $9/Month. Get alerted through email, SMS, voice calls or mobile push notifications. Take corrective actions from your mobile device. http://pubads.g.doubleclick.net/gampad/clk?id=154624111&iu=/4140/ostg.clktrk _______________________________________________ genode-main mailing list genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

3 3

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users