users July 2015

users@lists.genode.org

24 participants
28 discussions

netperf
by Анна Будкина 07 Jun '16

07 Jun '16

Hello! I'm running netperf TCP_STREAM and TCP_MAERTS tests for lxip stack and i obtained extremely low result - 5x10^6 bits/s while the maximum throughput is 1000 mbit/s . I wonder what could be the reason for that. Anna

6 16

i.mx53qsb and ARM Trustzone Techology
by Joseph Lee 10 Dec '15

10 Dec '15

Hi >From the article in this link http://genode.org/documentation/articles/trustzone , I understood that the DDR RAM in i.mx53 QSB is partitioned off between normal world and secure world. I just want to read a file in the normal world from application running in the secure side. Is there any possibility to get access to any file in normal world from the secure world? thanks for your help in advance. Regards, Joseph

3 7

exploring Mesa in Genode
by Jamey Sharp 03 Oct '15

03 Oct '15

Good day all! By way of introduction: I learned about Genode because of the recent release's experimental support for seL4. Then I noticed that one of the open challenges is to implement a better architecture for direct-rendered 3D. I've been hacking on X for years and wanting to play with 3D on a microkernel, so now I'm trying to figure out what it'd take to tackle the Mesa rework challenge. As a first step, I had trouble following the "getting started" directions. I've filed/commented on GitHub issues for code related things. In the web site documentation, you might mention that you're relying on SDL version 1.2, not the current version 2.0 (in Debian, libsdl1.2-dev). And to get the isohybrid tool I needed the Debian package named syslinux-utils. http://genode.org/documentation/developer-resources/getting_started Now that I can run the linux_x86 and okl4_x86 demos, what steps would you recommend for trying to prototype a multi-process 3D infrastructure? Jamey

6 19

missing pci_drv driver
by Guido Witmond 09 Aug '15

09 Aug '15

Hello Genodians, I'm about to test your new tg3 driver on my system. However, I cannot get genode to compile. I've got the latest genodelabs/genode repos checked out. This is the part that's breaking: diff --git a/repos/ports/run/lighttpd.run b/repos/ports/run/lighttpd.run index 60b9937..8148fe9 100644 --- a/repos/ports/run/lighttpd.run +++ b/repos/ports/run/lighttpd.run @@ -6,6 +6,7 @@ set build_components { core init + drivers/pci drivers/nic drivers/timer app/lighttpd @@ -41,7 +42,17 @@ append config { <provides><service name="Timer"/></provides> </start>} -append_platform_drv_config +#append_platform_drv_config +append_if [have_spec pci] config { + <start name="pci_drv"> + <resource name="RAM" quantum="4M"/> + <provides><service name="PCI"/></provides> + <config> + <policy label="nic_drv"> + <pci bus="0x10" device="0" function="0"/> + </policy> + </config> + </start>} append config { <start name="nic_drv"> In short: I need the pci driver to attach the nic_drv to the correct device, one of three available ethernet cards. It gives this error: make run/lighttpd ... Error: target 'drivers/pci' does not exist ... Where do I get the pci-driver from, it's missing in repos/os/src/drivers Cheers, Guido.

2 3

TrustZone: forcing instant switch from secure to normal world?
by David Goltzsche 04 Aug '15

04 Aug '15

Hi Genode team & list, in my master's thesis I built a framework, which enables cross-world-communication between the normal and secure world. This was based on your tz_vmm demo. If this sounds familiar: I already posted a few questions on this list related to my thesis ;) My framework relied on periodic world switches triggered by Genode's scheduler (The normal world is running within a Genode thread, so the scheduler prevents both worlds from starving). Of course, simply waiting for world switches leads to high latencies and a low throughput. To speed things up, we already improved the communication from normal to secure world: The normal world instantly hands over control to the secure world utilizing the smc instruction, when a message is available. We extended the hypercall handler in the Vmm class to notify the receiver via a semaphore. Unfortunately, forcing a world switch from secure to normal world does not seem to be that easy: Genode's monitor mode implementation cannot handle entries from the secure world. Hence, usage of the smc instruction is not possible. So, my approach would be using software interrupts which sould be routed to the normal world. I played around with the svc (supervisor call) instruction, but I don't know how to route this to the secure world. Any hints? Thanks in advance David -- M.Sc. David Goltzsche Institute of Operating Systems and Computer Networks Distributed Systems Group TU Braunschweig www: https://www.ibr.cs.tu-bs.de/users/goltzsch mail: goltzsche@...290...

3 7

Data Communication btw Normal and Secure World in IMX53_QSB
by JaeminPark 03 Aug '15

03 Aug '15

