users

users@lists.genode.org

2 participants
2342 discussions

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

Debug over serial
by Nobody III 12 Nov '14

12 Nov '14

I have a serial cable and have connected two computers with it, but I haven't been able to figure out how to obtain Genode's boot output. I am currently using the fiasco kernel but I will probably later use fiasco.oc and possibly nova. I heard something about telling the kernel which port to use for the serial output. What do I need to do to look at Genode's boot output over serial?

3 4

Performance issues with VBox+Android-x86
by Christian Menard 09 Nov '14

09 Nov '14

Hello everyone, I'm still working on NOVA(64)+VBox+Android_x86 on the Panasonic Toughpad FZ-M1 with Intel Core i5-4302Y CPU (With VT-X). After all the basic stuff is working my problem is that overall performance of the system is very bad. This issue is related to Genode as Android runs fast and with smooth animations on top of Linux+VBox and Linux+Qemu (on the same hardware). Do you have any ideas on what might be causing the performance issues or any hints on where to investigate? Here is what I know so far: I used VBox's built-in performance counters to investigate the issue. Based on these counters I found that a big portion of processing time is spend on 'other' tasks (most often more than 50%). This is described as "Time spent in the VMM or preempted recently." I found that during boot-up a lot of time is spend in the Recompiler, or more specific: on executing recompiled code. Here is an example of the performance counter as found after Android booted to welcome screen: /PROF/REM/Runcode 52808 ticks/call (112541953198 ticks, 2131148 times, max 9428119254, min 116) What surprises me here is the max value. Several billion ticks (should correspond to several seconds of processing time) seems to be very much for instruction emulation. However, only a small amount of time is spend in Runcode once Android is booted up. So if this is an issue, it would only speed up the boot. I also had a look at the graphics backend and found that a significant amount of time is spend on framebuffer updates. Here it might be possible to do some optimizations. However, tests showed that this is a not the major problem. The calculation done between two frames takes too long, in comparison the update of the frame itself is only a minor part. Recently there was a issue and a related commit added on github by Christian Prochaska. https://github.com/genodelabs/genode/issues/1284 I pulled this commit along with a chain of preceding changes. This significantly improved performance to a somewhat usable level but it is still way too slow. So far I did not test if this specific commit or some of the preceding commits are responsible for the increase in performance. All best Christian

2 1

Genode doesn't see init when booting from grub2 on hard drive
by Nobody III 07 Nov '14

07 Nov '14

I've installed Genode on a partition on my hard drive, and configured Grub2 to boot it. However, Genode cannot find the ROM module "init". I configured Grub2 correctly--I used multiboot and added all the modules, including init. Note that I can boot from a cd with no problems besides graphics issues. I don't see any reason for the error besides Grub2 loading the modules differently. Is there any fix to make Genode compatible with Grub2? Could someone else try using Grub2 and see whether they get the same error?

3 3

Binary Compatibility
by Nobody III 06 Nov '14

06 Nov '14

How reasonable would it be to make genode binaries (aside from core and init) compatible across different kernels? It seems that putting kernel-specific code into a shared library would work. How would this affect performance?

2 2

Init Config Security
by Nobody III 06 Nov '14

06 Nov '14

It seems that with the init config files generated by the run scripts, if any server/driver is compromised, it can take over the system, by requesting access to important services, such as those in the <parent-provides> section. It seems that to make init's config secure, one would have to explicitly name every service needed by a server and deny access to all others. Am I correct? If not, please enlighten me.

2 2

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users