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