OS /
RTLinuxReal Time in LinuxRTLinux allows Real-Time tasks to run on a system which is also running regular Linux applications. This is accomplished by a RT executive (or hypervisor) which schedules and executes the RT tasks and the Linux kernel. RT tasks share an address space and also run in kernel-mode. For instructions on installing an RTLinux patched kernel, see RT Patch. L4RTLThis should really be on its own page. Link the seL4 page to it when you make it. |