Genode Scheduling TrustZone Demo

Hi,

we are using inject_irq() from Martin Stein to inject interrupts into the normal world VM running Linux.

When measuring the time between issuing inject_irq() and actually arriving at the ISR in normal world (using CPU performance counters in CPU cycles granularity) we can see that this always requires at least 10 million cycles, which is 10ms at 1Ghz and exactly what is defined as cpu_fill_ms in base-hw/src/core/include/kernel/configuration.h.

If we set cpu_fill_ms to 1, we can measure that it only requires 1 million cycles. Apparently it is not possible to set values below 1 (some assertion fails on compile).

Is there another option, probably a more elegant one, that allows the acceleration of interrupt injection?

Best, Stefan.