L4Re
- Running Linux on top of L4
Latest release: 7.0
L4Linux
What's new?
Overview
Papers & reports
Status
Download
Building
Using
In Action
Demo
FAQ
Reporting Bugs
Who did this?
Related work
 
Links
OS Group Dresden
L4Re.org
Quick jumps
plain
l4env version
con

Using L4Linux-2.4

Note, this version of L4Linux is not maintained anymore.

"plain" version

Basically works in the same way as booting the "hello" program. Don't forget to add the modname "vmlinuz" module bits to the rmgr command line, otherwise loading the RAMdisk won't work. A menu.lst entry for GRUB could look like this: 

  title L4Linux-2.4
  kernel (nd)/tftpboot/rmgr -sigma0 task modname "vmlinuz" module
  modaddr 0x02000000
  module (nd)/tftpboot/fiasco -nowait -nokdb -serial_esc -comspeed 115200 -comport 1
  module (nd)/tftpboot/sigma0
  module (nd)/tftpboot/vmlinuz.V2 no-scroll no-hlt l4irqack=linux load_ramdisk=1 ramdisk_size=16384 root=/dev/ram
  module (nd)/tftpboot/drops.rd

"l4env" version

The "l4env" version is a bit more complicated. You need some L4 servers and additionally (for now) a tftp server. The loader will also load the libloader.s.so library from the (nd)/tftpboot directory, so it should be there. 

  title L4Linux-2.4 on L4Env
  kernel (nd)/tftpboot/rmgr -sigma0 task modname "L4Linux task"
  modaddr 0x02000000
  module (nd)/tftpboot/fiasco -nowait -nokdb -serial_esc -comspeed 115200 -comport 1
  module (nd)/tftpboot/sigma0
  module (nd)/tftpboot/names
  module (nd)/tftpboot/log
  module (nd)/tftpboot/dm_phys
  module (nd)/tftpboot/simple_ts -t 300
  module (nd)/tftpboot/l4io --noirq
  module (nd)/tftpboot/tftp -i
  module (nd)/tftpboot/l4exec
  module (nd)/tftpboot/loader (nd)/tftpboot/cfg/l4linux.l4env

(nd)/tftpboot/cfg/l4linux.l4env is a loader configuration file, an example could look like this: 

  modpath "(nd)/tftpboot"

  task "vmlinuz.l4env" "l4irqack=linux mem=64M no-scroll load_ramdisk=1 ramdisk_size=16384 root=/dev/ram l4env_rd=(nd)/tftpboot/drops.rd"
    priority 0xA0

Again, this examples uses a RAMdisk, using the disk is equally possible, provided the drivers in L4Linux are available.

Use with "con"

L4Linux can also be used with the "con" console system. For that you have to link L4Linux with the con-stub from l4/pkg/con/examples/linux24_stub_lib and enable "Connect to DROPS console" in the configuration menu. 

  ...
  module (nd)/tftpboot/con --l4io
  module (nd)/tftpboot/loader (nd)/tftpboot/run (nd)/tftpboot/cfg/l4linux.l4env

Via the run application you can even start multiple L4Linux instances (use Shift-Fx to switch between consoles, in the run console use "l" and enter the configuration file: (nd)/tftpboot/cfg/l4linux.l4env). You should use a RAMdisk for that case and configure Linux so that multiple L4Linux instances don't access the same hardware/device concurrently.
Check out the screenshot page to see how this looks like.

Last modified: Fri, Apr 14 2006, 14:37