Kernel modules for ARM9 Real-Time Linux