On 23.10.2013 16:46, Salscheider, Niels Ole wrote:
This is what I tried at first, but just passing the physical address to the system call does not work because the assign_gsi syscall expects the address to be mapped.
Yes, you have to map it first inside Code. Look for map_local_phys_to_virt and map_local in base-nova (platform.cc) as examples. With these functions you can obtain a mapping from the kernel to Core and this you may use for assign_gsi call.
Regards,
Alexander Boettcher.