users December 2015

users@lists.genode.org

33 participants
26 discussions

FOSDEM 2016 microkernel devroom - submission deadline
by Norman Feske 07 Dec '15

07 Dec '15

Hello everyone, hereby, I'd like to give the reminder that the deadline for contributions to the microkernel developer room at FOSDEM 2016 is approaching. According to Jakub's request for participation, the developer room is open for submissions until December 13: https://lists.fosdem.org/pipermail/fosdem/2015-October/002191.html Personally, I have submitted a talk about my ongoing line of work with bringing seL4 and Genode together. Maybe you have an interesting story to tell about your work, topics for discussions, or a demo? If so, I encourage you to participate in the microkernel developer room! 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

2 1

Reminder: Microkernel-devroom CfP deadline is on this Sunday
by Jakub Jermar 07 Dec '15

07 Dec '15

Hi folks, the CfP deadline for the Microkernel devroom at FOSDEM 2016 is due this Sunday. See the original CfP [1] for information on what to do if you would like to give a talk about some microkernel-related topic. At the same time, I would like to encourage you to submit a talk proposal. It would be shame not to let the wider microkernel community know about the latest and greatest developments in your project. Lastly, please forward this reminder to whoever you think may want to give a talk in the devroom and is not among the recipients of this message. Thanks, Jakub [1] http://trac.helenos.org/wiki/Devroom2016

1 0

memory dump
by Abhay Amala 05 Dec '15

05 Dec '15

Hi everyone, I am running tz_vmm on imx53qsb and thinking about taking a snapshot of the normal world memory inside the tz_vmm app and put into a file as a raw data. I appreciate if anyone give me a hint. Thanks and best regards, Abhay

2 4

Porting Genode to Raspberry Pi 2
by Tamas Bakos 03 Dec '15

03 Dec '15

Hello everyone, I would like to port Genode to the Raspberry Pi 2, using the custom kernel from base-hw. I know it is already available for the Raspberry Pi 1, but model 2 uses an entirely different CPU (ARM Cortex-A7), from a different family (ARMv7-A). I am not very familiar with the structure of the Genode source files yet. Could you help me, by explaining what files I should create or modify, and which files I should take as reference when doing so?(Should I start based on the files of a board using a CPU from the same family (ARMv7-A), or from the files concerning the Raspberry Pi 1?) Thanks,Tamas

2 1

Thoughts about a new live system
by Norman Feske 02 Dec '15

02 Dec '15

Hello, shortly after almost every Genode release, I see people wondering why we have not released a new live system since many years. There are even a few who conclude that the project is not going to get anywhere because there is no easy way to try it out. Because this topic is brought up every now and then, I'd like to share my opinion about it: https://github.com/genodelabs/genode/issues/1000#issuecomment-161260312 I hope that you find my line of thoughts reasonable. If you have ideas or thoughts to add, please don't hesitate to share them. 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 2

Noux port
by Harm de Vries 02 Dec '15

02 Dec '15

Hello all, I would like to get the Mutt email client running in Noux. Could someone give me a few pointers on how to start such a port? Kind regards, Harm

3 5

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users December 2015