Hi! I tried to run Fiasco-L4Linux on Xscale board. I'm using L4Linux-2.6.17 version. First, I made a bootstap image (=bootstrap.raw) and loaded on Xscale and run it. But some server programs' ranges were overlapped, so I fixed some server programs' DEFAULT_RELOC_arm address, and then started working. During the boot process, "Warning: Unable to open an initial console" is warned and halt. I checked on boot process after ram disk is loaded, dev file path lookup fails.. So as to mount dev file system again after loading ram disk, I added "devfs options" to fs/Kconfig. And then the warning message is not presented. But after that, I got a new error message --------------------------------------------------------------------------------------------- Assertion failed: 'space() == current_space()' in /home/jowkju/project/Microkernel/Fiasco/Fiasco_Xscale/l4/kernel/fiasco/src/kern/thread- pagefault.cpp:82 at f0005400 --------------------------------------------------------------------------------------------- This error may occur during the "init" program in ram disk execute. However, there may not be errors in init program because it works well in the 2.6.16 version. And maybe the problem occurs during the context switching between "init" program and other threads... The following is the whole messages from boot starts. --------------------------------------------------------------------------------------------- Starting kernel... Hello from Startup::stage2 Initialize page table Vmem_alloc::init() allocated zero page @0xf0400000[phys=0xa3800000] Vmem_alloc::TEST allocate zero-mapped page... [0xefc00000] done free zero-mapped page... done allocate zero-filled page... [0xefc01000] done free zero-filled page... done allocate no-zero-filled page... [0xefc02000] done free no-zero-filled page... done SERIAL ESC: allocated IRQ 22 for serial uart Not using serial hack in slow timer handler. Welcome to Fiasco(arm)! DD-L4(x0)/arm microkernel (C) 1998-2006 TU Dresden Rev: Fri Sep 15 09:49:11 2006 compiled with gcc 3.4.4 for XScale SIGMA0[2.0]: Hello World! SIGMA0: KIP is at: a0001000 SIGMA0 free region: : a0000000, a3ffffff SIGMA0 alloc region: : a0000000, a003ffff owner: 1 SIGMA0 alloc region: : a004c000, a005f7ff owner: 1 SIGMA0 alloc region: : a3800000, a3ffffff owner: 1 Roottask. Command line found: "roottask task modname "bmodfs" module module module module module" 66172kB ( 64MB) total RAM (reported by bootloader) 56652kB ( 56MB) received RAM from Sigma0 7868kB ( 8MB) reserved RAM for RMGR Roottask: Parsing command line config. configured task 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:5 Roottask: Loading 12 modules. #05: loading "names" from [a146c000-a14761a4] to [a0109000-a0110e20][a0111000-a011b000] entry at a0041060 via trampoline page code #06: loading "log" from [a1477000-a148730c] to [a0160000-a0167f18][a0168000-a01956d4] entry at a004205c via trampoline page code #07: loading "dm_phys -v" from [a1488000-a14a61a4] to [a01b0000-a01c4c78][a01c5000-a01ce000] entry at a0043064 via trampoline page code #08: loading "simple_ts -t 10" from [a14a7000-a14ba30c] to [a0290000-a029a1f0][a029b000-a02a35a0] entry at a0044068 via trampoline page code #09: loading "l4exec" from [a14bb000-a14f71a4] to [a01e0000-a0212348][a0213000-a022c000] entry at a0045060 via trampoline page code #0a: loading "bmodfs" from [a14f8000-a151d1a4] to [a0240000-a025b0a8][a025c000-a0273000] passing module libloader.s.so [ a151e000-a1547eec ] passing module shared_test [ a1548000-a1549700 ] passing module vmlinuz26.arm [ a154a000-a173c5b4 ] passing module rd1 [ a173d000-a1b3d000 ] passing module l4linux.cfg [ a1b3d000-a1b3d0b0 ] entry at a00460ec via trampoline page code #0b: loading "loader --fprov=BMODFS l4linux.cfg" from [a1b3e000-a1b721a4] to [a02c0000-a02eaff4][a02eb000-a0309000] entry at a004707c via trampoline page code simplets| Configured for 10 tasks. DMphys | DMphys memory map: DMphys | phys. memory 0xa0000000-0xa4000000 (from L4 kernel info page) DMphys | using 0xa0000000-0xa4000000 DMphys | Memory area Pool PS Flags DMphys | 0xa0000000-0xa0068000 -- -- RESERVED DMphys | 0xa0068000-0xa00bb000 -- -- DENIED DMphys | 0xa00bb000-0xa00cf000 -- -- RESERVED DMphys | 0xa00cf000-0xa0109000 0 12 MAPPED DMphys | 0xa0109000-0xa011b000 -- -- DENIED DMphys | 0xa011b000-0xa0160000 0 12 MAPPED DMphys | 0xa0160000-0xa0196000 -- -- DENIED DMphys | 0xa0196000-0xa01b0000 0 12 MAPPED DMphys | 0xa01b0000-0xa01cd000 -- -- RESERVED DMphys | 0xa01cd000-0xa01e0000 0 12 MAPPED DMphys | 0xa01e0000-0xa022c000 -- -- DENIED DMphys | 0xa022c000-0xa0240000 0 12 MAPPED DMphys | 0xa0240000-0xa0273000 -- -- DENIED DMphys | 0xa0273000-0xa0290000 0 12 MAPPED DMphys | 0xa0290000-0xa02a4000 -- -- DENIED DMphys | 0xa02a4000-0xa02c0000 0 12 MAPPED DMphys | 0xa02c0000-0xa0309000 -- -- DENIED DMphys | 0xa0309000-0xa0400000 0 12 MAPPED DMphys | 0xa0400000-0xa1500000 0 20 MAPPED DMphys | 0xa1500000-0xa151e000 0 12 MAPPED DMphys | 0xa151e000-0xa1b3e000 -- -- DENIED DMphys | 0xa1b3e000-0xa1c00000 0 12 MAPPED DMphys | 0xa1c00000-0xa3800000 0 20 MAPPED DMphys | 0xa3800000-0xa4000000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 48960KB total, 48960KB free, 32KB reserved DMphys | 0xa00cf000-0xa0109000 ( 232KB, 0MB) DMphys | 0xa011b000-0xa0160000 ( 276KB, 0MB) DMphys | 0xa0196000-0xa01b0000 ( 104KB, 0MB) DMphys | 0xa01cd000-0xa01e0000 ( 76KB, 0MB) DMphys | 0xa022c000-0xa0240000 ( 80KB, 0MB) DMphys | 0xa0273000-0xa0290000 ( 116KB, 0MB) DMphys | 0xa02a4000-0xa02c0000 ( 112KB, 0MB) DMphys | 0xa0309000-0xa151e000 ( 18516KB, 18MB) DMphys | 0xa1b3e000-0xa3800000 ( 29448KB, 29MB) bmodfs | Passed the following modules: bmodfs | module "libloader.s.so" (168kB) bmodfs | module "shared_test" (6kB) bmodfs | module "vmlinuz26.arm" (1994kB) bmodfs | module "rd1" (4096kB) bmodfs | module "l4linux.cfg" (1kB) loader | sleeping for 1000 ms exec | vmlinuz26.arm: Loading exec | vmlinuz26.arm: Interpreter section found, contains "/usr/lib/ld.so.1" exec | vmlinuz26.arm: Has no symbols exec | vmlinuz26.arm: Has no lines exec | libloader.s.so: Loading exec | libloader.s.so: Has no symbols exec | libloader.s.so: Has no lines exec | libloader.s.so: Relocating to 00010000 exec | libloader.s.so: Linking exec | libloader.s.so: Symbol l4sys_fixup_abs_syscalls is weak and undefined exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Relocating entry 00006400 => 00016400 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26.arm: Setting section flag 0800 loader | vmlinuz26.arm: Starting l4env-style application loader | vmlinuz26.arm,#c: Starting at l4loader_init (00016440) exec | vmlinuz26.arm: Linking exec | vmlinuz26.arm: Relocating entry 00216000 => 00216000 loader | vmlinuz26.arm,#c: Continue at l4env_init (00016b60, libloader.s.so) l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.17-l4 (jowkju@jowk) (gcc version 3.4.4) #44 Sat Oct l4lx : 14 12:21:10 KST 2006 l4lx | Binary name: vmlinuz26.arm l4lx | Kernel command line (9 args): root=1:0 mem=16M load_ramdisk=1 ramdisk l4lx : _size=4096 l4env_rd=rd1 console=ttyLv0 l4ser.vkey_irq=46 panicblink=0 l4lx : lang=us l4lx | Image: 00200000 - 00434000 [2256 KiB]. l4lx | Areas: Text: 00200000 - 0039c000 [1648kB] (a bit longer) l4lx | Data: 0039c000 - 003e2fb0 [283kB] l4lx | Initdata: 00200000 - 00215000 [84kB] l4lx | BSS: 003e8000 - 00434000 [304kB] l4lx | l4lx_thread_create: Created thread 0c.03 (tamer) l4lx | Using tamed mode. l4lx | l4lx_thread_create: Created thread 0c.04 (server) l4lx | main thread will be 0c.04 l4lx | l4env_register_pointer_section: addr = 00200000 size = 2310144 l4lx | sec-w-init: virt: 0x00200000 to 0x00433fff [2256 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 4, 2310144 Bytes l4lx | l4env_linux_startup thread 4. l4lx | sec-w-init: 1: Phys: 0xa0309000 to 0xa04a1000, Size: 1671168 l4lx | sec-w-init: 2: Phys: 0xa011b000 to 0xa0160000, Size: 282624 l4lx | sec-w-init: 3: Phys: 0xa00cf000 to 0xa0109000, Size: 237568 l4lx | sec-w-init: 4: Phys: 0xa0273000 to 0xa0290000, Size: 118784 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 16MB l4lx | Main memory: virt: 0x00500000 to 0x014fffff [16384 KiB] l4lx | Main memory: Number of physical regions: 1, 16777216 Bytes l4lx | Main memory: 1: Phys: 0xa2800000 to 0xa3800000, Size: 16777216 l4lx | Filling lower ptabs... l4lx | Done (650 entries). l4lx | l4env_rd_path: rd1 l4lx | Loading: rd1 l4lx | INITRD: Size of RAMdisk is 4096KiB l4lx | RAMdisk from 01500000 to 01900000 [4096KiB] l4lx | l4lx_thread_create: Created thread 0c.05 (IRQ CPU0) l4lx | l4lx_thread_create: Created thread 0c.06 (timer.i0) Linux version 2.6.17-l4 (jowkju@jowk) (gcc version 3.4.4) #44 Sat Oct 14 12:21:10 KST 2006 CPU: Fiasco [0001f000] revision 0 (ARMv4) cpu_sa1100_proc_init Machine: L4 Memory policy: ECC disabled, Data cache writeback CPU0: D write-through cache CPU0: cache: 512 bytes, associativity 1, 8 byte lines, 64 sets INITRD: 01500000 - 01900000 Built 1 zonelists Kernel command line: root=1:0 mem=16M load_ramdisk=1 ramdisk_size=4096 l4env_rd=rd1 console=ttyLv0 l4ser.vkey_irq=46 panicblink=0 lang=us l4lx_irq_init: l4lx_irq_max = 50 l4lx_irq_init: creating IRQ thread on cpu 0 irq_thread: Starting IRQ thread on CPU 0 PID hash table entries: 128 (order: 7, 512 bytes) l4lx_irq_timer_startup(0) timer_irq_thread: Starting timer IRQ thread. l4ser_init_ports Dentry cache hash table entries: 4096 (order: 2, 16384 bytes) Inode-cache hash table entries: 2048 (order: 1, 8192 bytes) Memory: 5MB 16MB = 21MB total Memory: 16152KB available (1556K code, 608K data, 84K init) Mount-cache hash table entries: 512 ROOT FS, MOUNT TREE INITIALIZATION COMPLETED checking if image is initramfs...it isn't (bad gzip magic numbers); looks like an initrd INITRD: Freeing memory. NET: Registered protocol family 16 NET: Registered protocol family 2 l4lx | l4lx_thread_create: Created thread 0c.07 (Idler) IP route cache hash table entries: 256 (order: -2, 1024 bytes) TCP established hash table entries: 1024 (order: 0, 4096 bytes) TCP bind hash table entries: 512 (order: -1, 2048 bytes) TCP: Hash tables configured (established 1024 bind 512) TCP reno registered NetWinder Floating Point Emulator V0.97 (double precision) devfs: 2004-01-31 Richard Gooch (rgooch@atnf.csiro.au) devfs: devfs_debug: 0x0 devfs: boot_options: 0x1 io scheduler noop registered (default) L4 serial driver l4ser_init_ports ttyLv0 at MMIO 0x1 (irq = 46) is a L4 RAMDISK driver initialized: 16 RAM disks of 4096K size 1024 blocksize nbd: registered device at major 43 ts: Compaq touchscreen protocol output TCP bic registered NET: Registered protocol family 1 NET: Registered protocol family 17 RAMDISK: ext2 filesystem found at block 0 RAMDISK: Loading 4096KiB [1 disk] into ram disk... done. VFS: Mounted root (ext2 filesystem) readonly. Mounted devfs on /dev execve for /sbin/init Allocated 0d.00 Assertion failed: 'space() == current_space()' in /home/jowkju/project/Microkernel/Fiasco/Fiasco_Xscale/l4/kernel/fiasco/src/kern/thread-pagefault.cpp:82 at f0005400 Return reboots, "k" enters L4 kernel debugger... BUG: soft lockup detected on CPU#0! --------------------------------------------------------------------------------------------- How can I solve this problem?? One thing to notice is that there's no problem like the above in the previous version of l4linux. In the previous version, boot process works well. Again, how can I solve this problem?? Thank you