Two questions

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Sep 12 13:56:29 CEST 2002


Hi Alexey!

On Thu Sep 12, 2002 at 18:27:18 +0900, Alexey Mandrookin wrote:
> could you explain, where is I should send my mail, into
> maillist or personally to you?

Please use the mailing list. Also consider subscribing (see
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers).

> Latest CVS version complation problem:
> 
> cd l4
> make hello
> ---------------------Start
> here ----------------------------------------------
> make[2]: Entering directory `/home/alman/work/L4/oskit/examples'
> ld -Ttext 100000  -L../lib \
>         -o fdev_test ../lib/multiboot.o fdev_test.o             \
>         -lfdev -lfdev_linux -lkern -lmc -llmm -lfdev -llmm \
>         ../lib/crtn.o
> ../lib/libfdev.a(buf.o): In function `fdev_default_buf_copyin':
> /home/alman/work/L4/oskit/libfdev/buf.c:35: undefined reference to `memcpy'
> ../lib/libfdev.a(buf.o): In function `fdev_default_buf_copyout':
> /home/alman/work/L4/oskit/libfdev/buf.c:45: undefined reference to `memcpy'
> make[2]: *** [fdev_test] Error 1
> make[2]: Leaving directory `/home/alman/work/L4/oskit/examples'
> make[1]: *** [examples/all.MAKE] Error 2
> make[1]: Leaving directory `/home/alman/work/L4/oskit'
> make: *** [oskit] Error 2
> -----------------End here---------------------------------------------------
> 
> I was try to fix that problem by myself, but another error appears in other
> places.

I have no problems using gcc version 2.95.4 20011002 (Debian
prerelease) and GNU ld version 2.12.90.0.1 20020307 Debian/GNU Linux, I
just tried it and it built successfully.

> ---------------------Start
> here ----------------------------------------------
> title Hello world
>  root (hd0,4)
>  module /boot/fiasco/main -nokdb
>  module /boot/fiasco/sigma0
>  module /boot/fiasco/hello
> 
> title L4Linux
>  root (hd0,4)
>  kernel /boot/fiasco/rmgr -configfile -sigma0
>  modaddr=0x03000000
>  module /boot/fiasco/main -nowait
>  module /boot/fiasco/sigma0
>  module /boot/fiasco/rmgr.cfg
>  module /boot/fiasco/glinux root=/dev/hda5
> -----------------End here---------------------------------------------------
> 
> RMGR, which included in source tree: l4/pkg/rmgr/server/examples/rmgr.cfg
> 
> ---------------------Start
> here ----------------------------------------------
> #!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
> 
> ### 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
> -----------------End here---------------------------------------------------
> 
> Linux kernel compiled with default parameters, i.e. "L4Linux options" was
> not changed
> 
> The error message is:
> 
> ---------------------Start
> here ----------------------------------------------
> SIGMA0: Hello!
> RMGR: Hi there!
> RMGR: running on FIASCO
> RMGR: total RAM size = 130623 KB (reported by bootloader)
>    received 103476 LB RAM from sigma0
>      460 KB reserver for RMGR
>      RMGR: received no IO ports
> RMGR: attached irqs = [ <!0> 1 <!2> <!3> 4 5 6 7 <!8> 9 a b c d e f ]
> RMGR: starting task /boot/fiasco/glinux root=/dev/hda5 from
> 0x03065000-0x031897dc
>  to [ 0x003ff000-0x004f0458 0x004f2000-0x0053db74 ]
> RMGR: starting task /boot/fiasco/glinux root=/dev/hda5  (#0x5)
>   at entry 0x3ff000 via trampoline page code 0x54168
> 
> RMGR: task 5.3 at 00516d4a is trying to get page 00000000 which is reserved
> RDB: double page fault
> 
>  --double page fault------------------------------------------EIP: 00122c50
> (4.00) jdb:
> -----------------End here---------------------------------------------------

Just try using some simple setup first, something like:

title L4Linux
kernel (nd)/tftpboot/adam/l4/rmgr -sigma0 task modname "glinux" module
modaddr 0x005A0000
module (nd)/tftpboot/adam/l4/kernel -nowait -serial_esc -serial -comspeed 115200 -comport 1 -nokdb
module (nd)/tftpboot/adam/l4/sigma0
module (nd)/tftpboot/adam/l4l-2.2/glinux no-scroll root=/dev/hda5



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/




More information about the l4-hackers mailing list