rncbc.org a.k.a. Rui Nuno Capela

(I'm running Ubuntu 9.10 Karmic, but also tested this on Jaunty)

For some reason, the real time clock (on IRQ 8) only has its priority set to 50 when the settings are default, which is:
RTIRQ_NAME_LIST="rtc snd usb i8042"

rtc0 is how it shows up when running:
ps -eLo pid,cls,rtprio,pri,nice,cmd | grep -i "irq"
as instructed on the ffado wiki page.

If I change the settings to:
RTIRQ_NAME_LIST="rtc0 snd usb i8042"
Then it gets prioritized properly.

Should rtirq set things properly even when the 0 is omitted, or is it supposed to be necessary to say 'rtc0' instead of just 'rtc'?

Thanks,
trulan