Hello,
how do you test L4 on an ARM platform? Do you have specific hardware for that purpose? You mentioned that you use ARM Integrator boards. As there are several integrator boards available: which one exactly do you use? Do you use other boards as well? I'm asking because I plan to buy an ARM board which is supported out of the box without the need to modify drivers.
Do you additionally use software simulators to test L4? If so, which one do you use? I tried Skyeye to simulate an ARM integrator board as well as a SA1100-board but didn't get any output over the serial line. Qemu doesn't work either and terminates with the following error: "qemu: uncaught target signal 11 (Segmentation fault) - exiting".
Kind regards, Daniel
Hi,
On Mon Jun 18, 2007 at 16:21:10 +0200, Daniel Vandersee wrote:
how do you test L4 on an ARM platform? Do you have specific hardware for that purpose? You mentioned that you use ARM Integrator boards. As there are several integrator boards available: which one exactly do you use? Do you use other boards as well? I'm asking because I plan to buy an ARM board which is supported out of the box without the need to modify drivers.
I'm using Qemu with the integrator targets it offers. I could never test on a real Integrator board.
Do you additionally use software simulators to test L4? If so, which one do you use? I tried Skyeye to simulate an ARM integrator board as well as a SA1100-board but didn't get any output over the serial line. Qemu doesn't work either and terminates with the following error: "qemu: uncaught target signal 11 (Segmentation fault) - exiting".
Qemu works just fine for me and I cannot remember any crash of Qemu itself when using it. I've never used skyeye (as Qemu always worked ok for me).
Adam
Hi,
Adam Lackorzynski schrieb:
Qemu works just fine for me and I cannot remember any crash of Qemu itself when using it. I've never used skyeye (as Qemu always worked ok for me).
Qemu-arm seems to crash no matter which ARM board I choose. It crashes always at the same location (the first instruction of the __main function - see below) although the base address differs from board to board:
bootstrap.image: file format elf32-littlearm
Disassembly of section .text:
01000000 <_start>: 1000000: e59f3024 ldr r3, [pc, #36] ; 100002c <.text+0x2c> 1000004: e583d000 str sp, [r3] 1000008: e59fd02c ldr sp, [pc, #44] ; 100003c <.text+0x3c> 100000c: e59f3020 ldr r3, [pc, #32] ; 1000034 <.text+0x34> 1000010: e5830000 str r0, [r3] 1000014: e59f3014 ldr r3, [pc, #20] ; 1000030 <.text+0x30> 1000018: e5831000 str r1, [r3] 100001c: e59f3014 ldr r3, [pc, #20] ; 1000038 <.text+0x38> 1000020: e5832000 str r2, [r3] 1000024: eb0001c7 bl 1000748 <__main> 1000028: eafffffe b 1000028 <_start+0x28> 100002c: 01009068 tsteq r0, r8, rrx
...
01000748 <__main>: 1000748: e52de004 str lr, [sp, #-4]! 100074c: eb000943 bl 1002c60 <hw_init> 1000750: e59f0044 ldr r0, [pc, #68] ; 100079c <.text+0x79c>
Regards, Daniel
On Tue Jun 19, 2007 at 17:12:47 +0200, Daniel Vandersee wrote:
Hi,
Adam Lackorzynski schrieb:
Qemu works just fine for me and I cannot remember any crash of Qemu itself when using it. I've never used skyeye (as Qemu always worked ok for me).
Qemu-arm seems to crash no matter which ARM board I choose. It crashes always at the same location (the first instruction of the __main function - see below) although the base address differs from board to board:
When Qemu itself crashes something is strange with your Qemu. I wouldn't look at the guest code at all then. Which version of Qemu are you using?
Adam
Hello,
after I was able to get Fiasco to work with serial output under Qemu (Skyeye still doesn't output anything), I'm trying to get L4Linux to work with the ARM integrator. Attached you will find a boot log as well as my kernel configuration. I tried to remove as much as possible device drivers. Do I have to enable/disable some kernel options? I would greatly appreciate any help. Btw. for some reason I had to link <l4linux>/lib/lib.a to <l4linux>/arch/l4/lib/arch-arm/lib.a manually.
Daniel
# # Automatically generated make config: don't edit # Linux kernel version: 2.6.21-l4 # Thu Jun 28 19:02:18 2007 #
# # L4Linux configuration # CONFIG_L4=y CONFIG_L4_LINUX=y CONFIG_L4_OBJ_TREE="../build/l4" CONFIG_L4_L4ENV=y # CONFIG_L4_ARCH_X86 is not set CONFIG_L4_ARCH_ARM=y CONFIG_HZ=100 CONFIG_PHYSICAL_START=0x0 # CONFIG_L4_ARM_PLATFORM_GENERIC is not set CONFIG_L4_ARM_PLATFORM_INTEGRATOR=y # CONFIG_L4_ARM_PLATFORM_ISG is not set
# # L4 build options # CONFIG_L4_MK_CPU_ARM="int"
# # IRQ Handling # # CONFIG_L4_IRQ_SINGLE is not set # CONFIG_L4_IRQ_OMEGA0 is not set CONFIG_L4_IRQ_MULTI=y
# # Stub drivers # # CONFIG_L4_BLK_DRV is not set # CONFIG_L4_PDSPBLK_DRV is not set # CONFIG_L4_ORE_DRV is not set CONFIG_L4_SERIAL=y CONFIG_L4_SERIAL_CONSOLE=y # CONFIG_L4_NEED_DSI is not set # CONFIG_L4_NEED_INET_NTOA is not set # CONFIG_L4_DROPSCON is not set
# # Debugging options # # CONFIG_L4_DEBUG is not set
# # Advanced options # CONFIG_L4_L4ENV_MEMSIZE=32 CONFIG_L4_TAMED=y
# # Priority configuration # CONFIG_L4_PRIO_USER_PROCESS=10 CONFIG_L4_PRIO_IRQ_OFFSET=129 CONFIG_L4_PRIO_SERVER=100
# # Monitoring options (ferret) #
# # # CONFIG_ARM=y CONFIG_SYS_SUPPORTS_APM_EMULATION=y # CONFIG_GENERIC_GPIO is not set # CONFIG_GENERIC_TIME is not set CONFIG_MMU=y # CONFIG_NO_IOPORT is not set CONFIG_GENERIC_HARDIRQS=y CONFIG_TRACE_IRQFLAGS_SUPPORT=y CONFIG_HARDIRQS_SW_RESEND=y CONFIG_GENERIC_IRQ_PROBE=y CONFIG_RWSEM_GENERIC_SPINLOCK=y # CONFIG_ARCH_HAS_ILOG2_U32 is not set # CONFIG_ARCH_HAS_ILOG2_U64 is not set CONFIG_GENERIC_HWEIGHT=y CONFIG_GENERIC_CALIBRATE_DELAY=y CONFIG_ZONE_DMA=y CONFIG_VECTORS_BASE=0xffff0000 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
# # Code maturity level options # CONFIG_EXPERIMENTAL=y CONFIG_BROKEN_ON_SMP=y CONFIG_INIT_ENV_ARG_LIMIT=32
# # General setup # CONFIG_LOCALVERSION="" CONFIG_LOCALVERSION_AUTO=y CONFIG_SYSVIPC=y # CONFIG_IPC_NS is not set CONFIG_SYSVIPC_SYSCTL=y CONFIG_POSIX_MQUEUE=y # CONFIG_BSD_PROCESS_ACCT is not set # CONFIG_TASKSTATS is not set # CONFIG_UTS_NS is not set # CONFIG_AUDIT is not set # CONFIG_IKCONFIG is not set CONFIG_SYSFS_DEPRECATED=y # CONFIG_RELAY is not set CONFIG_BLK_DEV_INITRD=y CONFIG_INITRAMFS_SOURCE="" # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set CONFIG_SYSCTL=y CONFIG_EMBEDDED=y CONFIG_UID16=y CONFIG_SYSCTL_SYSCALL=y # CONFIG_KALLSYMS is not set # CONFIG_HOTPLUG is not set CONFIG_PRINTK=y CONFIG_BUG=y CONFIG_ELF_CORE=y CONFIG_BASE_FULL=y CONFIG_FUTEX=y CONFIG_EPOLL=y CONFIG_SHMEM=y CONFIG_SLAB=y CONFIG_VM_EVENT_COUNTERS=y CONFIG_RT_MUTEXES=y # CONFIG_TINY_SHMEM is not set CONFIG_BASE_SMALL=0 # CONFIG_SLOB is not set
# # Loadable module support # # CONFIG_MODULES is not set
# # Block layer # # CONFIG_BLOCK is not set
# # System Type # # CONFIG_ARCH_AAEC2000 is not set # CONFIG_ARCH_INTEGRATOR is not set # CONFIG_ARCH_REALVIEW is not set # CONFIG_ARCH_VERSATILE is not set # CONFIG_ARCH_AT91 is not set CONFIG_ARCH_L4=y # CONFIG_ARCH_CLPS7500 is not set # CONFIG_ARCH_CLPS711X is not set # CONFIG_ARCH_CO285 is not set # CONFIG_ARCH_EBSA110 is not set # CONFIG_ARCH_EP93XX is not set # CONFIG_ARCH_FOOTBRIDGE is not set # CONFIG_ARCH_NETX is not set # CONFIG_ARCH_H720X is not set # CONFIG_ARCH_IMX is not set # CONFIG_ARCH_IOP32X is not set # CONFIG_ARCH_IOP33X is not set # CONFIG_ARCH_IOP13XX is not set # CONFIG_ARCH_IXP4XX is not set # CONFIG_ARCH_IXP2000 is not set # CONFIG_ARCH_IXP23XX is not set # CONFIG_ARCH_L7200 is not set # CONFIG_ARCH_NS9XXX is not set # CONFIG_ARCH_PNX4008 is not set # CONFIG_ARCH_PXA is not set # CONFIG_ARCH_RPC is not set # CONFIG_ARCH_SA1100 is not set # CONFIG_ARCH_S3C2410 is not set # CONFIG_ARCH_SHARK is not set # CONFIG_ARCH_LH7A40X is not set # CONFIG_ARCH_OMAP is not set CONFIG_MACH_L4=y CONFIG_CPU_SA1100=y
# # Processor Type # CONFIG_CPU_32=y CONFIG_CPU_32v4=y CONFIG_CPU_ABRT_EV4=y CONFIG_CPU_CACHE_V4WB=y CONFIG_CPU_CACHE_VIPT=y CONFIG_CPU_TLB_V4WB=y
# # Processor Features # # CONFIG_OUTER_CACHE is not set
# # Bus support #
# # PCCARD (PCMCIA/CardBus) support #
# # Kernel Features # # CONFIG_PREEMPT is not set # CONFIG_NO_IDLE_HZ is not set # CONFIG_AEABI is not set # CONFIG_ARCH_DISCONTIGMEM_ENABLE is not set CONFIG_SELECT_MEMORY_MODEL=y CONFIG_FLATMEM_MANUAL=y # CONFIG_DISCONTIGMEM_MANUAL is not set # CONFIG_SPARSEMEM_MANUAL is not set CONFIG_FLATMEM=y CONFIG_FLAT_NODE_MEM_MAP=y # CONFIG_SPARSEMEM_STATIC is not set CONFIG_SPLIT_PTLOCK_CPUS=4 # CONFIG_RESOURCES_64BIT is not set CONFIG_ZONE_DMA_FLAG=1
# # Boot options # CONFIG_ZBOOT_ROM_TEXT=0 CONFIG_ZBOOT_ROM_BSS=0 CONFIG_CMDLINE="" # CONFIG_XIP_KERNEL is not set # CONFIG_KEXEC is not set
# # Floating point emulation #
# # At least one emulation must be selected # # CONFIG_FPE_NWFPE is not set # CONFIG_FPE_FASTFPE is not set
# # Userspace binary formats # CONFIG_BINFMT_ELF=y CONFIG_BINFMT_AOUT=y CONFIG_BINFMT_MISC=y # CONFIG_ARTHUR is not set
# # Power management options # # CONFIG_PM is not set
# # Networking # CONFIG_NET=y
# # Networking options # # CONFIG_NETDEBUG is not set CONFIG_PACKET=y # CONFIG_PACKET_MMAP is not set CONFIG_UNIX=y CONFIG_XFRM=y # CONFIG_XFRM_USER is not set # CONFIG_XFRM_SUB_POLICY is not set # CONFIG_XFRM_MIGRATE is not set # CONFIG_NET_KEY is not set CONFIG_INET=y # CONFIG_IP_MULTICAST is not set # CONFIG_IP_ADVANCED_ROUTER is not set CONFIG_IP_FIB_HASH=y CONFIG_IP_PNP=y # CONFIG_IP_PNP_DHCP is not set # CONFIG_IP_PNP_BOOTP is not set # CONFIG_IP_PNP_RARP is not set # CONFIG_NET_IPIP is not set # CONFIG_NET_IPGRE is not set # CONFIG_ARPD is not set # CONFIG_SYN_COOKIES is not set # CONFIG_INET_AH is not set # CONFIG_INET_ESP is not set # CONFIG_INET_IPCOMP is not set # CONFIG_INET_XFRM_TUNNEL is not set # CONFIG_INET_TUNNEL is not set CONFIG_INET_XFRM_MODE_TRANSPORT=y CONFIG_INET_XFRM_MODE_TUNNEL=y CONFIG_INET_XFRM_MODE_BEET=y CONFIG_INET_DIAG=y CONFIG_INET_TCP_DIAG=y # CONFIG_TCP_CONG_ADVANCED is not set CONFIG_TCP_CONG_CUBIC=y CONFIG_DEFAULT_TCP_CONG="cubic" # CONFIG_TCP_MD5SIG is not set # CONFIG_IPV6 is not set # CONFIG_INET6_XFRM_TUNNEL is not set # CONFIG_INET6_TUNNEL is not set # CONFIG_NETWORK_SECMARK is not set # CONFIG_NETFILTER is not set
# # DCCP Configuration (EXPERIMENTAL) # # CONFIG_IP_DCCP is not set
# # SCTP Configuration (EXPERIMENTAL) # # CONFIG_IP_SCTP is not set
# # TIPC Configuration (EXPERIMENTAL) # # CONFIG_TIPC is not set # CONFIG_ATM is not set # CONFIG_BRIDGE is not set # CONFIG_VLAN_8021Q is not set # CONFIG_DECNET is not set # CONFIG_LLC2 is not set # CONFIG_IPX is not set # CONFIG_ATALK is not set # CONFIG_X25 is not set # CONFIG_LAPB is not set # CONFIG_ECONET is not set # CONFIG_WAN_ROUTER is not set
# # QoS and/or fair queueing # # CONFIG_NET_SCHED is not set
# # Network testing # # CONFIG_NET_PKTGEN is not set # CONFIG_HAMRADIO is not set # CONFIG_IRDA is not set # CONFIG_BT is not set # CONFIG_IEEE80211 is not set
# # Device Drivers #
# # Generic Driver Options # CONFIG_STANDALONE=y CONFIG_PREVENT_FIRMWARE_BUILD=y # CONFIG_DEBUG_DRIVER is not set # CONFIG_DEBUG_DEVRES is not set # CONFIG_SYS_HYPERVISOR is not set
# # Connector - unified userspace <-> kernelspace linker # # CONFIG_CONNECTOR is not set
# # Memory Technology Devices (MTD) # # CONFIG_MTD is not set
# # Parallel port support # # CONFIG_PARPORT is not set
# # Plug and Play support # # CONFIG_PNPACPI is not set
# # SCSI device support # # CONFIG_SCSI_NETLINK is not set
# # Serial ATA (prod) and Parallel ATA (experimental) drivers #
# # Fusion MPT device support # # CONFIG_FUSION is not set
# # IEEE 1394 (FireWire) support #
# # I2O device support #
# # Network device support # CONFIG_NETDEVICES=y # CONFIG_DUMMY is not set # CONFIG_BONDING is not set # CONFIG_EQUALIZER is not set # CONFIG_TUN is not set
# # PHY device support # # CONFIG_PHYLIB is not set
# # Ethernet (10 or 100Mbit) # CONFIG_NET_ETHERNET=y CONFIG_MII=y # CONFIG_SMC91X is not set # CONFIG_DM9000 is not set
# # Ethernet (1000 Mbit) #
# # Ethernet (10000 Mbit) #
# # Token Ring devices #
# # Wireless LAN (non-hamradio) # # CONFIG_NET_RADIO is not set
# # Wan interfaces # # CONFIG_WAN is not set # CONFIG_PPP is not set # CONFIG_SLIP is not set # CONFIG_SHAPER is not set # CONFIG_NETCONSOLE is not set # CONFIG_NETPOLL is not set # CONFIG_NET_POLL_CONTROLLER is not set
# # ISDN subsystem # # CONFIG_ISDN is not set
# # Input device support # CONFIG_INPUT=y # CONFIG_INPUT_FF_MEMLESS is not set
# # Userland interfaces # # CONFIG_INPUT_MOUSEDEV is not set # CONFIG_INPUT_JOYDEV is not set # CONFIG_INPUT_TSDEV is not set # CONFIG_INPUT_EVDEV is not set # CONFIG_INPUT_EVBUG is not set
# # Input Device Drivers # # CONFIG_INPUT_KEYBOARD is not set # CONFIG_INPUT_MOUSE is not set # CONFIG_INPUT_JOYSTICK is not set # CONFIG_INPUT_TOUCHSCREEN is not set # CONFIG_INPUT_MISC is not set
# # Hardware I/O ports # # CONFIG_SERIO is not set # CONFIG_GAMEPORT is not set
# # Character devices # CONFIG_VT=y CONFIG_VT_CONSOLE=y CONFIG_HW_CONSOLE=y # CONFIG_VT_HW_CONSOLE_BINDING is not set # CONFIG_SERIAL_NONSTANDARD is not set
# # Serial drivers # # CONFIG_SERIAL_8250 is not set
# # Non-8250 serial port support # CONFIG_SERIAL_CORE=y CONFIG_SERIAL_CORE_CONSOLE=y CONFIG_UNIX98_PTYS=y CONFIG_LEGACY_PTYS=y CONFIG_LEGACY_PTY_COUNT=256
# # IPMI # # CONFIG_IPMI_HANDLER is not set
# # Watchdog Cards # # CONFIG_WATCHDOG is not set CONFIG_HW_RANDOM=y # CONFIG_NVRAM is not set # CONFIG_DTLK is not set # CONFIG_R3964 is not set
# # TPM devices # # CONFIG_TCG_TPM is not set
# # I2C support # # CONFIG_I2C is not set
# # SPI support # # CONFIG_SPI is not set # CONFIG_SPI_MASTER is not set
# # Dallas's 1-wire bus # # CONFIG_W1 is not set
# # Hardware Monitoring support # # CONFIG_HWMON is not set # CONFIG_HWMON_VID is not set
# # Misc devices #
# # Multifunction device drivers # # CONFIG_MFD_SM501 is not set
# # LED devices # # CONFIG_NEW_LEDS is not set
# # LED drivers #
# # LED Triggers #
# # Multimedia devices # # CONFIG_VIDEO_DEV is not set
# # Digital Video Broadcasting Devices # # CONFIG_DVB is not set
# # Graphics support # # CONFIG_BACKLIGHT_LCD_SUPPORT is not set CONFIG_FB=y CONFIG_FIRMWARE_EDID=y # CONFIG_FB_DDC is not set # CONFIG_FB_CFB_FILLRECT is not set # CONFIG_FB_CFB_COPYAREA is not set # CONFIG_FB_CFB_IMAGEBLIT is not set # CONFIG_FB_SVGALIB is not set # CONFIG_FB_MACMODES is not set # CONFIG_FB_BACKLIGHT is not set # CONFIG_FB_MODE_HELPERS is not set # CONFIG_FB_TILEBLITTING is not set
# # Frame buffer hardware drivers # # CONFIG_FB_S1D13XXX is not set # CONFIG_FB_VIRTUAL is not set
# # Console display driver support # # CONFIG_VGA_CONSOLE is not set CONFIG_DUMMY_CONSOLE=y # CONFIG_FRAMEBUFFER_CONSOLE is not set
# # Logo configuration # # CONFIG_LOGO is not set
# # Sound # # CONFIG_SOUND is not set
# # HID Devices # CONFIG_HID=y # CONFIG_HID_DEBUG is not set
# # USB support # CONFIG_USB_ARCH_HAS_HCD=y # CONFIG_USB_ARCH_HAS_OHCI is not set # CONFIG_USB_ARCH_HAS_EHCI is not set # CONFIG_USB is not set
# # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support' #
# # USB Gadget Support # # CONFIG_USB_GADGET is not set
# # MMC/SD Card support # # CONFIG_MMC is not set
# # Real Time Clock # CONFIG_RTC_LIB=y # CONFIG_RTC_CLASS is not set
# # File systems # CONFIG_INOTIFY=y CONFIG_INOTIFY_USER=y # CONFIG_QUOTA is not set CONFIG_DNOTIFY=y # CONFIG_AUTOFS_FS is not set # CONFIG_AUTOFS4_FS is not set # CONFIG_FUSE_FS is not set
# # Pseudo filesystems # CONFIG_PROC_FS=y CONFIG_PROC_SYSCTL=y CONFIG_SYSFS=y CONFIG_TMPFS=y # CONFIG_TMPFS_POSIX_ACL is not set # CONFIG_HUGETLB_PAGE is not set CONFIG_RAMFS=y # CONFIG_CONFIGFS_FS is not set
# # Miscellaneous filesystems #
# # Network File Systems # CONFIG_NFS_FS=y CONFIG_NFS_V3=y # CONFIG_NFS_V3_ACL is not set CONFIG_NFS_V4=y # CONFIG_NFS_DIRECTIO is not set # CONFIG_NFSD is not set # CONFIG_ROOT_NFS is not set CONFIG_LOCKD=y CONFIG_LOCKD_V4=y CONFIG_NFS_COMMON=y CONFIG_SUNRPC=y CONFIG_SUNRPC_GSS=y CONFIG_RPCSEC_GSS_KRB5=y # CONFIG_RPCSEC_GSS_SPKM3 is not set # CONFIG_SMB_FS is not set # CONFIG_CIFS is not set # CONFIG_NCP_FS is not set # CONFIG_CODA_FS is not set # CONFIG_AFS_FS is not set # CONFIG_9P_FS is not set
# # Native Language Support # CONFIG_NLS=y CONFIG_NLS_DEFAULT="iso8859-1" # CONFIG_NLS_CODEPAGE_437 is not set # CONFIG_NLS_CODEPAGE_737 is not set # CONFIG_NLS_CODEPAGE_775 is not set # CONFIG_NLS_CODEPAGE_850 is not set # CONFIG_NLS_CODEPAGE_852 is not set # CONFIG_NLS_CODEPAGE_855 is not set # CONFIG_NLS_CODEPAGE_857 is not set # CONFIG_NLS_CODEPAGE_860 is not set # CONFIG_NLS_CODEPAGE_861 is not set # CONFIG_NLS_CODEPAGE_862 is not set # CONFIG_NLS_CODEPAGE_863 is not set # CONFIG_NLS_CODEPAGE_864 is not set # CONFIG_NLS_CODEPAGE_865 is not set # CONFIG_NLS_CODEPAGE_866 is not set # CONFIG_NLS_CODEPAGE_869 is not set # CONFIG_NLS_CODEPAGE_936 is not set # CONFIG_NLS_CODEPAGE_950 is not set # CONFIG_NLS_CODEPAGE_932 is not set # CONFIG_NLS_CODEPAGE_949 is not set # CONFIG_NLS_CODEPAGE_874 is not set # CONFIG_NLS_ISO8859_8 is not set # CONFIG_NLS_CODEPAGE_1250 is not set # CONFIG_NLS_CODEPAGE_1251 is not set # CONFIG_NLS_ASCII is not set # CONFIG_NLS_ISO8859_1 is not set # CONFIG_NLS_ISO8859_2 is not set # CONFIG_NLS_ISO8859_3 is not set # CONFIG_NLS_ISO8859_4 is not set # CONFIG_NLS_ISO8859_5 is not set # CONFIG_NLS_ISO8859_6 is not set # CONFIG_NLS_ISO8859_7 is not set # CONFIG_NLS_ISO8859_9 is not set # CONFIG_NLS_ISO8859_13 is not set # CONFIG_NLS_ISO8859_14 is not set # CONFIG_NLS_ISO8859_15 is not set # CONFIG_NLS_KOI8_R is not set # CONFIG_NLS_KOI8_U is not set # CONFIG_NLS_UTF8 is not set
# # Distributed Lock Manager # # CONFIG_DLM is not set
# # Profiling support # # CONFIG_PROFILING is not set
# # Kernel hacking # # CONFIG_PRINTK_TIME is not set # CONFIG_ENABLE_MUST_CHECK is not set CONFIG_MAGIC_SYSRQ=y CONFIG_UNUSED_SYMBOLS=y # CONFIG_DEBUG_FS is not set # CONFIG_HEADERS_CHECK is not set CONFIG_DEBUG_KERNEL=y # CONFIG_DEBUG_SHIRQ is not set CONFIG_LOG_BUF_SHIFT=15 CONFIG_DETECT_SOFTLOCKUP=y # CONFIG_SCHEDSTATS is not set # CONFIG_TIMER_STATS is not set # CONFIG_DEBUG_SLAB is not set # CONFIG_DEBUG_RT_MUTEXES is not set # CONFIG_RT_MUTEX_TESTER is not set # CONFIG_DEBUG_SPINLOCK is not set CONFIG_DEBUG_MUTEXES=y # CONFIG_DEBUG_SPINLOCK_SLEEP is not set # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set # CONFIG_DEBUG_KOBJECT is not set CONFIG_DEBUG_BUGVERBOSE=y CONFIG_DEBUG_INFO=y # CONFIG_DEBUG_VM is not set # CONFIG_DEBUG_LIST is not set CONFIG_FRAME_POINTER=y CONFIG_FORCED_INLINING=y # CONFIG_RCU_TORTURE_TEST is not set # CONFIG_FAULT_INJECTION is not set # CONFIG_DEBUG_USER is not set # CONFIG_DEBUG_ERRORS is not set # CONFIG_DEBUG_LL is not set
# # Security options # # CONFIG_KEYS is not set # CONFIG_SECURITY is not set
# # Cryptographic options # CONFIG_CRYPTO=y CONFIG_CRYPTO_ALGAPI=y CONFIG_CRYPTO_BLKCIPHER=y CONFIG_CRYPTO_MANAGER=y # CONFIG_CRYPTO_HMAC is not set # CONFIG_CRYPTO_XCBC is not set # CONFIG_CRYPTO_NULL is not set # CONFIG_CRYPTO_MD4 is not set CONFIG_CRYPTO_MD5=y # CONFIG_CRYPTO_SHA1 is not set # CONFIG_CRYPTO_SHA256 is not set # CONFIG_CRYPTO_SHA512 is not set # CONFIG_CRYPTO_WP512 is not set # CONFIG_CRYPTO_TGR192 is not set # CONFIG_CRYPTO_GF128MUL is not set # CONFIG_CRYPTO_ECB is not set CONFIG_CRYPTO_CBC=y CONFIG_CRYPTO_PCBC=y # CONFIG_CRYPTO_LRW is not set CONFIG_CRYPTO_DES=y # CONFIG_CRYPTO_FCRYPT is not set # CONFIG_CRYPTO_BLOWFISH is not set # CONFIG_CRYPTO_TWOFISH is not set # CONFIG_CRYPTO_SERPENT is not set # CONFIG_CRYPTO_AES is not set # CONFIG_CRYPTO_CAST5 is not set # CONFIG_CRYPTO_CAST6 is not set # CONFIG_CRYPTO_TEA is not set # CONFIG_CRYPTO_ARC4 is not set # CONFIG_CRYPTO_KHAZAD is not set # CONFIG_CRYPTO_ANUBIS is not set # CONFIG_CRYPTO_DEFLATE is not set # CONFIG_CRYPTO_MICHAEL_MIC is not set # CONFIG_CRYPTO_CRC32C is not set # CONFIG_CRYPTO_CAMELLIA is not set
# # Hardware crypto devices #
# # Library routines # CONFIG_BITREVERSE=y # CONFIG_CRC_CCITT is not set # CONFIG_CRC16 is not set CONFIG_CRC32=y # CONFIG_LIBCRC32C is not set CONFIG_PLIST=y CONFIG_HAS_IOMEM=y CONFIG_HAS_IOPORT=y
task "vmlinuz26.arm" "mem=20M root=1:0 load_ramdisk=1 ramdisk_size=4M l4env_rd=rd panicblink=0 lang=de" priority 0x95 all_sects_writable l4env
On Fri Jun 29, 2007 at 12:27:25 +0200, Daniel Vandersee wrote:
Hello,
after I was able to get Fiasco to work with serial output under Qemu (Skyeye still doesn't output anything), I'm trying to get L4Linux to work with the ARM integrator. Attached you will find a boot log as well as my kernel configuration. I tried to remove as much as possible device drivers. Do I have to enable/disable some kernel options? I would greatly appreciate any help. Btw. for some reason I had to link <l4linux>/lib/lib.a to <l4linux>/arch/l4/lib/arch-arm/lib.a manually.
Daniel
You still have to enable CONFIG_BLK_DEV_RAM, at least. And you don't seem to have included any filesystem (ext2, cramfs) that is probably needed for the ramdisk to work.
task "vmlinuz26.arm" "mem=20M root=1:0 load_ramdisk=1 ramdisk_size=4M l4env_rd=rd panicblink=0 lang=de"
console=ttyLv0 l4ser.vkey_enable=1 mem=20M root=1:0 load_ramdisk=1 ramdisk_size=4M l4env_rd=rd init=/bin/sh"
priority 0x95 all_sects_writable l4env
Adam
l4-hackers@os.inf.tu-dresden.de