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  <[EMAIL PROTECTED]>
 s  )    http://duff.kuicr.kyoto-u.ac.jp/~okuji (check "okuji.asc" !)

PGP signature

Reply via email to