users

users@lists.genode.org

2285 discussions

Re: FOSDEM microkernel dinner
by Michael Engel 01 Feb '14

01 Feb '14

Hey all, where exactly? Just arrived at grand place... Michael On Feb 1, 2014 10:31 AM, Julian Stecklina <jsteckli@...28...> wrote: > > Hello fellow microkernel hackers, > > for those of you at FOSDEM: Some of us want to meet up for dinner > tonight. I suggest we meet on Grand Place / Grote Markt at 20:30. This > should leave everyone enough time to drop off their stuff at the hotel > and get to the city center. > > Julian > > _______________________________________________ > l4-hackers mailing list > l4-hackers@...28... > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

1 0

Genode Userland Licensing
by buzz heavyyear 30 Jan '14

30 Jan '14

Hi, I've been searching back over previous mail postings on userland licensing for Genode, but haven't really found anything pertinent. Could someone possibly make a definitive comment on this - what is the license for any code sitting on top of Genode? If it's pure GPLv2 then I, for one, am stuck as I will have no control on what third parties will place on the application level. CheersNick

2 6

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users