users

users@lists.genode.org

3 participants
2323 discussions

Min RAM and ROM footprints
by Daniel Waddington 30 Jan '14

30 Jan '14

Hi, Can someone give me a guestimate (or better) on the minimum RAM and ROM footprints for ARM (lets say PBXA9) for genode-hw and genode+foc, to run a minimal printf program? Also, I wonder if there are other open source microkernels aimed at tiny memory footprints - can you suggest any? Apologies if this question is too vague to answer. Daniel

3 4

mp3-player
by Thomas Huber 29 Jan '14

29 Jan '14

Hi Volks, i just thought to build a hardware mp3 player with one of those creditcard sized SoC boards…. And I would´t write to this mailing list if I don´t intend to try genode for this purpose… So first: Is there someone out who already gone through this adventure?! Second: witch SoC-board would you recommend for this.. I just heard the rumor, that the line-out is weak with the raspberry pi board…. and last but not least: which software stack is probably usable (ideally without porting…) the Music Player Daemon (http://www.musicpd.org/) looks quite interesting ?! Thanks mirac btw: If one of the developers is interested I would donate a Linksys WRT54GL Router (assuming i can find it in my cellar)

1 0

Booting base-hw image on a Freescale i.MX6
by Aditya Kousik 29 Jan '14

29 Jan '14

Hello all, We've tried to run a basic test-printf script on a Freescale i.MX6 sabrelite board. Based on this<http://sourceforge.net/p/genode/mailman/message/31760885/>, we implemented the necessary files. We had also come across an i.MX6 branch by Nikolay Golikov stating that he had a preliminary port of i.MX6 here: https://github.com/decaprox/genode/tree/i.mx6 We ran RUN_OPT="--target=uboot" make run/printf to see if it does print "-1 = -1 = -1" to the serial console (tested with gtkterm). We ran the boot image uImage through TFTP at load address 0x10800000. It loads the kernel (267.9 kB) but stops at "Loading kernel". How do we know if the kernel is indeed running, or are we checking the right UART ports? (we checked UART1) I gave "console=ttymxc0, 115200" as bootargs in u-boot. Any suggestions on how to proceed? Because we are literally stuck. Also, is there a good debugging tool for testing the genode environment on direct hardware? Thanks in advance Aditya Kousik

4 12

My Introduction:
by Peter Lindener 28 Jan '14

28 Jan '14

Dear Genodians- I enter your world wishing / working for a world were we can feel more certain that computing systems can be trusted... is seems clear that those form Genodia have also come to see this vision.. I contacted Martin Stein, regarding his work with running/co-designing Genode's core within an FPGA.... I'm just starting to work with ZedBoard<http://www.zedboard.org/product/zedboard>... He suggested that I might sign up on this mailing list. I am a Information Theoretic Social Decision System Theorist... See our Introductory paper <http://www.votingmatters.org.uk/ISSUE27/I27P1.pdf>published inthe journal Voting Matters<http://www.votingmatters.org.uk/>. from our perspective secure computation will be critical towards the electorate's trust in more advanced, network based social decision systems.

2 4

Genode Porting Guide
by Norman Feske 28 Jan '14

28 Jan '14

Hello, I'd like to point you to a new section of our official documentation: http://www.genode.org/documentation/developer-resources/porting The new "Porting Guide" goes step by step through the process of bringing existing 3rd-party software to Genode. There are dedicated sections for porting libraries, applications, noux packages as well as device drivers. Of course, each porting effort comes with unique challenges. The porting guide is no panacea to overcome all those problems at once. However, it presents a time-tested methodology and contains a lot of practical tips and tricks. Thanks to Josef Söntgen and Sebastian Sumpf for authoring the document! 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

1 0

Virtualization with trustzone into mx53
by panton 23 Jan '14

23 Jan '14

Hello, I want to create a virtualized system with Genode in my imx53 board. At the moment, I am able to run Genode on the board with base-foc and also directly on hardware (base-hw). Thus, my plan was to run a linux kernel as a child node and hopefully run it into trustzone NS. Looking into Genode code I found base-hw/include/vm_session that seems to deal with virtualization. Furthermore there is a trustzone.cc into base-hw/src/core.., but without real useful code. I was wondering if there are implemented virtualization capabilities using trustzone or even without trustzone? If so, it would be great to have an example of how to use it. Thanks in advance for answers! Best regards, Pablo Anton

2 19

About the server Terminal in genode
by jimmy jin 21 Jan '14

21 Jan '14

Hey I am reading the code of the server terminal. how should i modify the code if i want to make it support chinese letters. I am a beginning learner and hope you could make it clear to me. Thank you. Jimmy

2 1

Re: query regarding Qt4
by Christian Helmuth 21 Jan '14

21 Jan '14

Hello Harish, On Tue, Jan 21, 2014 at 09:44:42AM +0530, Harish Krish wrote: > I have developed a qt4 mailing application.Now i would like to port it > on genode operating framework.I am unaware of how to proceed.any > suggestions? Depending on what libraries and runtime components beside Qt you need for your application this project scales from an easy recompile to porting several libraries including their transitive dependencies. The first questions that I would ask myself are: * Does the app work with Qt5? Genode still has Qt4 support but is migrating to Qt5, which means better future prospects. * Which libraries does the app use for POP3/IMAP/SMTP/other protocols? * Are there further dependencies to solve like used runtime tools for mail retrieval/sending? After that step come back to the mailing list and ask specific questions about problems you experienced. Please don't expect the developers on the list to design a holistic solution for your project. A last remark from me: Please stay on the list for discussing Genode development. This way, you have a much broader audience that may find a solution for your issues. Directly addressing specific developers should be an exception (limited to invitation by the devs themselves). Regards and happy hacking -- 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

1 0

Roadmap 2014
by Norman Feske 17 Jan '14

17 Jan '14

Happy New Year everybody! Leaving the year 2013 behind us, it's time to recapture what we achieved in the past 12 months and to lay out the activities for this year. I am planning to update our official road map by mid of January and seek your input for doing so. Review of the past year ----------------------- In 2013, we worked on four construction sites: Framework infrastructure, self-hosting, tooling and optimization, and hardware support. When reviewing the road map for 2013, it is great to see that we largely lived up to our planning. The framework infrastructure was enhanced with concepts for managing CPUs on multi-processor systems and for dynamically balancing memory resources, it received new audio and file-system capabilities, and, with the addition of Qt5 and the lxIP stack, we could enable highly sophisticated workloads natively on Genode. On our endeavour of self-hosting Genode on Genode, we could eliminate long-standing show stoppers for several base platforms. We were able to improve them to the point where we can routinely execute Genode's tool chain across several base platforms such as NOVA and Fiasco.OC as part of our nightly automated tests. On the user-facing side, a new command-line interface has seen the light of the day. Two highlights when it comes to tooling were the new event tracing facilities, and profound support for automated testing. Thanks to the latter, we expose Genode to over 500 test runs including automated performance benchmarks. By executing those tests each night, we have become able to resolve regressions before they enter the master branch. So the master branch remains always in a good shape. As expected for an operating-system project, most of our work was spent on hardware support. On x86, we added IOMMU support, and the virtualization capabilities on NOVA have seen a major upgrade. On ARM, we enabled or vastly enhanced the device drivers for Samsung Exynos 5, Freescale i.MX, and Raspberry Pi. We also explored the possibilities of combining Genode with ARM TrustZone. Only two topics, namely Intel wireless and a new user interface concept had been deferred. We decided to postpone the Intel wireless topic to address gigabit networking instead. Even though the new user-interface concept served as a strong motivation behind many improvements of the base system such as dynamic reconfiguration and dynamic resource balancing, the work on those fundamentals left little room to bring forward the actual GUI concept. Now that those pieces are in place, we can go full steam ahead. The most surprising topic that was not clearly laid out in our last year's road map is the advancement of the base-hw platform. Started as a mere experiment, it received so much love and attention that it unexpectedly became able to host the whole universe of Genode's software stack. What are we up to? ------------------ Well, the answer to this question is not set in stone. Here are my suggestions: * Improved handling of 3rd-party code: Many new users of Genode stumble over the installation of 3rd-party code. It is not obvious to see which packages are required for a particular run script. Instead, users have to deal with confusing error messages when a needed package is not installed. We should definitely fix this inconvenience. * The base-hw platform * Multi-processor support * Kernel-protected capability-based security * Exploring ARM's virtualization extensions * C runtime: * Revisit libc plugin concept to make the configuration of per- process virtual file systems as easy as it is for Noux. By making Noux' VFS implementation reusable for the libc, normal Genode programs could leverage stacked file systems in very flexible ways. * Abandon helper threads in favour for asynchronous I/O handling, improving performance and the simplicity of the libc-internal code. * Storage: The work on the file-system stack is in full swing. Personally, I desire a journaling file system as well as a block cache. * Device drivers: * Intel wireless * Merged SATA drivers: Right now, the high-performance SATA 3.0 driver for the Exynos-5 SoC does not share any code with the older SATA driver for x86. We should consolidate both implementations to get good disk performance on x86. * Virtualization on NOVA/x86: Port of a "mainstream" VMM to Genode/NOVA. I am a fan of the Seoul (ex Vanvouver) VMM. However, I get repeatedly asked for features that people universally expect but that are unavailable on Seoul, i.e., Windows guest support. In the future, I'd like to pull a positive answer to such questions out of my sleeve. * User-interface concept: This topic must look like a running gag, but it is not. :-) * Hardware-accelerated graphics: Even though we looked into this topic some years ago with the experimental port of Gallium3D and the Intel GPU driver, we left the code almost unattended since then. However, with more and more software relying on OpenGL ES2.0 (I am looking at QML in particular), we definitely need to re-address the problem. In the meantime, the Intel Linux graphics stack and Mesa have advanced a lot. So we might even start looking at the problem from scratch. * Noux performance optimizations: The Noux runtime has reached a state where it runs Unix tools including GCC reliably. But it is not very fast in doing so. To make it more pleasant to use Noux for day-to-day work, we should start to optimize. The points above are merely my personal preferences. What are topics that you wish to see in Genode throughout the year 2014? Or are you working on a particular feature that you plan to integrate into Genode? 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

5 7

GI Operating Systems Meeting
by Björn Döbel 17 Jan '14

17 Jan '14

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi all, GI, the German Society of Informatics, comprises a Special Interest Group on Operating Systems, which is meeting twice a year to discuss their current research work. The next meeting will be hosted by TU Dresden in May 2014. Please consider submitting a talk. Title: Secure and Reliable Operating Systems Date: May 22/23 2014, TU Dresden, Dept. of Computer Science Computer systems are an indispensable part of daily life. We can no longer avoid to trust these systems with private data, confidential business information, and even our lives. Therefore, this meeting will focus on operating system mechanisms that enable these systems to provide reliability and security. You are cordially invited to submit talks that address design and implementation of dependable and secure operating systems and runtime environments. These topics include (amongst others): * Design of dependable operating system kernels * Secure application architectures * Infrastructures for Cloud Computing * Secure and dependable embedded systems * Tool support for operating system development Please send an abstract for your talk until March 31st 2014 to BjÃ¶rn DÃ¶bel (doebel@...28...). -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Using GnuPG with Icedove - http://www.enigmail.net/ iEYEARECAAYFAlLY8SgACgkQP5ijxgQLUNk5+ACdHXk4O9fyWtdIkZiAL1sug8xP 8IoAn13iFztObmch50/cp0NImShxpsD6 =MjQ1 -----END PGP SIGNATURE-----

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users