I’m currently developing a simple trustzone device driver running in Normal World to communicate with Genode in Secure World. I’m using IMX53 QSB, Genode 15.02 as Secure OS, and customized Linux as OS for Normal World. In Normal World, my simple device driver calls smc instruction inside module_init(). The instruction is invoked with the command structure (named by “struct smc_cmd”). The physical address of "struct smc_cmd" is passing to Genode via _vm->state()->r1. There exists two physical addresses inside “struct smc_cmd": one for request buffer and the other for response buffer where the response buffer is allocated by kzalloc(). For the address conversion, I used virt_to_phys(). In Secure World (Genode), I’m modifying the tz_vmm source code for this experiment. I’m succeed in reading the request buffer from Normal World by directly accessing the physical address of the request buffer : PINF("req_buf = %s (0x%x)", (char*)((struct smc_cmd*)cmd_addr)->req_buf_phys, ((struct smc_cmd*)cmd_addr)->req_buf_phys); Ridiculously and Unfortunately, I’m in trouble to write some characters in response buffer (whose address is the physical address of Normal World). I used Genode::memcpy() to write the characters as follows where cmd_addr is the physical address of the command structure passed from Normal World : /* acquire data to be written into memory space of normal world */ Genode::memcpy(tmp, (const char*) "From Secure World", strlen("From Secure World")); tmp[17] = '\0'; /* write a data into resp_buf_phys */ Genode::memcpy((char*)((struct smc_cmd*)cmd_addr)->resp_buf_phys, (const char*) tmp, sizeof(tmp)); /* printout contents of memory for debug */ PINF("res_buf = %s (0x%x)", (char*)((struct smc_cmd*)cmd_addr)->resp_buf_phys, ((struct smc_cmd*)cmd_addr)->resp_buf_phys); It seems that the writing operation in Secure World is successful since the last PINF() shows me the “From Secure World” in console. However, when I read the address (converted from the physical address using phys_to_virt()) in my device driver, I can only see the empty string (initial status). My questions are : Do I need another approach to write the physical memory of Normal World in the side of Genode? Is there any simple example or any volunteer to share an example for this kind of operation? Is there any comment to implement this kind of example?

3 2

Running multiple L4Linux scenarios
by Thotheolh Tay 31 Jul '15

31 Jul '15

Hi, Is the current Genode builds in the repository capable of running multiple L4Linux instances above Genode ? I noticed that running the ISO image generated from the builds opens a single L4Linux instance and it would be useful to have an entry point of sorts to reach into the Genode layer to manage the L4Linux instances that runs above it (like launching more instances or deleting instances). What are the directions I have to head into to implement something like a context switcher to move between scenarios if the above mentioned features are not available ? -- +---------------------------------------------------------+ | PGP Secure Email Key ID:6FBFC19D | +---------------------------------------------------------+

1 0

Genode as a mobile operating system
by Nobody III 30 Jul '15

30 Jul '15

One possible target for Genode, aside from PCs and development boards, would be smartphones. The security measures tend to be "don't install this app if you don't want to give it these permissions." With Genode, this problem is easy to fix. Also, security exploits would be a lot harder. It seems to make sense to make a mobile operating system with Genode. We could use Cyanogenmod and/or Android code for app and hardware support. I have an old working android phone that I would be happy to use to test this, and will probably have another available within a few weeks. Note that there are no official Cyanogenmod ports for either device, but there might be an unofficial port for one of them.

4 4

SD card driver in ODROID-X2 (exynos4412)
by Humberto López León 29 Jul '15

29 Jul '15

Hi community, my team and I are working on the implementation of a driver for SD cards in the ODROID-X2 (exynos4412). This driver we want to incorporate into the framework GenodeOS, but we have some doubts in implementation. Below I list a few: 1- We are implementing the controller DWMMC. This is the right controller to handle the SD card in the exynos4412? The SDHCI controller is most appropriate? 2- What exynos4412 SoC base address should be used for handling the SD card? 3- What is the IRQ associated with handling SD tajetas with DWMMC controller? 4- To use the DWMMC controller you need to configure GPIO ports? 5- What clocks should be initialized to handle SD cards? Anybody know any document that describes the initialization process of an SD card? We have been reviewing the implementation of the driver for the SD card in the U-Boot and Linux kernel, but have not resolved the questions above. Thank you for your help !!

1 0

running VirtualBox on Genode
by Daren Sin 29 Jul '15

29 Jul '15

Hi all, I've seen the Genode website, and I noticed that it is possible to run VirtualBox on Genode. I'm currently running Genode on a NOVA hypervisor. What should I do to get VirtualBox running on Genode? Thank you!

5 15

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users July 2015