Cannot start roottask

Hi.

I can't have roottask running with L4Ka::pistachio. I've tried to run
the pingpong test program and also a handly-written simple helloworld
program.

I've tried on both Qemu and real netbooting machine. I've also tried
several kernel configuration, without any results.

With qemu and a gdb stub, the entry point of the roottask is never
reached (whereas sigma0 seems to start).

Here is a sample kernel config I've tried :

#
# Automatically generated, don't edit
#
# Generated on: soma
# At: Sun, 06 Apr 2008 23:14:32 +0000
# Linux version 2.6.24-ARCH (root@T-POWA-LX) (gcc version 4.3.0 (GCC)
) #1 SMP PREEMPT Mon Mar 24 11:54:58 UTC 2008

#
# Pistachio Kernel Configuration System
#

#
# Hardware
#

#
# Basic Architecture
#
CONFIG_ARCH_X86=y
# CONFIG_ARCH_POWERPC is not set
# CONFIG_ARCH_POWERPC64 is not set


#
# X86 Processor Architecture
#
CONFIG_SUBARCH_X32=y
# CONFIG_SUBARCH_X64 is not set


#
# Processor Type
#
# CONFIG_CPU_X86_I486 is not set
CONFIG_CPU_X86_I586=y
# CONFIG_CPU_X86_I686 is not set
# CONFIG_CPU_X86_P4 is not set
# CONFIG_CPU_X86_K8 is not set
# CONFIG_CPU_X86_C3 is not set
# CONFIG_CPU_X86_SIMICS is not set


#
# Platform
#
CONFIG_PLAT_PC99=y

# CONFIG_SMP is not set

#
# Miscellaneous
#
# CONFIG_IOAPIC is not set



#
# Kernel
#
CONFIG_IPC_FASTPATH=y
CONFIG_DEBUG=y
CONFIG_DEBUG_SYMBOLS=y
# CONFIG_EXPERIMENTAL is not set
# CONFIG_SPIN_WHEELS is not set
# CONFIG_NEW_MDB is not set
CONFIG_X86_SMALL_SPACES=y
# CONFIG_X86_IO_FLEXPAGES is not set


#
# Debugger
#
# CONFIG_KDB is not set

#
# Consoles
#
# CONFIG_KDB_CONS_OF1275 is not set
# CONFIG_KDB_CONS_PSIM_COM is not set

# CONFIG_KDB_BREAKIN_BREAK is not set
# CONFIG_KDB_BREAKIN_ESCAPE is not set
# CONFIG_KDB_INPUT_HLT is not set
# CONFIG_KDB_NO_ASSERTS is not set


#
# Code Generator Options
#


#
# Derived symbols
#
# CONFIG_HAVE_MEMORY_CONTROL is not set
CONFIG_X86_PSE=y
# CONFIG_BIGENDIAN is not set
# CONFIG_X86_SYSENTER is not set
# CONFIG_X86_PGE is not set
# CONFIG_X86_FXSR is not set
CONFIG_IS_32BIT=y
# CONFIG_X86_HTT is not set
# CONFIG_X86_PAT is not set
# CONFIG_IS_64BIT is not set
# CONFIG_MULTI_ARCHITECTURE is not set
# CONFIG_X86_EM64T is not set
# CONFIG_X86_SMALL_SPACES_GLOBAL is not set
CONFIG_X86_TSC=y
#
# That's all, folks!


Thx for any help.

--
Julian Pidancet