Hi!
I'm running Xenomai on Raspberry Pi 3 given by: http://www.cs.ru.nl/lab/xenomai/ and I have some questions. Where can I find information on how often the system timer interrupts for scheduling regarding rt tasks? When using command "dmesg | grep pipe -i" I get : "[ 0.000000] I-pipe, 19.200 MHz clocksource, wrap in 960767920505705 ms [ 0.000000] clocksource ipipe_tsc: mask: 0xffffffffffffffff max_cycles: 0x46d987e47, max_idle_ns: 440795202767 ns [ 0.000894] Interrupt pipeline (release #9) [ 0.171104] Switched to clocksource ipipe_tsc" Is the frequency 19.200MHz how often the scheduler will execute? Regards, Gustav Johansson _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai
