users December 2014

users@lists.genode.org

25 participants
34 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

Re: Genode Hack'n Hike 2013
by Norman Feske 23 Mar '15

23 Mar '15

Hello everyone, the date for this year's Genode Hack'n Hike held during 11-16 of September is approaching. Genode's developers will spend those days in the beautiful scenery of the Bohemian Switzerland, relaxing, hiking, and hacking on fun side projects. The Hack'n Hike will be the perfect setting for getting involved with the community, catching up, or just hanging out with the Genode crowd. There is still room for more participants. Genode Labs sponsors the event. So your participation/accommodation is free. If you like to join in, please get in touch by writing to hacknhike@...1... or commenting on https://github.com/genodelabs/genode/issues/793. Cheers Norman On 07/25/2013 02:38 PM, Norman Feske wrote: > Hello, > > let me get back to this year's Genode Hack'n Hike planned for the 11th > to 16th of September. Since I posted the initial announcement (below), > we settled for a beautiful location in the Bohemian Switzerland in Czech > Republic. Check out the following links for wetting your appetite: > > http://goo.gl/maps/TAZc1 > http://www.kristinhradek.cz/en > > The location lends itself to a multitude of leisure activities. For > planning those activities and to discuss topics around the Hack'n Hike > event, there is a dedicated issue in the Genode issue tracker: > > https://github.com/genodelabs/genode/issues/793 > > Please feel welcome to join in, whether to stay the whole time or just > for a short visit. Genode Labs will sponsor the accommodation, but the > available space is limited. If you consider to join this year's Hack'n > Hike, please send a short notice to the following email address to > register your participation: > > hacknhike@...1... > > Cheers > Norman > > On 06/05/2013 12:42 PM, Norman Feske wrote: >> Hello, >> >> I'd like to share the following excerpt of the latest Genode-Labs >> newsletter with you: >> >> >> Join us at Genode's Hack'n Hike event >> ------------------------------------- >> >> In spring of 2012, we held the first instance of the Genode Hack'n >> Hike, which were wonderful days full of hacking, relaxing, brain- >> storming, and enjoying the magnificent nature of the Saxon Switzerland >> together. From the feedback we got from the attendees, it goes >> without saying that this should not stay a singular event, but >> rather be the prelude of a tradition. Hence, we have fixed the date >> for this year's Hack'n Hike: >> >> Begin: Wednesday, September 11 >> End: Monday, September 16 >> >> We extended the duration of the event over that of last year's. >> Whether you'd like to drop by for just a few hours, or you'd like to >> stay for the whole time, you are welcome to join in. Genode Labs >> will sponsor the accommodation. So don't worry too much about the >> costs. >> >> As of now, we haven't finalized the decision about the venue, but >> you can be sure that it will be a beautiful and romantic place, >> presumably in Saxony/Germany or Bohemian Switzerland in Czech >> Republic. If you have particular preferences regarding the >> accommodation or leisure-time activities, then the best time to get >> in touch with us is now. Also, if you plan attending, we'd greatly >> appreciate a short notice, which will help us with planning ahead. >> Please write to: >> >> hacknhike@...1... >> >> We at Genode Labs are looking forward to the gathering of the Genode >> community in autumn and would love to welcome you! >> >> ------ >> >> For the full newsletter, please refer to >> >> http://genode-labs.com/news/newsletter/newsletter-2013-05 >> >> 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 ------------------------------------------------------------------------------ Introducing Performance Central, a new site from SourceForge and AppDynamics. Performance Central is your source for news, insights, analysis and resources for efficient Application Performance Management. Visit us today! http://pubads.g.doubleclick.net/gampad/clk?id=48897511&iu=/4140/ostg.clktrk _______________________________________________ Genode-announce mailing list Genode-announce(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-announce

2 1

Progress of bringing Genode to seL4
by Norman Feske 12 Mar '15

12 Mar '15

Hello, I have written up the first of a series of articles about using seL4 as base platform for the Genode OS framework: http://genode.org/documentation/articles/sel4_part_1 I hope that it contains useful bits of information for novices of seL4 and Genode alike. Even though the article outlines a few hurdles, the overall experience of using the kernel had been overly positive so far. For those of you interested in tracking the progress of the ongoing work, here is the corresponding topic branch: https://github.com/nfeske/genode/commits/sel4 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

