users

users@lists.genode.org

1 participants
2310 discussions

Start a nNew thread

Raspberry Pi SD Card Driver
by Nobody III 27 Nov '14

27 Nov '14

Is there a driver available for the Raspberry Pi's SD Card? If so, how do I use it?

2 2

base-hw rpi: compiling UART driver fails
by Nobody III 27 Nov '14

27 Nov '14

When I try to compile the genode UART driver for the raspberry pi, I get the following output: Program drivers/uart/pl011/uart_drv COMPILE main.o /home/kingtux/Downloads/genode-master/repos/os/src/drivers/uart/pl011/main.cc:17:24: fatal error: pl011_defs.h: No such file or directory compilation terminated. /home/kingtux/Downloads/genode-master/repos/base/mk/generic.mk:56: recipe for target 'main.o' failed make[2]: *** [main.o] Error 1 var/libdeps:1771: recipe for target 'uart_drv.prg' failed make[1]: *** [uart_drv.prg] Error 2 Makefile:209: recipe for target 'gen_deps_and_build_targets' failed make: *** [gen_deps_and_build_targets] Error 2 Can anyone fix this or help me understand what's going on?

2 2

Priorities
by Nobody III 27 Nov '14

27 Nov '14

How exactly do priorities work in Genode (e.g. do higher-priority tasks get access to the CPU at the expense of lower-priority tasks whenever they want, or is it more like the Linux scheduler's niceness?)

1 0

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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users