Rtlinux3.2 kernel for embedded real-time Linux development students may be useful. Because of FSMLabs rtlinux sold the copyright to windriver, maintenance on rtlinux Community Edition are no longer available. His official website is no longer available for rtlinux kernel source code. Is not too easy to find on the Internet. Rtlinux3.2 only supports the 2.4.x kernel.