Selon Lee Revell <rlrevell@xxxxxxxxxxx>: > > Hi Antoine, > > Keep in mind also that in -rt the non-preemptible sections are a very > small subset of the kernel code - last time I checked it was just the > timer ISR, the scheduler's SCHED_FIFO code, and the stub ISRs for the > other interrupts. The rest does not need to be audited for > determinism. > > Of course, for "total determinism" you also have to mathematically > prove the hardware behaves as expected... > > Lee > Thank you very much to all for your enlightments. Now it's time for me to test this patch. Antoine -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