3 3

AHCI (cont)
by Nobody III 08 Jan '15

08 Jan '15

Gmail is strugging with sending one or more of my emails, so I've created a new email thread. Basically, AHCI isn't working with part_blk for me. I am running genode (foc_x86_32) on real hardware. With rom_blk, part_blk works fine. With ahci, it freezes. I have found the line of code in part_blk relevant to the freezing to be the following part of partition_table.h: _session(Driver::driver().session()) Any help?

3 7

VBox influences applications running on other CPUs
by Christian Menard 06 Jan '15

06 Jan '15

Hello again, this issue is related to my previous message. My goal is not only to run VBox+Android but also some other secure applications in parallel. Therefore I introduced a small server that multiplexes the Input and Framebuffer session so that it is possible to switch between Android and Nitpicker based on a key stroke. I attached a runscript to illustrate the setup. In my setup VBox+Android are executed on one CPU and everything else runs on another CPU. This SMP setup is necessary as otherwise Android stops booting up. Parallel load during startup of Android seems to have some influence and stops execution of the VM, but so far I could not identify the reason. To the problem: Not only the performance of Android is very bad, but the whole system feels slow and unresponsive. Applications like liquid_framebuffer are significantly slowed down when VBox is running. This happens also when the VM is actually in a halted state. I find it very strange that VBox running on one CPU has such a strong impact on the performance of Apps running on another CPU. It leaves me wondering if there is something wrong with synchronization or the scheduler itself. Do you have any ideas or hints? All best Christian

2 6

tz_vmm on imx6
by chirag garg 06 Jan '15

06 Jan '15

Hi all, I was trying to run tz_vmm script over the imx6 platform. In which i have put Genode OS image (printf script) as a guest OS in the Normal world to test the switching between the Secure world to the Normal world. And the following is the output I am getting.. Starting kernel ... kernel initialized Genode 14.11 int main(): --- create local services --- Inside platform services 0 Inside platform services 1 Inside platform services 2 Inside platform services 3 int main(): --- start init --- int main(): transferred 250 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] service "VM" [init] child "tz_vmm" [init] RAM quota: 3932160 [init] ELF binary: tz_vmm [init] priority: 0 [init -> tz_vmm] Start virtual machine ... kernel initialized Genode 14.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 509 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init -> test-printf] -1 = -1 = -1 [init] virtual void Genode::Child_policy::exit(int): child exited with exit value 0 [init -> tz_vmm] The last message on the window is [init -> tz_vmm] and nothing happens after that. Could you please let me know if this is the correct output? Regards Chirag Garg IIT Madras , Rise Lab

3 4

Roadmap 2015
by Norman Feske 03 Jan '15

03 Jan '15

