L4-Linux

[OKUJI Yoshinori]

  Hello.

  I've tried to boot L4-Linux for a while, but I cannot boot it with
too many error printings. For example,

sigma0 denies mapping of address 02666000
No kernel code/data

or,

kernel info page mappt to: 00001000KDB: sig_sched: invalid ext_preempter

  My menu.lst is:

----------------------------------------------------------------------
title= Resource Manager + Linux
root= (hd0,0)
kernel= /l4/rmgr -sigma0 -configfile
module= /l4/main -nowait
module= /l4/sigma0
module= /l4/rmgr.cfg
module= /l4/glinux.gz root=/dev/hda1
----------------------------------------------------------------------

  and my rmgr.cfg is:

----------------------------------------------------------------------
#!rmgr

### this is an example RMGR config file

### first, some global settings

# small address spaces have a size of 64 MB
small_space_size 0x04000000

# wait for key press after initialization
bootwait

### configuration for Sigma0 and RMGR follows

# NOTE: it's generally useless to specify any resource allocation
# constraints for Sigma0 and RMGR here: most will be ignored because
# these tasks statically allocate all of their resources.  That's why
# we only specify bootstrap parameters here.

task sigma0
boot_priority 100

task rmgr
boot_priority 100
# enable next line if you want RMGR to run in small address space # 3
#boot_small 3

# XXX: configuration file itself is needed.

task modname "cfg"

### configuration for boot modules follows

task modname "glinux"			# make sure this entry
					# corresponds to a Linux server
boot_small 2				# small address space # 2
boot_priority 100
boot_mcp 0x90				# maximum controlled priority
log_mcp 0x90				# logical maximum controlled priority
					# -- useful if "boot_mcp 0"
child max 512 in [10, 1023]		# at most 512 child tasks in that range
memory in [0, 0x02000000]		# use only lower 32 MB RAM
high_memory in [0xc0000000, 0xffffffff]	# use only hi memory in that range
small in [1,3]				# allow these small address
					# spaces to be allocated
# enable next line if you want to disallow allocation if IRQs 3 and 4
# (IRQs for serial lines COM2 and COM1)
#irq mask 0xffffffe7			

end
----------------------------------------------------------------------

  Any suggestions?


Thanks,
OKUJI
----------------------------------------------------------------------
~o o~    OKUJI Yoshinori  <okuji at kuicr.kyoto-u.ac.jp>
 s  )    http://duff.kuicr.kyoto-u.ac.jp/~okuji (check "okuji.asc" !)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 285 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/19981106/d9a70ddf/attachment.sig>