Problem of running L4Linux

Valery V. Sedletski _valerius at
Fri Dec 26 09:23:03 CET 2008

On Wed, 24 Dec 2008 17:28:12 +0800, Adam Chang wrote:

>Dear all:
>    I still have some problem on running L4Linux.
>    I have succeeded install your version of GRUB in my VMware virtual
>disk. And the following is my menu.lst
>When I boot the virtual machine, first the machine start fiasco,
>sigma0 , roottask
>roottask loaded 13 modules,and finally I see these message while I
>failed running L4Linux

>loader	| vmlinuz: Starting application using
>loader	| vmlinuz,#d: Loading binary
>loader	| vmlinuz,#d: Loading ldso
>loader	| vmlinuz,#d: Starting at 000138e0 via 0000cf40
>l4lx	| ======> L4Linux 2.6 starting... <========
>l4lx	| Linux version 2.6.27-l4-svn131 (bread at Bread) (
>l4lx	| Linux version 2.6.27-l4-svn131 (bread at Bread) (gcc version 4.3.2 20081
>l4lx	: 105 (Red Hat 4.3.2-7) (GCC) ) #1 Sat Dec 13 14:15:36 CST 2008
>l4lx	| Binary name: vmlinuz
>l4lx	| Linux kernel command line (5 args): mem=64M load_ramdisk=1 ramdisk_size
>l4lx	: =16384 root=/dev/ram0 l4env_rd=drops.rd
>l4lx	| The running microkernel does not have the
>l4lx	|       segments
>l4lx	| feature enabled!
>    --Microkernel feature missing!---------------------------IP: 00636869
>[l4lx.main] (d.02) jdb:
>And I jumped to the jdb console.

Try compiling Fiasco microkernel with configuration option set: "Handle and preserve segments". This option 
is needed at least for L4Linux. It is needed for manipulating segment registers on IA32 architecture.


More information about the l4-hackers mailing list