GitHub repository: rvm-rtos/nimbos-driver
Primary language: C
Description: A Linux kernel module to control NimbOS from the guest Linux.