users

users@lists.genode.org

3 participants
2349 discussions

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 04 Feb '13

04 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

Hacking core to pass base capabilities.
by Daniel Waddington 01 Feb '13

01 Feb '13

Hi, I am trying to hack Genode's core so that either init, or a child of init, is given the L4_BASE_ICU_CAP. This will allow (as a hack) direct handling of IRQs from the kernel. My problem is, is that I cannot see how to get the native task cap (relevant to the parent process) for the child process (e.g., from the Core_child or Child class) in order to do the task map. Can someone give me some hints? Sorry to be hacking your beautiful design ;) and yes, I know this is bad from a security perspective. Daniel

2 2

[Genode] Possibility of genode capability-selector conflict while thread creation in Fiasco.OC
by jaeyong yoo 31 Jan '13

31 Jan '13

Hello, genode! In Thread_base::start() function, there is a capability inserting part: Cap_index *i = cap_map()->insert(state.id, state.cap); l4_utcb_tcr_u(state.utcb)->user[UTCB_TCR_BADGE] = (unsigned long) i; l4_utcb_tcr_u(state.utcb)->user[UTCB_TCR_THREAD_OBJ] = (addr_t)this; in the above, *state.kcap* is the cap-selector in the Genode CORE (where Cpu_root is there). And, Thread_base::start() function tries to create the capability with the same value of state.kcap (it looks rather than delegating, uses direct value). My question here is that, "could it be possible that the state.kcap value is already taken by some other capability in the Genode application?" Best regards, Jaeyong

2 1

A question regarding thread creation in L4Linux.
by Сергей Грехов 31 Jan '13

31 Jan '13

Hello to everyone! The question is about method l4lx_thread_create() from ports-foc/src/lib/l4lx/l4lx_thread.cc. According to the thread creation procedure in L4lx library, the pointer to VCPU instances are saved in a static array static L4lx::Vcpu* vcpus[L4LX_THREAD_NO_THREADS]; The index within this array is defined by passing UTCB address to function thread_id(). Now, if enable SMP and set two VCPUs, one can see the following strange thing: //creating cpu0 l4lx_thread_create: (vc->utcb() = 44000400) thread_id() = 00000002 TID = 00011000 //everything is fine: pointer to Vcpu instance is saved under id=2 //creating timer l4lx_thread_create: (vc->utcb() = 44000600) thread_id() = 00000001 TID = 00015000 //everything is fine here too: pointer to Vcpu instance is saved under id=1 //creating cpu1 l4lx_thread_create: (vc->utcb() = 44000800) thread_id() = 00000002 TID = 00019000 //something weird is happening here: pointer to Vcpu instance is saved under id=2, previous pointer is lost. Looking inside thread_id() one can find that it uses utcb_base_addr() [which is equal to l4_utcb()] to calculate required index in array. Is it a bug? Should not the utcb_base_addr() be something similar to following expression: (Genode::Native_config::context_area_virtual_base() + THREAD_MAX * Genode::Native_config::context_virtual_size()) ? -- Best regards, Sergey S. Grekhov

2 1

[genode] Label in l4_ipc_wait
by jaeyong yoo 31 Jan '13

31 Jan '13

Hello Genode, I have a question regarding Genode Label in Fiasco.OC kernel. I noticed that Msgbuf_base::label() is the same as the return value of l4_ipc_wait (which is basically genode label): L4_INLINE l4_msgtag_t l4_ipc_wait(l4_utcb_t *utcb, l4_umword_t *label, l4_timeout_t timeout) L4_NOTHROW; label is described as following: * \retval label Label assigned to the source object (IPC gate or IRQ). But, I can not see any corresponding label in ipc call as we can see below: L4_INLINE l4_msgtag_t l4_ipc_call(l4_cap_idx_t object, l4_utcb_t *utcb, l4_msgtag_t tag, l4_timeout_t timeout) L4_NOTHROW; So, here goes the question: Since genode label is passed to the first data of Msgbuf_base::buf, does Fiasco.OC pickup this value and return when l4_ipc_wait function called? Best regards, Jaeyong

2 2

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users