users February 2013

users@lists.genode.org

8 participants
11 discussions

Announcement: Genode OS Framework version 13.02 released
by Norman Feske 28 Feb '13

28 Feb '13

I am delighted to announce the release of Genode version 13.02. The overall theme of this version is improving the framework's platform support. This is most prominently visible in the form of the many NOVA-specific improvements and the addition of the Cortex-A15-based Exynos 5250 SoC. But those are only a small part of the whole story, which is described in full detail in the release notes: http://genode.org/documentation/release-notes/13.02 The release-notes summary follows: - DMA protection via IOMMU (NOVA/x86) - Full virtualization via the Vancouver VMM (NOVA/x86) - Redesigned audio-output support for low latency - Base API and OS infrastructure - New fault-detection facility - New mechanism for file-system notifications - New terminal multiplexer - Device drivers - ACPI support for 64-bit machines - New OMAP4 UART driver - USB support for Samsung Exynos 5250 - Base platforms - Custom kernel platform with added support for Samsung Exynos 5250 and Freescale i.MX53 - NOVA kernel improved for highly dynamic workloads - Fiasco.OC kernel forked, Exynos-5250 support added - Improved memory management on Linux I wish you a lot of fun with exploring the new version! 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

1 0

On memory mapping
by Dmitry Shubin 28 Feb '13

28 Feb '13

Hello. I want to map a single memory page twice to two different virtual addresses with different attributes within a single address space. In particular (for testing purposes) I want to have a piece of memory that is accessible as cacheable and non-cacheable region at different addresses. How can I make this happen? Is this even possible with existing API?

2 1

Native_capability as [out] parameters
by Daniel Waddington 25 Feb '13

25 Feb '13

Hi, Can I pass Native_capability types as [out] parameters using "Native_capability *" type - with the cross-process mapping happening? Most of the examples use only use the return value to do [out] capabilities. i.e. GENODE_RPC(Rpc_foo,int,foo,Genode::Native_capability *) doesn't seem to work, but there might be something else afoot. Daniel

3 8

Update base-foc to use rev. 47
by Dmitry Shubin 20 Feb '13

20 Feb '13

Hello. I've updated Makefile and a patchset to use the latest snapshot of Fiasco.OC. So far I've tested only foc_x86_32 and foc_x86_64 under qemu, but we should be able to test foc_panda and foc_imx53 builds as well soon. The patch is available here on foc-r47 branch: git://github.com/Ksys-labs/genode.git

2 1

What is going on for february release?
by Paul Dufresne 20 Feb '13

20 Feb '13

Well, february 2013 is at our door now, and I would like to remember us of the plan for it according to our 2013 roadmap: -Low-latency audio support The current audio_out-session interface was our first shot into the direction of audio processing. To enable use cases where streaming audio and sporadic sounds must be accommodated at the same time, we need to revise our approach. -IOMMU support on NOVA -First steps of user-interface concept --UI concept for pleasant working environment --Tiled window manager --Terminal improvements (e.g., scroll buffer) --Noux improvements (e.g., signals) -Improved x86 virtualization support --Improved virtualization support (Vancouver on NOVA) I'd like to have a small picture of who is working on what in the previous list. And the current status of things.

3 3

[Genode] who writes data into Thread_base::Context::stack?
by jaeyong yoo 19 Feb '13

19 Feb '13

Hello Genode, I was trying to find what kind of data has been written into Thread_base::Context::stack, but I couldn't. Could you tell me which part of the source code writes data into "Thread_base::Context::stack?" Best regards, Jaeyong

1 1

FYI: Visions on Genode OS development
by Christian Helmuth 13 Feb '13

13 Feb '13

Hello, this morning I stumled upon a blog posting http://allsoftwaresucks.blogspot.de/2013/02/visions-on-genode-os-developmen… by Alexander Tarasikov. 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

1 0

Slides of my talk at FOSDEM 2013
by Norman Feske 11 Feb '13

11 Feb '13

Hello, I greatly enjoyed FOSDEM 2013, and in particular the Microkernel devroom. Thanks for everybody how showed up and especially to those how contributed in the form of talks, demonstrations, and discussions. The slides of my talk are online. You can find them at the top of our publications page: http://genode.org/about/publications The direct link to the PDF file is: http://genode-labs.com/publications/nfeske-genode-fosdem-2013-02.pdf Admittedly, the slides miss the most important ingredients of the talk, which were the various little demonstrations of the topics on the NOVA/Genode-based system that was used throughout the presentation (showing examples for dynamic reconfiguration, a video post-processing pipeline, the tool chain in action, on-target debugging with GDB, and Arora browsing the genode.org website hosted on lighttpd running just as a different subsystem). Still, even without the demos, the slides may give you a rough idea of the topics covered by the talk. Best regards 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

Non-SMP l4Linux build fail
by Nikolay Martyanov 06 Feb '13

06 Feb '13

Hi, all! I've found one strange thing. May be someone here can help me. If I try to build an l4Linux with no-SMP config, it results in a fail. And here, I think, the reason: In l4lx lib we have file l4lx_irq.cc (ports-foc/src/lib/l4lx/l4lx_irq.cc). Here we have a function l4lx_irq_dev_set_affinity() that uses non-lib (regular l4linux) function l4x_cpumask_copy(). This function declared in arch/l4/kernel/main.c In it's turn this function makes the following call: >> cpumask_copy(data->affinity, dest); as you can see, it uses an affinity member of irq_data struct. And this member is under l4linux config control: >> #ifdef CONFIG_SMP >> cpumask_var_t affinity; >> #endif So, as a result, if l4linux config doesn't provide this option - build fails. We can't use the same l4linux config directive in a lib l4lx_irq.cc to "turn off" this chain, because it is not available there. I have to change from SMP version to SMP from time to time, so as a solution I can wrap cpumask_copy(data->affinity, dest); in the same directive, but I don't think it's a good solutions. Have you any ideas? Best regards, Nikolay

2 1

Looks like unnecessary mapping of capability
by jaeyong yoo 03 Feb '13

03 Feb '13

Hello! Genode, >From time to time, I saw something like this: l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, l4_obj_fpage(A.dst(), 0, L4_FPAGE_RWX), B.dst() | L4_ITEM_MAP); I think it looks like a unnecessary mapping, because rather than mapping, we can just copy the capability like this, A = B. Since I'm feeling like I miss something here, could you tell me the difference between two of them? Best regards, Jaeyong

2 6

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users February 2013