Hello everybody, with New Year in sight, it is time to make up our minds regarding the plans for 2015. Everyone of you is invited to suggest directions that you find worthwhile to pursue - or even better - share your concrete plans with us. I intend to finalize the road map for 2015 by mid of January. Personally, I have three ambitions, namely the use of Genode as general-purpose OS, the base-hw kernel, and the seL4 kernel. Let me briefly revisit each of them. Genode as general-purpose OS ---------------------------- We made big steps for pursuing Genode as general-purpose OS on x86-based platforms. I'd particularly like to highlight the following achievements: * The use of Rump kernels as file-system providers * VirtualBox with support for shared folders and guest networking * Intel wireless stack * New GUI stack That said, even though we are proud about the progress, we are still not there yet. So what keeps us back? I think that the answer is actually not technical. My observation is that each of us developers used to concentrate on individual features or technical challenges. But the integration of sophisticated system scenarios was left to only a few of us. Such integration feats were mainly motivated by a particular project or by a presentation. In order to make Genode fit for regular use, we will first need to make the composing of advanced systems a habit for most of the regular developers. I'd like to keep the topic as first priority in 2015 but concentrate less on features (as I think the feature set for us developers is fairly complete) but more on looking at Genode in a holistic way. I would like to see the following things realized: * A system booting from USB storage, which contains a VirtualBox instance running a regular Linux-based OS besides native Genode components. A shared folder is to be used to bridge both worlds. We start out with working in the guest OS and then successively move functionalities over to the Genode world. Those functionalities are: * Editing text, e.g., using Vim in a Noux environment * Creating and starting Genode configurations on the fly * Using a web browser in Genode * Moving emails to the Genode world * Use the Genode tool chain * Using Git I expect that we will stumble over several small issues and inconveniences on our way, which gives us the right motivation to rectify those things. * A way to easily install and use pre-packaged Genode subsystems. I'd like to remove the burden to compile Qt5 + WebKit for everyone who wants to use a web browser on Genode. * Tools for looking at the system at runtime to identify performance hot spots. I'd love it identify strangely behaving components as easily as running 'top' on Linux. * A solid solution for platform drivers (supporting MSIs and the hot-plugging of devices). I.e., I'd like to access the content of a plugged-in USB stick without the need to reboot the machine. * The evolution of our capability-based desktop environment, driven by our actual requirements stemming from the daily use of Genode. The system should be fun to use and put the user in control at all times. * Making Genode components and libraries binary compatible across different kernels. I see this as a prerequisite to offer binary packages of Genode subsystems. The new dynamic linker introduced in Genode 14.11 is an important step. The next step is the unification of the Genode API across all kernels. Base-hw kernel -------------- In 2014, our base-hw kernel made the transformation from a research vehicle to a feasible base platform for Genode. The past year brought a huge jump in terms of performance, MP support, a clean internal structure, and a new scheduler. In 2015 it will eventually become product-quality software. The only missing element is the support for capability-based security, which is being worked on right now. For base-hw, my wish list looks as follows: * Capability-based security * Integration of our existing ARM virtualization research seL4 kernel ----------- I feel that the seL4 kernel and Genode could complement each other rather well. The use of seL4 as kernel would make Genode very appealing in application areas where both the kernel's formal verification and Genode's broad feature set are desired. From the perspective of the seL4 developers, Genode would represent the first true microkernel-based general-purpose OS running on their kernel. I would hope that, by supporting seL4 as kernel for Genode, we may create an incentive for both developer teams to start collaborating more closely. These are my thoughts. I am looking forward to your ideas and comments. 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

9 23

TrustZone Address Space Controller
by Franc sylvester 02 Jan '15

02 Jan '15

Hi all, I have two query to understand Genode basics. I am not able to understand the explanation given for Bitfield at line #140 in repos/base/include/util/register.h " Bitfields are read and written according to their range, so if we have a 'Bitfield<2,3>' and write '0b11101' to it only '0b101' (shiftet by 2 bits) is written." can any body explain me what it means for ? Stefan and Martin, I was trying to understand implemented TZASC driver in Genode for vea9x4 board. can you suggest me some sources which have information used in repos/os/src/server/tz_vmm/vea9x4/tsc_380.h Regards Franc

2 2

Re: Roadmap 2015
by unknown＠example.com 30 Dec '14

30 Dec '14

Hello everyone, I don't have suggestions for devs, but I would like to share my goals for 2015 and solicit some suggestions on how to prioritize my own work. This summer I started converting the Make build system to a Nix build system, which seemed dubious at times to even me, but I have reached a point where I think things will get exciting. I would like to emphasize that this isn't a criticism of the current system, I just find the properties of Nix very interesting and this is an effort to fold the Genode into the way I have been composing my legacy OS. I have not been modifying any Genode code, and I have no intentions of writing new components without Make rules. I have a few directions that I could and would like to go with this, and I'd like to know which path of investigation sounds most interesting to any of you. * Formally benchmark Nix performance against Make. * Generate binary packages using existing Nix continuous integration tools and Make rules for fetching them. * Adapt the Nix packages collection to build its existing packages for Noux. This similar to how packages may be built for Darwin or BSD, Â Â I would abort converting Make rules for anything not required for bootstrapping a Noux toolchain. * Work towards running virtualizing instances of NixOS, building the Genode host and the NixOS guest concurrently. I have had success related to virtualizing, I have managed to integrate my build expressions with the NixOS system expression on my host machine, installing a NOVA scenario to my boot partition and GRUB menu. One could obviously do this with a set of scripts calling make, but in this way the Genode components are treated as system dependencies just as my linux host would treat its system services. I think the next logical step in this line of thought would be to build my Linux host system as an image optimized for Seoul, but I am traveling at the moment and virtualizing Seoul scenarios has been slow going with only a single laptop. Emery (I apologize if this email does not thread properly.)[1]

3 4

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users December 2014