Tools

To compile L4Ka you need gcc 2.95.2 and binutils 2.9.5. In the download section you find pre-compiled binutils and gcc for the different platforms. Our reference development platform is Linux.

Uwe adopted objdump to dump inlined x86 kernel debugger statements nicely. Both, a patch as well as a pre-compiled binary (Linux, glibc2.1) are available.

If you are a FreeBSD zealot and you have question about getting the kernel compiled ask Espen Skoglund (espen@l4ka.org). Volkmar Uhlig (volkmar@l4ka.org) runs Windows NT/2000 and VMWare with Linux as his development environment.

Boot-Loader

On x86 you should use GRUB as your boot loader.

For Brutus we use Angelboot which is available for download. The DNARD board has a built-in TFTP boot loader.

VMWare serial-line gateway for Windows NT/2000

VMWare supports redirecting a serial port to a named pipe. But, unfortunately you cannot find any terminal program which supports named pipes.
VMWareGateway is a WindowsNT service which redirects a named pipe to a TCP port for easy kernel debugging on Windows NT.


	Mail to webmaster	© 2000-2009 University of Karlsruhe