- l4-hackers - example.com Site

another error while I compile l4
by l4 19 May '08

19 May '08

hi all, several days ago Cheng suggest me use qemu to virtual a 32bit system to compile l4,then i do.The l4 can work ,but the qemu is not very stable on my computer,sometimes I even can't login the qemu.So I recompile l4 on my computer again by using the latest tudos package.The error come out again : ------------------------ ==> "bootstrap" built ... Generating bootstrap32.bin objcopy -S bootstrap bootstrap64.bin chmod -x bootstrap64.bin objcopy -B i386 -I binary -O elf32-i386 bootstrap64.bin bootstrap32.bin ==> Linking bootstrap32 gcc -o bootstrap32 -nostdlib -static \ -Wl,-T,/home/l4/tudos/l4/pkg/bootstrap/server/src/ARCH-amd64/boot32/bootstrap32.ld,--gc-sections boot.o32 boot_idt.o32 boot_cpu.o32 boot_kernel.o32 load_elf.o32 minilibc_support.o32 bootstrap32.bin /home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a -lgcc /usr/bin/ld: i386 architecture of input file `boot.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `boot_idt.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `boot_cpu.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `boot_kernel.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `load_elf.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `minilibc_support.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `bootstrap32.bin' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(__assert_fail.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(memcpy.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(memset.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(printf.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(puts.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(vprintf.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(__v_printf.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(strtol.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(strtoul.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(__lltostr.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(__ltostr.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(isspace.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(memmove.o)' is incompatible with i386:x86-64 output /home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(__lltostr.o): In function `__lltostr': /home/l4/tudos/l4/pkg/bootstrap/server/src/ARCH-amd64/libc32/__lltostr.c:29: undefined reference to `__umoddi3' /home/l4/tudos/l4/pkg/bootstrap/server/src/ARCH-amd64/libc32/__lltostr.c:30: undefined reference to `__udivdi3' collect2: ld return 1 make[5]: *** [bootstrap32] error 1 make[5]: Leaving directory `/home/l4/tudos/build/pkg/bootstrap/server/src/OBJ-amd64_k8' make[4]: *** [/home/l4/tudos/build/pkg/bootstrap/server/src/OBJ-amd64_k8] error 2 make[4]: Leaving directory `/home/l4/tudos/l4/pkg/bootstrap/server/src' make[3]: *** [src] error 2 make[3]: Leaving directory `/home/l4/tudos/l4/pkg/bootstrap/server' make[2]: *** [server] error 2 make[2]: Leaving directory `/home/l4/tudos/l4/pkg/bootstrap' make[1]: *** [bootstrap.bin] error 2 make[1]: Leaving directory `/home/l4/tudos/l4/pkg' make: *** [pkg] error 2 ------------------------ my cpu information is : ------------------------ l4@fwnc:~$ cat /proc/cpuinfo processor : 0 vendor_id : AuthenticAMD cpu family : 15 model : 107 model name : AMD Athlon(tm) 64 X2 Dual Core Processor 4200+ stepping : 2 cpu MHz : 2200.104 cache size : 512 KB physical id : 0 siblings : 2 core id : 0 cpu cores : 2 fpu : yes fpu_exception : yes cpuid level : 1 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt rdtscp lm 3dnowext 3dnow rep_good pni cx16 lahf_lm cmp_legacy svm extapic cr8_legacy 3dnowprefetch bogomips : 4403.55 TLB size : 1024 4K pages clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: ts fid vid ttp tm stc 100mhzsteps ----------------------- I also check the fiasco and l4 as the AMD64 need,please see the attachments for detail .is there any problem with my lib?I google that someone suggest that: ***************************** You can install the ia32-libs, libc6-dev-i386, etc packages to get the 32bit libs on your 64bit install. Alternatively, setting up a development chroot is pretty easy, and not such a bad idea. pbuilder makes this quite easy. Install the pbuilder package, then run Code: sudo pbuilder create --distribution edgy --debootstrapopts arch --debootstrapopts i386 You can then login to your chroot with sudo pbuilder login. This won't save any changes you make in the chroot (you need to pass --save-after-login to do that), though, since it's designed for building debian packages. ****************************** Could you please give me some advice ? thank you very much!

2 1

error while compiling l4
by l4 19 May '08

19 May '08

hi all, several days ago Cheng suggest me use qemu to virtual a 32bit system to compile l4,then i do.The l4 can work ,but the qemu is not very stable on my computer,sometimes I even can't login the qemu.So I recompile l4 on my computer again by using the latest tudos package.The error come out again : ------------------------ ==> "bootstrap" built ... Generating bootstrap32.bin objcopy -S bootstrap bootstrap64.bin chmod -x bootstrap64.bin objcopy -B i386 -I binary -O elf32-i386 bootstrap64.bin bootstrap32.bin ==> Linking bootstrap32 gcc -o bootstrap32 -nostdlib -static \ -Wl,-T,/home/l4/tudos/l4/pkg/bootstrap/server/src/ARCH-amd64/boot32/bootstrap32.ld,--gc-sections boot.o32 boot_idt.o32 boot_cpu.o32 boot_kernel.o32 load_elf.o32 minilibc_support.o32 bootstrap32.bin /home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a -lgcc /usr/bin/ld: i386 architecture of input file `boot.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `boot_idt.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `boot_cpu.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `boot_kernel.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `load_elf.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `minilibc_support.o32' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `bootstrap32.bin' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(__assert_fail.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(memcpy.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(memset.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(printf.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(puts.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(vprintf.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(__v_printf.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(strtol.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(strtoul.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(__lltostr.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(__ltostr.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(isspace.o)' is incompatible with i386:x86-64 output /usr/bin/ld: i386 architecture of input file `/home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(memmove.o)' is incompatible with i386:x86-64 output /home/l4/tudos/build/pkg/bootstrap/server/src/ARCH-amd64/libc32/OBJ-amd64_k8/libc32.a(__lltostr.o): In function `__lltostr': /home/l4/tudos/l4/pkg/bootstrap/server/src/ARCH-amd64/libc32/__lltostr.c:29: undefined reference to `__umoddi3' /home/l4/tudos/l4/pkg/bootstrap/server/src/ARCH-amd64/libc32/__lltostr.c:30: undefined reference to `__udivdi3' collect2: ld return 1 make[5]: *** [bootstrap32] error 1 make[5]: Leaving directory `/home/l4/tudos/build/pkg/bootstrap/server/src/OBJ-amd64_k8' make[4]: *** [/home/l4/tudos/build/pkg/bootstrap/server/src/OBJ-amd64_k8] error 2 make[4]: Leaving directory `/home/l4/tudos/l4/pkg/bootstrap/server/src' make[3]: *** [src] error 2 make[3]: Leaving directory `/home/l4/tudos/l4/pkg/bootstrap/server' make[2]: *** [server] error 2 make[2]: Leaving directory `/home/l4/tudos/l4/pkg/bootstrap' make[1]: *** [bootstrap.bin] error 2 make[1]: Leaving directory `/home/l4/tudos/l4/pkg' make: *** [pkg] error 2 ------------------------ my cpu information is : ------------------------ l4@fwnc:~$ cat /proc/cpuinfo processor : 0 vendor_id : AuthenticAMD cpu family : 15 model : 107 model name : AMD Athlon(tm) 64 X2 Dual Core Processor 4200+ stepping : 2 cpu MHz : 2200.104 cache size : 512 KB physical id : 0 siblings : 2 core id : 0 cpu cores : 2 fpu : yes fpu_exception : yes cpuid level : 1 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt rdtscp lm 3dnowext 3dnow rep_good pni cx16 lahf_lm cmp_legacy svm extapic cr8_legacy 3dnowprefetch bogomips : 4403.55 TLB size : 1024 4K pages clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: ts fid vid ttp tm stc 100mhzsteps ----------------------- I also check the fiasco and l4 as the AMD64 need,please see the attachments for detail .is there any problem with my lib?I google that someone suggest that: ***************************** You can install the ia32-libs, libc6-dev-i386, etc packages to get the 32bit libs on your 64bit install. Alternatively, setting up a development chroot is pretty easy, and not such a bad idea. pbuilder makes this quite easy. Install the pbuilder package, then run Code: sudo pbuilder create --distribution edgy --debootstrapopts arch --debootstrapopts i386 You can then login to your chroot with sudo pbuilder login. This won't save any changes you make in the chroot (you need to pass --save-after-login to do that), though, since it's designed for building debian packages. ****************************** Could you please give me some advice ? thank you very much!

1 0

Unable to mount /dev/root
by Igor V. Ruzanov 16 May '08

16 May '08

Hello! I have compiled l4linux under L4Env and have configured it to boot l4linux with root device /dev/sda1 (onto SATA disk drive). Boot process goes fine unless the console (that is provided by l4con module) appears where i can see loading of necessary modules from RAMdisk like ahci.ko, sd.ko, libata.ko and ohter drivers needed for the succesfull mounting of all partitions counted in /etc/fstab. But it seems the system is unable to stat /dev/sda1 for moving /dev and then of mounting of /sys, /proc and /dev/root. System goes into panic and halts. So i would like to ask you for: 1)How does l4linux must interract with SATA drives? Is it possible to load the modules (ahci.ko, sd.ko, ext3.ko and libata.ko) that were pre-compiled in l4linux source tree? 2)What options of .config must be set up for the successfull 'look' of /dev/sda1 and other partitions living on SATA disk drive? My kernel config was done from arch/l4/configs/x86-native_defconfig and looks like for now: # # Automatically generated make config: don't edit # Linux kernel version: 2.6.24-l4 # Tue Apr 29 16:23:13 2008 # # # L4Linux configuration # CONFIG_L4=y CONFIG_L4_LINUX=y CONFIG_L4_OBJ_TREE="/usr/src/DROPS/tudos/l4/build" CONFIG_L4_L4ENV=y CONFIG_L4_ARCH_X86=y # CONFIG_L4_ARCH_ARM is not set CONFIG_L4_VMLINUZ_SUFFIX="" CONFIG_HZ=100 CONFIG_PHYSICAL_START=0x0 # # L4 build options # CONFIG_L4_MK_CPU_X86="686" # # IRQ Handling # # CONFIG_L4_IRQ_SINGLE is not set CONFIG_L4_IRQ_OMEGA0=y # CONFIG_L4_IRQ_MULTI is not set # # Stub drivers # CONFIG_L4_EXTERNAL_RTC=y # CONFIG_L4_BLK_DRV is not set # CONFIG_L4_PDSPBLK_DRV is not set CONFIG_L4_FB_DRIVER=y # CONFIG_L4_FB_DRIVER_XF86IF is not set # CONFIG_L4_ORE_DRV is not set # CONFIG_L4_SERIAL 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_SERVER_PROC=64 CONFIG_L4_PRIO_IDLER=65 CONFIG_L4_PRIO_IRQ_BASE=66 CONFIG_L4_PRIO_TAMER=85 CONFIG_L4_PRIO_L4FB_INPUT=70 CONFIG_L4_PRIO_L4FB_REFRESH=70 CONFIG_L4_PRIO_L4ORE=70 # # Monitoring options (ferret) # # CONFIG_L4_FERRET_USER is not set # CONFIG_L4_FERRET_KERNEL is not set # CONFIG_L4_FERRET_SYSCALL_COUNTER is not set # CONFIG_L4_USE_L4VMM is not set CONFIG_L4_CONFIG_CHECKS=y # CONFIG_L4_SAMPLE_MODULE is not set # # # # CONFIG_64BIT is not set CONFIG_X86_32=y # CONFIG_X86_64 is not set CONFIG_X86=y CONFIG_GENERIC_TIME=y CONFIG_GENERIC_CMOS_UPDATE=y CONFIG_CLOCKSOURCE_WATCHDOG=y CONFIG_GENERIC_CLOCKEVENTS=y CONFIG_LOCKDEP_SUPPORT=y CONFIG_STACKTRACE_SUPPORT=y CONFIG_SEMAPHORE_SLEEPERS=y CONFIG_MMU=y CONFIG_ZONE_DMA=y CONFIG_QUICKLIST=y CONFIG_GENERIC_ISA_DMA=y CONFIG_GENERIC_IOMAP=y CONFIG_GENERIC_BUG=y CONFIG_GENERIC_HWEIGHT=y CONFIG_ARCH_MAY_HAVE_PC_FDC=y CONFIG_DMI=y # CONFIG_RWSEM_GENERIC_SPINLOCK is not set CONFIG_RWSEM_XCHGADD_ALGORITHM=y # CONFIG_ARCH_HAS_ILOG2_U32 is not set # CONFIG_ARCH_HAS_ILOG2_U64 is not set CONFIG_GENERIC_CALIBRATE_DELAY=y # CONFIG_GENERIC_TIME_VSYSCALL is not set CONFIG_ARCH_SUPPORTS_OPROFILE=y # CONFIG_ZONE_DMA32 is not set CONFIG_ARCH_POPULATES_NODE_MAP=y # CONFIG_AUDIT_ARCH is not set CONFIG_GENERIC_HARDIRQS=y CONFIG_GENERIC_IRQ_PROBE=y CONFIG_X86_BIOS_REBOOT=y CONFIG_KTIME_SCALAR=y CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" # # General setup # CONFIG_EXPERIMENTAL=y CONFIG_BROKEN_ON_SMP=y CONFIG_INIT_ENV_ARG_LIMIT=32 CONFIG_LOCALVERSION="" CONFIG_LOCALVERSION_AUTO=y CONFIG_SWAP=y CONFIG_SYSVIPC=y CONFIG_SYSVIPC_SYSCTL=y CONFIG_POSIX_MQUEUE=y # CONFIG_BSD_PROCESS_ACCT is not set # CONFIG_TASKSTATS is not set # CONFIG_USER_NS is not set # CONFIG_PID_NS is not set # CONFIG_AUDIT is not set # CONFIG_IKCONFIG is not set CONFIG_LOG_BUF_SHIFT=15 # CONFIG_CGROUPS is not set CONFIG_FAIR_GROUP_SCHED=y CONFIG_FAIR_USER_SCHED=y # CONFIG_FAIR_CGROUP_SCHED 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=y # CONFIG_KALLSYMS_ALL is not set # CONFIG_KALLSYMS_EXTRA_PASS 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_ANON_INODES=y CONFIG_EPOLL=y CONFIG_SIGNALFD=y CONFIG_EVENTFD=y CONFIG_SHMEM=y CONFIG_VM_EVENT_COUNTERS=y CONFIG_SLAB=y # CONFIG_SLUB is not set # CONFIG_SLOB is not set CONFIG_SLABINFO=y CONFIG_RT_MUTEXES=y # CONFIG_TINY_SHMEM is not set CONFIG_BASE_SMALL=0 CONFIG_MODULES=y CONFIG_MODULE_UNLOAD=y CONFIG_MODULE_FORCE_UNLOAD=y CONFIG_MODVERSIONS=y # CONFIG_MODULE_SRCVERSION_ALL is not set CONFIG_KMOD=y CONFIG_BLOCK=y # CONFIG_LBD is not set # CONFIG_BLK_DEV_IO_TRACE is not set # CONFIG_LSF is not set # CONFIG_BLK_DEV_BSG is not set # # IO Schedulers # CONFIG_IOSCHED_NOOP=y CONFIG_IOSCHED_AS=y CONFIG_IOSCHED_DEADLINE=y CONFIG_IOSCHED_CFQ=y CONFIG_DEFAULT_AS=y # CONFIG_DEFAULT_DEADLINE is not set # CONFIG_DEFAULT_CFQ is not set # CONFIG_DEFAULT_NOOP is not set CONFIG_DEFAULT_IOSCHED="anticipatory" # # Processor type and features # # CONFIG_TICK_ONESHOT is not set # CONFIG_NO_HZ is not set # CONFIG_HIGH_RES_TIMERS is not set CONFIG_GENERIC_CLOCKEVENTS_BUILD=y # CONFIG_SMP is not set CONFIG_X86_PC=y # CONFIG_X86_ELAN is not set # CONFIG_X86_VOYAGER is not set # CONFIG_X86_NUMAQ is not set # CONFIG_X86_SUMMIT is not set # CONFIG_X86_BIGSMP is not set # CONFIG_X86_VISWS is not set # CONFIG_X86_GENERICARCH is not set # CONFIG_X86_ES7000 is not set # CONFIG_X86_VSMP is not set CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y # CONFIG_PARAVIRT_GUEST is not set # CONFIG_M386 is not set # CONFIG_M486 is not set # CONFIG_M586 is not set CONFIG_M586TSC=y # CONFIG_M586MMX is not set # CONFIG_M686 is not set # CONFIG_MPENTIUMII is not set # CONFIG_MPENTIUMIII is not set # CONFIG_MPENTIUMM is not set # CONFIG_MPENTIUM4 is not set # CONFIG_MK6 is not set # CONFIG_MK7 is not set # CONFIG_MK8 is not set # CONFIG_MCRUSOE is not set # CONFIG_MEFFICEON is not set # CONFIG_MWINCHIPC6 is not set # CONFIG_MWINCHIP2 is not set # CONFIG_MWINCHIP3D is not set # CONFIG_MGEODEGX1 is not set # CONFIG_MGEODE_LX is not set # CONFIG_MCYRIXIII is not set # CONFIG_MVIAC3_2 is not set # CONFIG_MVIAC7 is not set # CONFIG_MPSC is not set # CONFIG_MCORE2 is not set # CONFIG_GENERIC_CPU is not set # CONFIG_X86_GENERIC is not set CONFIG_X86_CMPXCHG=y CONFIG_X86_L1_CACHE_SHIFT=5 CONFIG_X86_XADD=y CONFIG_X86_PPRO_FENCE=y CONFIG_X86_F00F_BUG=y CONFIG_X86_WP_WORKS_OK=y CONFIG_X86_INVLPG=y CONFIG_X86_BSWAP=y CONFIG_X86_POPAD_OK=y CONFIG_X86_ALIGNMENT_16=y CONFIG_X86_TSC=y CONFIG_X86_MINIMUM_CPU_FAMILY=4 # CONFIG_HPET_TIMER is not set CONFIG_PREEMPT_NONE=y # CONFIG_PREEMPT_VOLUNTARY is not set # CONFIG_PREEMPT is not set # CONFIG_X86_UP_APIC is not set # CONFIG_X86_MCE is not set # CONFIG_VM86 is not set # CONFIG_TOSHIBA is not set # CONFIG_I8K is not set # CONFIG_X86_REBOOTFIXUPS is not set # CONFIG_MICROCODE is not set # CONFIG_X86_MSR is not set # CONFIG_X86_CPUID is not set CONFIG_NOHIGHMEM=y # CONFIG_HIGHMEM4G is not set # CONFIG_HIGHMEM64G is not set CONFIG_VMSPLIT_3G=y # CONFIG_VMSPLIT_3G_OPT is not set # CONFIG_VMSPLIT_2G is not set # CONFIG_VMSPLIT_2G_OPT is not set # CONFIG_VMSPLIT_1G is not set CONFIG_PAGE_OFFSET=0xC0000000 # CONFIG_X86_PAE is not set CONFIG_ARCH_FLATMEM_ENABLE=y CONFIG_ARCH_SPARSEMEM_ENABLE=y CONFIG_ARCH_SELECT_MEMORY_MODEL=y 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=y # CONFIG_SPARSEMEM_VMEMMAP_ENABLE is not set CONFIG_SPLIT_PTLOCK_CPUS=4 # CONFIG_RESOURCES_64BIT is not set CONFIG_ZONE_DMA_FLAG=1 CONFIG_BOUNCE=y CONFIG_NR_QUICK=1 CONFIG_VIRT_TO_BUS=y # CONFIG_MATH_EMULATION is not set # CONFIG_MTRR is not set CONFIG_SECCOMP=y # CONFIG_HZ_100 is not set CONFIG_HZ_250=y # CONFIG_HZ_300 is not set # CONFIG_HZ_1000 is not set # CONFIG_KEXEC is not set # CONFIG_RELOCATABLE is not set CONFIG_PHYSICAL_ALIGN=0x100000 CONFIG_COMPAT_VDSO=y # # Power management options # # CONFIG_PM is not set CONFIG_SUSPEND_UP_POSSIBLE=y CONFIG_HIBERNATION_UP_POSSIBLE=y # # CPU Frequency scaling # # CONFIG_CPU_FREQ is not set # CONFIG_CPU_IDLE is not set # # Bus options (PCI etc.) # CONFIG_PCI=y # CONFIG_PCI_GOBIOS is not set CONFIG_PCI_GOMMCONFIG=y # CONFIG_PCI_GODIRECT is not set # CONFIG_PCI_GOANY is not set CONFIG_PCI_DOMAINS=y # CONFIG_PCIEPORTBUS is not set # CONFIG_ARCH_SUPPORTS_MSI is not set CONFIG_PCI_LEGACY=y # CONFIG_PCI_DEBUG is not set CONFIG_ISA_DMA_API=y CONFIG_ISA=y # CONFIG_EISA is not set # CONFIG_MCA is not set # CONFIG_SCx200 is not set # # Executable file formats / Emulations # CONFIG_BINFMT_ELF=y CONFIG_BINFMT_AOUT=y CONFIG_BINFMT_MISC=y # # Networking # CONFIG_NET=y # # Networking options # 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=y # 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 is not set # CONFIG_INET_XFRM_MODE_TUNNEL is not set CONFIG_INET_XFRM_MODE_BEET=y # CONFIG_INET_LRO is not set 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 # CONFIG_IP_DCCP is not set # CONFIG_IP_SCTP is not set # 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 # 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_AF_RXRPC is not set # # Wireless # # CONFIG_CFG80211 is not set # CONFIG_WIRELESS_EXT is not set # CONFIG_MAC80211 is not set # CONFIG_IEEE80211 is not set # CONFIG_RFKILL is not set # CONFIG_NET_9P 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 # CONFIG_CONNECTOR is not set # CONFIG_MTD is not set # CONFIG_PARPORT is not set CONFIG_PNP=y # CONFIG_PNP_DEBUG is not set # # Protocols # # CONFIG_ISAPNP is not set # CONFIG_PNPBIOS is not set # CONFIG_PNPACPI is not set CONFIG_BLK_DEV=y # CONFIG_BLK_DEV_FD is not set # CONFIG_BLK_DEV_XD is not set # CONFIG_BLK_CPQ_DA is not set # CONFIG_BLK_CPQ_CISS_DA is not set # CONFIG_BLK_DEV_DAC960 is not set # CONFIG_BLK_DEV_UMEM is not set # CONFIG_BLK_DEV_COW_COMMON is not set # CONFIG_BLK_DEV_LOOP is not set # CONFIG_BLK_DEV_NBD is not set # CONFIG_BLK_DEV_SX8 is not set # CONFIG_BLK_DEV_UB is not set CONFIG_BLK_DEV_RAM=y CONFIG_BLK_DEV_RAM_COUNT=16 CONFIG_BLK_DEV_RAM_SIZE=4096 CONFIG_BLK_DEV_RAM_BLOCKSIZE=1024 # CONFIG_CDROM_PKTCDVD is not set # CONFIG_ATA_OVER_ETH is not set CONFIG_MISC_DEVICES=y # CONFIG_IBM_ASM is not set # CONFIG_PHANTOM is not set # CONFIG_EEPROM_93CX6 is not set # CONFIG_SGI_IOC4 is not set # CONFIG_TIFM_CORE is not set # CONFIG_IDE is not set # # SCSI device support # # CONFIG_RAID_ATTRS is not set CONFIG_SCSI=m CONFIG_SCSI_DMA=y CONFIG_SCSI_TGT=m CONFIG_SCSI_NETLINK=y CONFIG_SCSI_PROC_FS=y # # SCSI support type (disk, tape, CD-ROM) # CONFIG_BLK_DEV_SD=m CONFIG_CHR_DEV_ST=m CONFIG_CHR_DEV_OSST=m # CONFIG_BLK_DEV_SR is not set CONFIG_CHR_DEV_SG=m CONFIG_CHR_DEV_SCH=m # # Some SCSI devices (e.g. CD jukebox) support multiple LUNs # CONFIG_SCSI_MULTI_LUN=y CONFIG_SCSI_CONSTANTS=y CONFIG_SCSI_LOGGING=y CONFIG_SCSI_SCAN_ASYNC=y CONFIG_SCSI_WAIT_SCAN=m # # SCSI Transports # CONFIG_SCSI_SPI_ATTRS=m CONFIG_SCSI_FC_ATTRS=m CONFIG_SCSI_FC_TGT_ATTRS=y CONFIG_SCSI_ISCSI_ATTRS=m CONFIG_SCSI_SAS_ATTRS=m CONFIG_SCSI_SAS_LIBSAS=m CONFIG_SCSI_SAS_ATA=y # CONFIG_SCSI_SAS_LIBSAS_DEBUG is not set CONFIG_SCSI_SRP_ATTRS=m CONFIG_SCSI_SRP_TGT_ATTRS=y CONFIG_SCSI_LOWLEVEL=y # CONFIG_ISCSI_TCP is not set # CONFIG_BLK_DEV_3W_XXXX_RAID is not set # CONFIG_SCSI_3W_9XXX is not set # CONFIG_SCSI_7000FASST is not set # CONFIG_SCSI_ACARD is not set # CONFIG_SCSI_AHA152X is not set # CONFIG_SCSI_AHA1542 is not set # CONFIG_SCSI_AACRAID is not set # CONFIG_SCSI_AIC7XXX is not set # CONFIG_SCSI_AIC7XXX_OLD is not set # CONFIG_SCSI_AIC79XX is not set # CONFIG_SCSI_AIC94XX is not set # CONFIG_SCSI_DPT_I2O is not set # CONFIG_SCSI_ADVANSYS is not set # CONFIG_SCSI_IN2000 is not set # CONFIG_SCSI_ARCMSR is not set # CONFIG_MEGARAID_NEWGEN is not set # CONFIG_MEGARAID_LEGACY is not set # CONFIG_MEGARAID_SAS is not set # CONFIG_SCSI_HPTIOP is not set # CONFIG_SCSI_BUSLOGIC is not set # CONFIG_SCSI_DMX3191D is not set # CONFIG_SCSI_DTC3280 is not set # CONFIG_SCSI_EATA is not set # CONFIG_SCSI_FUTURE_DOMAIN is not set # CONFIG_SCSI_GDTH is not set # CONFIG_SCSI_GENERIC_NCR5380 is not set # CONFIG_SCSI_GENERIC_NCR5380_MMIO is not set # CONFIG_SCSI_IPS is not set # CONFIG_SCSI_INITIO is not set # CONFIG_SCSI_INIA100 is not set # CONFIG_SCSI_NCR53C406A is not set # CONFIG_SCSI_STEX is not set # CONFIG_SCSI_SYM53C8XX_2 is not set # CONFIG_SCSI_IPR is not set # CONFIG_SCSI_PAS16 is not set # CONFIG_SCSI_PSI240I is not set # CONFIG_SCSI_QLOGIC_FAS is not set # CONFIG_SCSI_QLOGIC_1280 is not set # CONFIG_SCSI_QLA_FC is not set # CONFIG_SCSI_QLA_ISCSI is not set # CONFIG_SCSI_LPFC is not set # CONFIG_SCSI_SEAGATE is not set # CONFIG_SCSI_SYM53C416 is not set # CONFIG_SCSI_DC395x is not set # CONFIG_SCSI_DC390T is not set # CONFIG_SCSI_T128 is not set # CONFIG_SCSI_U14_34F is not set # CONFIG_SCSI_ULTRASTOR is not set # CONFIG_SCSI_NSP32 is not set # CONFIG_SCSI_DEBUG is not set CONFIG_SCSI_SRP=m CONFIG_ATA=m # CONFIG_ATA_NONSTANDARD is not set CONFIG_SATA_AHCI=m # CONFIG_SATA_SVW is not set CONFIG_ATA_PIIX=m CONFIG_SATA_MV=m # CONFIG_SATA_NV is not set # CONFIG_PDC_ADMA is not set # CONFIG_SATA_QSTOR is not set # CONFIG_SATA_PROMISE is not set # CONFIG_SATA_SX4 is not set # CONFIG_SATA_SIL is not set # CONFIG_SATA_SIL24 is not set # CONFIG_SATA_SIS is not set # CONFIG_SATA_ULI is not set # CONFIG_SATA_VIA is not set # CONFIG_SATA_VITESSE is not set # CONFIG_SATA_INIC162X is not set # CONFIG_PATA_ALI is not set # CONFIG_PATA_AMD is not set # CONFIG_PATA_ARTOP is not set # CONFIG_PATA_ATIIXP is not set # CONFIG_PATA_CMD640_PCI is not set # CONFIG_PATA_CMD64X is not set # CONFIG_PATA_CS5520 is not set # CONFIG_PATA_CS5530 is not set # CONFIG_PATA_CS5535 is not set # CONFIG_PATA_CS5536 is not set # CONFIG_PATA_CYPRESS is not set # CONFIG_PATA_EFAR is not set # CONFIG_ATA_GENERIC is not set # CONFIG_PATA_HPT366 is not set # CONFIG_PATA_HPT37X is not set # CONFIG_PATA_HPT3X2N is not set # CONFIG_PATA_HPT3X3 is not set # CONFIG_PATA_IT821X is not set # CONFIG_PATA_IT8213 is not set # CONFIG_PATA_JMICRON is not set # CONFIG_PATA_LEGACY is not set # CONFIG_PATA_TRIFLEX is not set # CONFIG_PATA_MARVELL is not set CONFIG_PATA_MPIIX=m CONFIG_PATA_OLDPIIX=m # CONFIG_PATA_NETCELL is not set # CONFIG_PATA_NS87410 is not set # CONFIG_PATA_NS87415 is not set # CONFIG_PATA_OPTI is not set # CONFIG_PATA_OPTIDMA is not set # CONFIG_PATA_PDC_OLD is not set # CONFIG_PATA_QDI is not set # CONFIG_PATA_RADISYS is not set # CONFIG_PATA_RZ1000 is not set # CONFIG_PATA_SC1200 is not set # CONFIG_PATA_SERVERWORKS is not set # CONFIG_PATA_PDC2027X is not set # CONFIG_PATA_SIL680 is not set # CONFIG_PATA_SIS is not set # CONFIG_PATA_VIA is not set # CONFIG_PATA_WINBOND is not set # CONFIG_PATA_WINBOND_VLB is not set CONFIG_PATA_PLATFORM=m # CONFIG_MD is not set CONFIG_FUSION=y CONFIG_FUSION_SPI=m CONFIG_FUSION_FC=m CONFIG_FUSION_SAS=m CONFIG_FUSION_MAX_SGE=128 CONFIG_FUSION_CTL=m # CONFIG_FUSION_LOGGING is not set # # IEEE 1394 (FireWire) support # # CONFIG_FIREWIRE is not set # CONFIG_IEEE1394 is not set # CONFIG_I2O is not set # CONFIG_MACINTOSH_DRIVERS is not set CONFIG_NETDEVICES=y # CONFIG_NETDEVICES_MULTIQUEUE is not set # CONFIG_DUMMY is not set # CONFIG_BONDING is not set # CONFIG_MACVLAN is not set # CONFIG_EQUALIZER is not set # CONFIG_TUN is not set # CONFIG_VETH is not set # CONFIG_NET_SB1000 is not set # CONFIG_ARCNET is not set # CONFIG_PHYLIB is not set CONFIG_NET_ETHERNET=y CONFIG_MII=y # CONFIG_HAPPYMEAL is not set # CONFIG_SUNGEM is not set # CONFIG_CASSINI is not set # CONFIG_NET_VENDOR_3COM is not set # CONFIG_LANCE is not set # CONFIG_NET_VENDOR_SMC is not set # CONFIG_NET_VENDOR_RACAL is not set CONFIG_NET_TULIP=y # CONFIG_DE2104X is not set CONFIG_TULIP=y # CONFIG_TULIP_MWI is not set # CONFIG_TULIP_MMIO is not set # CONFIG_TULIP_NAPI is not set # CONFIG_DE4X5 is not set # CONFIG_WINBOND_840 is not set # CONFIG_DM9102 is not set # CONFIG_ULI526X is not set # CONFIG_AT1700 is not set # CONFIG_DEPCA is not set # CONFIG_HP100 is not set # CONFIG_NET_ISA is not set # CONFIG_IBM_NEW_EMAC_ZMII is not set # CONFIG_IBM_NEW_EMAC_RGMII is not set # CONFIG_IBM_NEW_EMAC_TAH is not set # CONFIG_IBM_NEW_EMAC_EMAC4 is not set CONFIG_NET_PCI=y CONFIG_PCNET32=y # CONFIG_PCNET32_NAPI is not set # CONFIG_AMD8111_ETH is not set # CONFIG_ADAPTEC_STARFIRE is not set # CONFIG_AC3200 is not set # CONFIG_APRICOT is not set # CONFIG_B44 is not set # CONFIG_FORCEDETH is not set # CONFIG_CS89x0 is not set CONFIG_EEPRO100=y CONFIG_E100=m # CONFIG_FEALNX is not set # CONFIG_NATSEMI is not set CONFIG_NE2K_PCI=y # CONFIG_8139CP is not set # CONFIG_8139TOO is not set # CONFIG_SIS900 is not set # CONFIG_EPIC100 is not set # CONFIG_SUNDANCE is not set # CONFIG_TLAN is not set # CONFIG_VIA_RHINE is not set # CONFIG_SC92031 is not set CONFIG_NETDEV_1000=y # CONFIG_ACENIC is not set # CONFIG_DL2K is not set CONFIG_E1000=y # CONFIG_E1000_NAPI is not set # CONFIG_E1000_DISABLE_PACKET_SPLIT is not set CONFIG_E1000E=m # CONFIG_IP1000 is not set # CONFIG_NS83820 is not set # CONFIG_HAMACHI is not set # CONFIG_YELLOWFIN is not set # CONFIG_R8169 is not set # CONFIG_SIS190 is not set # CONFIG_SKGE is not set # CONFIG_SKY2 is not set # CONFIG_SK98LIN is not set # CONFIG_VIA_VELOCITY is not set CONFIG_TIGON3=y # CONFIG_BNX2 is not set # CONFIG_QLA3XXX is not set # CONFIG_ATL1 is not set CONFIG_NETDEV_10000=y # CONFIG_CHELSIO_T1 is not set # CONFIG_CHELSIO_T3 is not set # CONFIG_IXGBE is not set # CONFIG_IXGB is not set # CONFIG_S2IO is not set # CONFIG_MYRI10GE is not set # CONFIG_NETXEN_NIC is not set # CONFIG_NIU is not set # CONFIG_MLX4_CORE is not set # CONFIG_TEHUTI is not set # CONFIG_TR is not set # # Wireless LAN # # CONFIG_WLAN_PRE80211 is not set # CONFIG_WLAN_80211 is not set # # USB Network Adapters # # CONFIG_USB_CATC is not set # CONFIG_USB_KAWETH is not set # CONFIG_USB_PEGASUS is not set # CONFIG_USB_RTL8150 is not set # CONFIG_USB_USBNET is not set # CONFIG_WAN is not set # CONFIG_FDDI is not set # CONFIG_HIPPI is not set # CONFIG_PPP is not set # CONFIG_SLIP is not set # CONFIG_NET_FC 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 # CONFIG_ISDN is not set # CONFIG_PHONE is not set # # Input device support # CONFIG_INPUT=y # CONFIG_INPUT_FF_MEMLESS is not set # CONFIG_INPUT_POLLDEV is not set # # Userland interfaces # CONFIG_INPUT_MOUSEDEV=y CONFIG_INPUT_MOUSEDEV_PSAUX=y CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768 CONFIG_INPUT_JOYDEV=y CONFIG_INPUT_EVDEV=y # 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_TABLET 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 CONFIG_FIX_EARLYCON_MEM=y # # Non-8250 serial port support # # CONFIG_SERIAL_JSM is not set CONFIG_UNIX98_PTYS=y CONFIG_LEGACY_PTYS=y CONFIG_LEGACY_PTY_COUNT=256 # CONFIG_IPMI_HANDLER is not set # CONFIG_HW_RANDOM is not set # CONFIG_NVRAM is not set # CONFIG_RTC is not set # CONFIG_GEN_RTC is not set # CONFIG_DTLK is not set # CONFIG_R3964 is not set # CONFIG_APPLICOM is not set # CONFIG_SONYPI is not set # CONFIG_MWAVE is not set # CONFIG_PC8736x_GPIO is not set # CONFIG_NSC_GPIO is not set # CONFIG_CS5535_GPIO is not set # CONFIG_RAW_DRIVER is not set # CONFIG_HANGCHECK_TIMER is not set # CONFIG_TCG_TPM is not set # CONFIG_TELCLOCK is not set CONFIG_DEVPORT=y # CONFIG_I2C is not set # # SPI support # # CONFIG_SPI is not set # CONFIG_SPI_MASTER is not set # CONFIG_W1 is not set # CONFIG_POWER_SUPPLY is not set # CONFIG_HWMON is not set # CONFIG_WATCHDOG is not set # # Sonics Silicon Backplane # CONFIG_SSB_POSSIBLE=y # CONFIG_SSB is not set # # Multifunction device drivers # # CONFIG_MFD_SM501 is not set # # Multimedia devices # # CONFIG_VIDEO_DEV is not set # CONFIG_DVB_CORE is not set CONFIG_DAB=y # CONFIG_USB_DABUSB is not set # # Graphics support # # CONFIG_AGP is not set # CONFIG_DRM is not set # CONFIG_VGASTATE is not set # CONFIG_VIDEO_OUTPUT_CONTROL is not set CONFIG_FB=y CONFIG_FIRMWARE_EDID=y # CONFIG_FB_DDC is not set CONFIG_FB_CFB_FILLRECT=y CONFIG_FB_CFB_COPYAREA=y CONFIG_FB_CFB_IMAGEBLIT=y # CONFIG_FB_CFB_REV_PIXELS_IN_BYTE is not set # CONFIG_FB_SYS_FILLRECT is not set # CONFIG_FB_SYS_COPYAREA is not set # CONFIG_FB_SYS_IMAGEBLIT is not set # CONFIG_FB_SYS_FOPS is not set CONFIG_FB_DEFERRED_IO=y # 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_CIRRUS is not set # CONFIG_FB_PM2 is not set # CONFIG_FB_CYBER2000 is not set # CONFIG_FB_ARC is not set # CONFIG_FB_ASILIANT is not set # CONFIG_FB_IMSTT is not set # CONFIG_FB_VGA16 is not set # CONFIG_FB_VESA is not set # CONFIG_FB_EFI is not set # CONFIG_FB_HECUBA is not set # CONFIG_FB_HGA is not set # CONFIG_FB_S1D13XXX is not set # CONFIG_FB_NVIDIA is not set # CONFIG_FB_RIVA is not set # CONFIG_FB_I810 is not set # CONFIG_FB_LE80578 is not set # CONFIG_FB_INTEL is not set # CONFIG_FB_MATROX is not set # CONFIG_FB_RADEON is not set # CONFIG_FB_ATY128 is not set # CONFIG_FB_ATY is not set # CONFIG_FB_S3 is not set # CONFIG_FB_SAVAGE is not set # CONFIG_FB_SIS is not set # CONFIG_FB_NEOMAGIC is not set # CONFIG_FB_KYRO is not set # CONFIG_FB_3DFX is not set # CONFIG_FB_VOODOO1 is not set # CONFIG_FB_VT8623 is not set # CONFIG_FB_CYBLA is not set # CONFIG_FB_TRIDENT is not set # CONFIG_FB_ARK is not set # CONFIG_FB_PM3 is not set # CONFIG_FB_GEODE is not set # CONFIG_FB_VIRTUAL is not set # CONFIG_BACKLIGHT_LCD_SUPPORT is not set # # Display device support # # CONFIG_DISPLAY_SUPPORT is not set # # Console display driver support # # CONFIG_VGA_CONSOLE is not set # CONFIG_MDA_CONSOLE is not set CONFIG_DUMMY_CONSOLE=y CONFIG_FRAMEBUFFER_CONSOLE=y # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set CONFIG_FONTS=y CONFIG_FONT_8x8=y CONFIG_FONT_8x16=y # CONFIG_FONT_6x11 is not set # CONFIG_FONT_7x14 is not set # CONFIG_FONT_PEARL_8x8 is not set # CONFIG_FONT_ACORN_8x8 is not set CONFIG_FONT_MINI_4x6=y # CONFIG_FONT_SUN8x16 is not set # CONFIG_FONT_SUN12x22 is not set # CONFIG_FONT_10x18 is not set CONFIG_LOGO=y CONFIG_LOGO_LINUX_MONO=y CONFIG_LOGO_LINUX_VGA16=y CONFIG_LOGO_LINUX_CLUT224=y # # Sound # # CONFIG_SOUND is not set CONFIG_HID_SUPPORT=y CONFIG_HID=y # CONFIG_HID_DEBUG is not set # CONFIG_HIDRAW is not set # # USB Input Devices # # CONFIG_USB_HID is not set # # USB HID Boot Protocol drivers # # CONFIG_USB_KBD is not set # CONFIG_USB_MOUSE is not set CONFIG_USB_SUPPORT=y CONFIG_USB_ARCH_HAS_HCD=y CONFIG_USB_ARCH_HAS_OHCI=y CONFIG_USB_ARCH_HAS_EHCI=y CONFIG_USB=y # CONFIG_USB_DEBUG is not set # # Miscellaneous USB options # CONFIG_USB_DEVICEFS=y CONFIG_USB_DEVICE_CLASS=y CONFIG_USB_DYNAMIC_MINORS=y # CONFIG_USB_OTG is not set # # USB Host Controller Drivers # CONFIG_USB_EHCI_HCD=y CONFIG_USB_EHCI_SPLIT_ISO=y CONFIG_USB_EHCI_ROOT_HUB_TT=y CONFIG_USB_EHCI_TT_NEWSCHED=y # CONFIG_USB_ISP116X_HCD is not set CONFIG_USB_OHCI_HCD=y # CONFIG_USB_OHCI_BIG_ENDIAN_DESC is not set # CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set CONFIG_USB_OHCI_LITTLE_ENDIAN=y CONFIG_USB_UHCI_HCD=y # CONFIG_USB_SL811_HCD is not set # CONFIG_USB_R8A66597_HCD is not set # # USB Device Class drivers # # CONFIG_USB_ACM is not set # CONFIG_USB_PRINTER is not set # # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support' # # # may also be needed; see USB_STORAGE Help for more information # CONFIG_USB_STORAGE=m # CONFIG_USB_STORAGE_DEBUG is not set # CONFIG_USB_STORAGE_DATAFAB is not set # CONFIG_USB_STORAGE_FREECOM is not set # CONFIG_USB_STORAGE_ISD200 is not set # CONFIG_USB_STORAGE_DPCM is not set # CONFIG_USB_STORAGE_USBAT is not set # CONFIG_USB_STORAGE_SDDR09 is not set # CONFIG_USB_STORAGE_SDDR55 is not set # CONFIG_USB_STORAGE_JUMPSHOT is not set # CONFIG_USB_STORAGE_ALAUDA is not set # CONFIG_USB_STORAGE_ONETOUCH is not set # CONFIG_USB_STORAGE_KARMA is not set # CONFIG_USB_LIBUSUAL is not set # # USB Imaging devices # # CONFIG_USB_MDC800 is not set # CONFIG_USB_MICROTEK is not set CONFIG_USB_MON=y # # USB port drivers # # # USB Serial Converter support # # CONFIG_USB_SERIAL is not set # # USB Miscellaneous drivers # # CONFIG_USB_EMI62 is not set # CONFIG_USB_EMI26 is not set # CONFIG_USB_ADUTUX is not set # CONFIG_USB_AUERSWALD is not set # CONFIG_USB_RIO500 is not set # CONFIG_USB_LEGOTOWER is not set # CONFIG_USB_LCD is not set # CONFIG_USB_BERRY_CHARGE is not set # CONFIG_USB_LED is not set # CONFIG_USB_CYPRESS_CY7C63 is not set # CONFIG_USB_CYTHERM is not set # CONFIG_USB_PHIDGET is not set # CONFIG_USB_IDMOUSE is not set # CONFIG_USB_FTDI_ELAN is not set # CONFIG_USB_APPLEDISPLAY is not set # CONFIG_USB_SISUSBVGA is not set # CONFIG_USB_LD is not set # CONFIG_USB_TRANCEVIBRATOR is not set # CONFIG_USB_IOWARRIOR is not set # CONFIG_USB_TEST is not set # # USB DSL modem support # # # USB Gadget Support # # CONFIG_USB_GADGET is not set # CONFIG_MMC is not set # CONFIG_NEW_LEDS is not set # CONFIG_INFINIBAND is not set # CONFIG_EDAC is not set # CONFIG_RTC_CLASS is not set # CONFIG_DMADEVICES is not set # CONFIG_VIRTUALIZATION is not set # # Userspace I/O # # CONFIG_UIO is not set # # Firmware Drivers # # CONFIG_EDD is not set # CONFIG_DELL_RBU is not set # CONFIG_DCDBAS is not set CONFIG_DMIID=y # # File systems # CONFIG_EXT2_FS=y # CONFIG_EXT2_FS_XATTR is not set # CONFIG_EXT2_FS_XIP is not set CONFIG_EXT3_FS=m CONFIG_EXT3_FS_XATTR=y CONFIG_EXT3_FS_POSIX_ACL=y CONFIG_EXT3_FS_SECURITY=y # CONFIG_EXT4DEV_FS is not set CONFIG_JBD=m CONFIG_FS_MBCACHE=y # CONFIG_REISERFS_FS is not set # CONFIG_JFS_FS is not set CONFIG_FS_POSIX_ACL=y # CONFIG_XFS_FS is not set # CONFIG_GFS2_FS is not set # CONFIG_OCFS2_FS is not set # CONFIG_MINIX_FS is not set # CONFIG_ROMFS_FS is not set 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 # # CD-ROM/DVD Filesystems # CONFIG_ISO9660_FS=y CONFIG_JOLIET=y # CONFIG_ZISOFS is not set # CONFIG_UDF_FS is not set # # DOS/FAT/NT Filesystems # # CONFIG_MSDOS_FS is not set # CONFIG_VFAT_FS is not set # CONFIG_NTFS_FS is not set # # Pseudo filesystems # CONFIG_PROC_FS=y CONFIG_PROC_KCORE=y CONFIG_PROC_SYSCTL=y CONFIG_SYSFS=y CONFIG_TMPFS=y # CONFIG_TMPFS_POSIX_ACL is not set # CONFIG_HUGETLBFS is not set # CONFIG_HUGETLB_PAGE is not set # CONFIG_CONFIGFS_FS is not set # # Miscellaneous filesystems # # CONFIG_ADFS_FS is not set # CONFIG_AFFS_FS is not set # CONFIG_HFS_FS is not set # CONFIG_HFSPLUS_FS is not set # CONFIG_BEFS_FS is not set # CONFIG_BFS_FS is not set # CONFIG_EFS_FS is not set # CONFIG_CRAMFS is not set # CONFIG_VXFS_FS is not set # CONFIG_HPFS_FS is not set # CONFIG_QNX4FS_FS is not set # CONFIG_SYSV_FS is not set # CONFIG_UFS_FS is not set CONFIG_NETWORK_FILESYSTEMS=y 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=y CONFIG_LOCKD=y CONFIG_LOCKD_V4=y CONFIG_NFS_COMMON=y CONFIG_SUNRPC=y CONFIG_SUNRPC_GSS=y # CONFIG_SUNRPC_BIND34 is not set 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 # # Partition Types # CONFIG_PARTITION_ADVANCED=y # CONFIG_ACORN_PARTITION is not set # CONFIG_OSF_PARTITION is not set # CONFIG_AMIGA_PARTITION is not set # CONFIG_ATARI_PARTITION is not set # CONFIG_MAC_PARTITION is not set CONFIG_MSDOS_PARTITION=y # CONFIG_BSD_DISKLABEL is not set # CONFIG_MINIX_SUBPARTITION is not set # CONFIG_SOLARIS_X86_PARTITION is not set # CONFIG_UNIXWARE_DISKLABEL is not set # CONFIG_LDM_PARTITION is not set # CONFIG_SGI_PARTITION is not set # CONFIG_ULTRIX_PARTITION is not set # CONFIG_SUN_PARTITION is not set # CONFIG_KARMA_PARTITION is not set # CONFIG_EFI_PARTITION is not set # CONFIG_SYSV68_PARTITION is not set 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 # CONFIG_DLM is not set CONFIG_INSTRUMENTATION=y # CONFIG_PROFILING is not set # CONFIG_KPROBES is not set # CONFIG_MARKERS is not set # # Kernel hacking # CONFIG_TRACE_IRQFLAGS_SUPPORT=y # CONFIG_PRINTK_TIME is not set CONFIG_ENABLE_WARN_DEPRECATED=y CONFIG_ENABLE_MUST_CHECK=y 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_DETECT_SOFTLOCKUP=y CONFIG_SCHED_DEBUG=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_LOCK_ALLOC is not set # CONFIG_PROVE_LOCKING is not set # CONFIG_LOCK_STAT is not set # 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_DEBUG_SG is not set CONFIG_FRAME_POINTER=y CONFIG_FORCED_INLINING=y # CONFIG_BOOT_PRINTK_DELAY is not set # CONFIG_RCU_TORTURE_TEST is not set # CONFIG_FAULT_INJECTION is not set # CONFIG_SAMPLES is not set # CONFIG_EARLY_PRINTK is not set # CONFIG_DEBUG_STACKOVERFLOW is not set # CONFIG_DEBUG_STACK_USAGE is not set # CONFIG_DEBUG_PAGEALLOC is not set # CONFIG_DEBUG_RODATA is not set # CONFIG_4KSTACKS is not set CONFIG_DOUBLEFAULT=y # # Security options # # CONFIG_KEYS is not set # CONFIG_SECURITY is not set # CONFIG_SECURITY_FILE_CAPABILITIES is not set 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=m CONFIG_CRYPTO_CBC=y CONFIG_CRYPTO_PCBC=m # CONFIG_CRYPTO_LRW is not set # CONFIG_CRYPTO_XTS is not set # CONFIG_CRYPTO_CRYPTD 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_TWOFISH_586 is not set # CONFIG_CRYPTO_SERPENT is not set # CONFIG_CRYPTO_AES is not set # CONFIG_CRYPTO_AES_586 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_SEED 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 # CONFIG_CRYPTO_TEST is not set # CONFIG_CRYPTO_AUTHENC is not set # CONFIG_CRYPTO_HW is not set # # Library routines # CONFIG_BITREVERSE=y # CONFIG_CRC_CCITT is not set # CONFIG_CRC16 is not set # CONFIG_CRC_ITU_T is not set CONFIG_CRC32=y # CONFIG_CRC7 is not set # CONFIG_LIBCRC32C is not set CONFIG_PLIST=y CONFIG_HAS_IOMEM=y CONFIG_HAS_IOPORT=y CONFIG_HAS_DMA=y Please don't pay your attention on any Wi-Fi, network and other userland options. I would like to know where i'm wrong with setting up of options related with disk drivers, ATA/SATA subsystems and mayby some kinds of filesystems types. I tried to set up CONFIG_IDE and CONFIG_BLK_DEV_IDE options but they didn't make changes when i use these options with 'm' (with creating of modules) and they gave Unhandled Page Fault /__unknown_pf()/ in case of linking if ide drivers statically into kernel. All of necessary modules are seccusfully including into initrd image during MKINITRD. Thank you for any help!

4 17

question about multimedia
by 盛淑蕙 16 May '08

16 May '08

Hi, I found DROPS can support multimedia applications, I'm wondering whether a existing multimedia application can run on dope? if yes, where can i download from? cheers Saya

2 1

Re: Installing problem with gcc-4.2.3
by fei li 15 May '08

15 May '08

> > Uh, yes, that's it. Now the ubuntu 8.04 is ok. > > 2008/5/15 Adam Lackorzynski <adam(a)os.inf.tu-dresden.de>: > > >> On Thu May 15, 2008 at 00:43:23 +0800, ²±²Q¿· wrote: >> > I have successfully complied grub-0.97 patching with grub-0.97-os.6 on >> > ubuntu 8.04 (gcc 4.2.3). For compiling without error, please refer to >> > >> http://www.nabble.com/The-problems-of-compiling-grub-0.97-os.6-td14098838.h… >> >> Ok, this should be fixed hopefully. >> >> >> >> Adam >> -- >> Adam adam(a)os.inf.tu-dresden.de >> Lackorzynski http://os.inf.tu-dresden.de/~adam/<http://os.inf.tu-dresden.de/%7Eadam/> >> >> _______________________________________________ >> l4-hackers mailing list >> l4-hackers(a)os.inf.tu-dresden.de >> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers >> > >

1 0

Installing problem with gcc-4.2.3
by fei li 14 May '08

14 May '08

Hi, all I have installed l4 on ubuntu8.04 these days, the compiling process is ok, but when I finished compiling the packages, i reboot and find that the grub doesn't support. Then i patch the grub-0.97-os.6.diff, there are errors when i use the gcc-4.2.3, then i turn to gcc-4.1.3, and everything is ok, but when i finished the grub installing, i find i can't enter the ubuntu 8.04, it says error 27, don't know the command, something like that. Then i uninstall the patched grub and install the grub from the source, it's ok, but i can't enter the l4, I guess you can have a test, if it's true, I guess we need a os.7 patch for gcc-4.2.3 or something else. That's all!

3 4

compile error when compiling the package 'overlap_wm'
by 盛淑蕙 14 May '08

14 May '08

Hi, 2 questions are mentioned as following 1) I can only get files in directory 'overlap_WM' (i.e., excluding directory) when i used the syntax 'svn co -N http://svn.tudos.org/repos/tudos/trunk/l4/pkg/overlap_wm' so, I manually downloaded all the files i need. Is it a bug or something? 2) It showed the compile error messages as below when I compiled this package. ==> Linking nitovlwm LD_PRELOAD=/usr/l4/build/l4/tool/gendep/libgendep.so GENDEP_TARGET=nitovlwm GENDEP_BINARY=ld GENDEP_BINARY_ALT1=ld ld -m elf_i386 -o nitovlwm /usr/l4/build/l4/lib/x86_586/crt0.o --hash-style=sysv -L/usr/l4/build/l4/lib/x86_586/l4v2 -L/usr/l4/build/l4/lib/x86_586 -L/usr/l4/build/l4/lib -L/usr/l4/drops/lib/x86_586/l4v2 -L/usr/l4/drops/lib/x86_586 -L/usr/l4/drops/lib -T/usr/l4/build/l4/lib/x86_586/main_stat.ld -lovlsrv-idl -static -lgeneric_ts -ll4env -ll4rm -ldm_generic -ldm_mem -lthread -lsemaphore -llogserver_capsule -lnames -ll4util_root -ll4util -lsigma0 -lroot -ll4env -ll4env_err -ll4rm -ldm_generic -ldm_mem -lthread -lslab -ll4sys -nostdlib -luc_c -luclibc_support -u mmap_anon -lc_be_simple_mem -lc_be_mmap -lc_be_mmap_util -lc_be_l4env_start_stop -lc_be_minimal_log_io -luc_be_simple_sleep -ll4env -llogserver_capsule -ll4rm -ldm_generic -ldm_mem -lthread -lgeneric_ts -luc_c /usr/lib/gcc/i486-linux-gnu/4.2.3/libgcc.a -luc_c -ll4sys --warn-common -gc-sections /usr/l4/build/l4/lib/x86_586/l4v2/libl4env.a(startup.o): In function `__startup_main': /usr/l4/l4/pkg/l4env/lib/src/startup.c:80: undefined reference to `main' make[6]: *** [nitovlwm] Error 1 make[6]: Leaving directory `/usr/l4/build/l4/pkg/nitpicker/examples/nitovlwm/l4/OBJ-x86_586-l4v2' make[5]: *** [/usr/l4/build/l4/pkg/nitpicker/examples/nitovlwm/l4/OBJ-x86_586-l4v2] Error 2 make[5]: Leaving directory `/usr/l4/l4/pkg/nitpicker/examples/nitovlwm/l4' make[4]: *** [l4] Error 2 make[4]: Leaving directory `/usr/l4/l4/pkg/nitpicker/examples/nitovlwm' make[3]: *** [nitovlwm] Error 2 make[3]: Leaving directory `/usr/l4/l4/pkg/nitpicker/examples' make[2]: *** [examples] Error 2 make[2]: Leaving directory `/usr/l4/l4/pkg/nitpicker' make[1]: *** [nitpicker.bin] Error 2 make[1]: Leaving directory `/usr/l4/l4/pkg' make: *** [pkg] Error 2 make: Leaving directory `/usr/l4/l4' any help is welcomed kind regards Saya

2 1

Compiling errors on debian testing amd64
by fei li 11 May '08

11 May '08

Hi,all I have compiled l4 on my machine, my cpu type is amd64, when I compiled l4, I got errors as below. In my config file I chose the cpu type as amd64 and kept the other things not changed. Then I used the command make O=/home/licy/Desktop/trunk/build CC="gcc -disable-multilib" to compile. And I got the errors: /home/licy/Desktop/trunk/build/include/linux-24/linux/string.h:78: warning: conflicting types for built-in function '__builtin_memcmp' /tmp/cc6FM9DF.s: Assembler messages: /tmp/cc6FM9DF.s:2683: Error: suffix or operands invalid for `mov' /tmp/cc6FM9DF.s:2684: Error: Incorrect register `%rax' used with `l' suffix /tmp/cc6FM9DF.s:5510: Error: suffix or operands invalid for `and' /tmp/cc6FM9DF.s:7122: Error: suffix or operands invalid for `and' /tmp/cc6FM9DF.s:7201: Error: Incorrect register `%rax' used with `l' suffix Indeed I found http://lists.okl4.org/pipermail/developer/2007-April/000038.html who got the similar errors and at last the one gave an advice to simulate in qemu. Someone said that now we can compile l4 on amd64 machines, and I want to know what my problem is. My gcc version is Using built-in specs. Target: x86_64-linux-gnu Configured with: ../src/configure -v --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.2 --program-suffix=-4.2 --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --enable-mpfr --disable-libmudflap --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 4.2.3 (Debian 4.2.3-3) licy@licy:~/Desktop/trunk/l4$ ld -v GNU ld (GNU Binutils for Debian) 2.18.0.20080103 Whether it's the compiler's problem or we still can't compile l4 on amd64 machines, I hope someone give me some help and thanks a lot. Someone said that I shouldn't use the ia32 headers and just use the amd-64 headers is OK, but I still don't get the results, maybe there are patches for this problem or my compiling way is incorrect, just tell me and i'll have a try. Eh, I got the newest version of the trunk, I forgot telling you this.

2 1

switch to ipc question
by eric johnson 09 May '08

09 May '08

greetings !! i am using the the scheduler to implement some virtualisation stuff. i would really appreciate some help regarding the following stuff i need to get done. from the scheduler i need to do an upcall to a user level task . Can i use an ipc for this ? from the user task ( the receiver of the above upcall from kernel ) , i need to ( directly if possible ) switch to another task . how do i do this ? thanks !! any pointers would be really appreciated. ej

1 0

unhandled page fault
by 盛淑蕙 05 May '08

05 May '08

Hi, I tried to compile l4linux (kernel 2.6.24) under ubuntu 8.04 (The version of gcc compiler is 4.2.3) and it failed to boot under l4env with Fiasco microkernel. Here is my step to compile l4linux 1. make O=/usr/l4/build/linux x86-native_defconfig 2. enable Support for frame buffer devices and Framebuffer Console support 3. make O=/usr/l4/build/linux and then edited the menu.lst title L4Linux-2.6 root (hd0,0) kernel /boot/grub/common/bootstrap -modaddr 0x02000000 module /boot/grub/common/fiasco -nokdb -serial_esc module /boot/grub/common/sigma0 module /boot/grub/common/roottask task modname "bmodfs" attached 4 modules module /boot/grub/common/names module /boot/grub/common/log module /boot/grub/common/dm_phys --isa=0x00800000 module /boot/grub/common/simple_ts -t 300 module /boot/grub/common/rtc module /boot/grub/common/l4io module /boot/grub/common/bmodfs module /boot/grub/common/linux.cfg module /boot/grub/common/libloader.s.so module /boot/grub/common/libld-l4.s.so module /boot/grub/common/vmlinuz module /boot/grub/common/loader --fprov=BMODFS linux.cfg and linux.cfg modpath "(hd0,0)/boot/grub/common" task "vmlinuz" "earlyprint=yes mem=64M" all_sects_writable allow_vga it shows the following messages when it boots. (last screen page is shown) l4lx | Got 2048kB of ISA DMA memory l4lx | ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB] l4lx | ISA DMA memory: Number of physocal regions: 1, 2097152 Bytes l4lx | ISA DMA memory: 1: Phys: 0x0043a000 to 0x0063a000, Size: 2097152 l4lx | Main memory: virt: 0x00c00000 to 0x04bfffff [65536 KiB] l4lx | Main memory: Number of physical regions: 1, 67108864 Bytes l4lx | Main memory: 1: Phys: 0x18c00000 to 0x1cc00000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | Done (1483 entries). l4lx | l4env_register_pointer_section: addr = 00400000 size = 4128768 l4lx | end: virt: 0x00400000 to 0x007effff [4032 KiB] l4lx | Noncontiguous region for end l4lx | end: Number of physical regions: 5, 4128768 Bytes l4lx | end: 1: Phys: 0x00a09000 to 0x00a59000, Size: 327680 l4lx | end: 2: Phys: 0x0108a000 to 0x01220000, Size: 1662976 l4lx | end: 3: Phys: 0x01419000 to 0x01500000, Size: 946176 l4lx | end: 4: Phys: 0x01347000 to 0x01400000, Size: 757760 l4lx | end: 5: Phys: 0x01296000 to 0x01300000, Size: 434176 l4lx | l4lx_thread_create: Created thread 0d.05 (timer.i0) l4lx | Jumping over 4x 'hit' at 0x71c949 l4lx | L4RM: [PF] read at 0xf0cfb000, ip 007371a6, src D.02 l4lx | [D.0] l4rm/lib/src/pagefault.c:81:__unknown_pf(): l4lx | unhandled page fault --PANIC, 'g' for exit----------------------------------------------- IP: a00b25c4 [l4lx.rm] (d.00) jdb: My l4linux config file is also attached for your reference. =========================================== I have read the document 'l4/Fiasco/L4Linux kickstart' as a guide and tried many times to reconfigure the kernel, but i got the same result. Any help is very welcomed.

2 1

Unhandled page fault (in __unknown_pf)
by Igor V. Ruzanov 25 Apr '08

25 Apr '08

Hello! There is a problem when vmlinuz-2.6.24-l4 (kernel image compiled in l4linux source tree) boots under l4env with Fiasco u-kernel (last screen page is shown below): l4lx | Got 2048kB of ISA DMA memory l4lx | ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB] l4lx | ISA DMA memory: Number of physocal regions: 1, 2097152 Bytes l4lx | ISA DMA memory: 1: Phys: 0x0043b000 to 0x0063b000, Size: 2097152 l4lx | Main memory: virt: 0x00c00000 to 0x10bfffff [262144 KiB] l4lx | Main memory: Number of physical regions: 1, 26843556 Bytes l4lx | Main memory: 1: Phys: 0x07000000 to 0x17000000, Size: 268435456 l4lx | Filling lower tabs... l4lx | Done (1722 entries). l4lx | l4env_register_pointer_section: addr = 00660000 size = 667648 l4lx | end: virt: 0x00660000 to 0x00702fff [652 KiB] l4lx | Noncontiguous region for end l4lx | end: Number of physical regions: 2, 667548 Bytes l4lx | end: 1: Phys: 0x01251000 to 0x01287000, Size: 221184 l4lx | end: 2: Phys: 0x00ba9000 to 0x00c16000, Size: 446464 l4lx | l4env_rd_path: initrd-2.6.24-l4.img l4lx | Loading: initrd-2.6.24-l4.img l4lx | INITRD: Size of RAMdisk is 3516 KiB l4lx | RAMdisk from 10c00000 to 10f6f200 [3516 KiB] l4lx | L4RM: [PF] read at 0xf0070000, ip 004098d8, src D.02 l4lx | [D.0] l4rm/lib/src/pagefault.c:81:__unknown_pf(): l4lx | unhandled page fault --PANIC, 'g' for exit----------------------------------------------- IP: a00b53a6 [l4lx.rm] (d.00) jdb: [...] OBJDUMP of vmlinux shows the following listing (cutted fragment): 004098a1 <rtc_cmos_read>: rtc_cmos_read(): /usr/src/kernels/2.6-24-l4/arch/l4/kernel/arch-i386/time.c:93 4098a1: 56 push %esi 4098a2: 53 push %ebx 4098a3: 83 ec 04 sub $0x4,%esp 4098a6: 8a 5c 24 10 mov 0x10(%esp),%bl /usr/src/kernels/2.6-24-l4/build/include/asm-l4/l4-arch/asm/irqflags.h:68 4098aa: e8 4a 87 ff ff call 401ff9 <l4x_global_save_flags> 4098af: 89 c6 mov %eax,%esi /usr/src/kernels/2.6-24-l4/build/include/asm-l4/l4-arch/asm/irqflags.h:78 4098b1: e8 4c 88 ff ff call 402102 <l4x_global_cli> /usr/src/kernels/2.6-24-l4/build/include/asm-l4/x86-arch/asm/mc146818rtc_32.h:45 4098b6: 0f b6 d3 movzbl %bl,%edx 4098b9: 89 d1 mov %edx,%ecx 4098bb: 80 cd 01 or $0x1,%ch /usr/src/kernels/2.6-24-l4/build/include/asm-l4/x86-arch/asm/mc146818rtc_32.h:47 4098be: a1 98 23 67 00 mov 0x672398,%eax 4098c3: 85 c0 test %eax,%eax 4098c5: 74 04 je 4098cb <rtc_cmos_read+0x2a> /usr/src/kernels/2.6-24-l4/build/include/asm-l4/l4-arch/asm/processor.h:487 4098c7: f3 90 pause 4098c9: eb f3 jmp 4098be <rtc_cmos_read+0x1d> /usr/src/kernels/2.6-24-l4/build/include/asm-l4/x86-arch/asm/cmpxchg_32.h:137 4098cb: 0f b1 0d 98 23 67 00 cmpxchg %ecx,0x672398 /usr/src/kernels/2.6-24-l4/build/include/asm-l4/x86-arch/asm/mc146818rtc_32.h:51 4098d2: 85 c0 test %eax,%eax 4098d4: 75 e8 jne 4098be <rtc_cmos_read+0x1d> /usr/src/kernels/2.6-24-l4/build/include/asm-l4/l4-arch/asm/io.h:359 4098d6: 88 d0 mov %dl,%al (***) 4098d8: e6 70 out %al,$0x70 /usr/src/kernels/2.6-24-l4/build/include/asm-l4/l4-arch/asm/io.h:273 4098da: e6 80 out %al,$0x80 [...] We can see that the instruction at (***) causes the fault of executing. I have no idea why it makes the problem. I've compared same part of object code of usual kernel (2.6.24.5 that working in 'real' environment) - there was the same semantics of the function rtc_cmos_read(). Below i provide grub.list section about loading l4linux module: title Red Hat Enterprise Linux Server (2.6.24-l4, very EXPERIMENTAL) root (hd0,0) kernel /boot/l4/linux/bin/bootstrap modaddr 0x06000000 module /boot/l4/linux/bin/fiasco -nokdb -serial_esc module /boot/l4/linux/bin/sigma0 module /boot/l4/linux/bin/roottask task modname "bmodfs" attached 5 modules module /boot/l4/linux/bin/names module /boot/l4/linux/bin/log module /boot/l4/linux/bin/dm_phys --isa=0x00800000 module /boot/l4/linux/bin/simple_ts -t 300 module /boot/l4/linux/bin/l4io --noirq module /boot/l4/linux/bin/con module /boot/l4/linux/bin/bmodfs module /boot/l4/linux/cfg/l4linux26.cfg module /boot/l4/linux/bin/libloader.s.so module /boot/l4/linux/bin/libld-l4.s.so module /boot/vmlinuz-2.6.24-l4 module /boot/initrd-2.6.24-l4.img module /boot/l4/linux/bin/loader --fprov=BMODFS l4linux26.cfg [...] All the stuff was compiled under RHEL5 with kernel-2.6.24-5 (SMP). Version of gcc compiler is 4.1.1 20070105 (Red Hat 4.1.1-52) [gcc -v] with POSIX thread model. My hardware is: - mainboard is DG33TL; - CPU Intel Pentium Dual-Core; - RAM 2048Mb I tried to load l4linux-module in cores-multiplexed enabled (for SMP) and cores-multiplexed disabled CPU modes, that i was tuning them on/off in BIOS setup. Any help is very welcomed!

2 1

some question about serial package
by Ding ying 22 Apr '08

22 Apr '08

Hi,everyone. In l4/pkg/,there is a serial package about operate on serial port under L4/fiasco.But I couldn't run it propery on my machine.From adding some test sentence,I found the programme will dead in serial/lib/src/client.c 115 sentence:l4_ipc_wait(),but before dead,it could do two run in:l_recv<--->goto l_recv part.I mean the l4_ipc_wait() could get two message and do the relevant work,but when goto third run,it dead,and client invoking function also dead.I can't find what cause the this. Is there anybody could help me? Best Regards! ying ding

2 1

Fiasco compilation with ubuntu
by Marc CHALAND 17 Apr '08

17 Apr '08

Hi, I get problem with our version of ubuntu to compile fiasco. date doesn't work exactly in a same manner as gentoo and debian. It adds "(+02.00)" at the end of output which disturbs make process. Here is the patch that we use. It works on debian and gentoo also. Regards Marc

3 3

compile error
by 盛淑蕙 14 Apr '08

14 Apr '08

Hi, I have downloaded the fiasco,l4linux and l4env as following ./repomgr co fiasco ./repomgr co hello ./repomgr co l4linux2.6-env svn co http://svn.tudos.org/repos/l4linux/trunk l4linux-2.6 It is failed to compile during building the loader package. === Building lib of "loader" === PWD=/usr/l4/pkg/loader make -C loader lib -o include -o idl make[2]: Entering directory `/usr/l4/l4/pkg/loader' test -f lib/broken -o -f lib/obsolete || \ if [ -f lib/Makefile ] ; then PWD=/usr/l4/pkg/loader/lib make -C lib ; fi make[3]: Entering directory `/usr/l4/l4/pkg/loader/lib' test -f clientlib/broken -o -f clientlib/obsolete || \ if [ -f clientlib/Makefile ] ; then PWD=/usr/l4/pkg/loader/lib/clientlib make -C clientlib ; fi make[4]: Entering directory `/usr/l4/l4/pkg/loader/lib/clientlib' PWD=/usr/l4/build/l4env/pkg/loader/lib/clientlib/OBJ-x86_586-l4v2 make -C /usr/l4/build/l4env/pkg/loader/lib/clientlib/OBJ-x86_586-l4v2 -f Makefile make[5]: Entering directory `/usr/l4/build/l4env/pkg/loader/lib/clientlib/OBJ-x86_586-l4v2' make[5]: Leaving directory `/usr/l4/build/l4env/pkg/loader/lib/clientlib/OBJ-x86_586-l4v2' make[4]: Leaving directory `/usr/l4/l4/pkg/loader/lib/clientlib' test -f runtime/broken -o -f runtime/obsolete || \ if [ -f runtime/Makefile ] ; then PWD=/usr/l4/pkg/loader/lib/runtime make -C runtime ; fi make[4]: Entering directory `/usr/l4/l4/pkg/loader/lib/runtime' PWD=/usr/l4/build/l4env/pkg/loader/lib/runtime/OBJ-x86_586-l4v2 make -C /usr/l4/build/l4env/pkg/loader/lib/runtime/OBJ-x86_586-l4v2 -f Makefile make[5]: Entering directory `/usr/l4/build/l4env/pkg/loader/lib/runtime/OBJ-x86_586-l4v2' ==> Linking to shared libloader.s.so LD_PRELOAD=/usr/l4/build/l4env/tool/gendep/libgendep.so GENDEP_TARGET=libloader.s.so GENDEP_BINARY=ld ld -m elf_i386 \ -o libloader.s.so -shared -T/usr/l4/build/l4env/lib/x86_586/main_rel.ld /usr/l4/build/l4env/lib/x86_586/crt0.s.o helper_dyn.s.o --hash-style=sysv -L/usr/l4/build/l4env/lib/x86_586/l4v2 -L/usr/l4/build/l4env/lib/x86_586 -L/usr/l4/build/l4env/lib -L/usr/l4/drops/lib/x86_586/l4v2 -L/usr/l4/drops/lib/x86_586 -L/usr/l4/drops/lib --whole-archive -lsemaphore.p -lthread.p -ldm_generic.p -ldm_mem.p -lslab.p -ll4env_err.p -ll4rm.p -ll4env.p -llogserver.p -lnames.p -lroot.p -lc_be_l4env_start_stop.p -lc_be_minimal_log_io.p -lc_be_simple_mem.p -lc_be_mmap.p -lc_be_mmap_util.p -luclibc_support.p -lgeneric_ts.p -lgeneric_fprov.p -lloaderif.p -ll4util_root.p -lsigma0.p --no-whole-archive -ll4sys.p -ll4util.p -ul4util_reboot -ugetopt_long /usr/lib/gcc/i486-linux-gnu/4.1.3/libgcc.a ld: cannot find -luclibc_support.p make[5]: *** [libloader.s.so] Error 1 make[5]: Leaving directory `/usr/l4/build/l4env/pkg/loader/lib/runtime/OBJ-x86_586-l4v2' make[4]: *** [/usr/l4/build/l4env/pkg/loader/lib/runtime/OBJ-x86_586-l4v2] Error 2 make[4]: Leaving directory `/usr/l4/l4/pkg/loader/lib/runtime' make[3]: *** [runtime] Error 2 make[3]: Leaving directory `/usr/l4/l4/pkg/loader/lib' make[2]: *** [lib] Error 2 make[2]: Leaving directory `/usr/l4/l4/pkg/loader' make[1]: *** [loader.lib] Error 2 make[1]: Leaving directory `/usr/l4/l4/pkg' make: *** [pkg] Error 2 make: Leaving directory `/usr/l4/l4' my gcc version is 4.1.3 and using xubuntu. Any other packages needed to be installed ? thank you

2 2

memory section iguana
by Anand Gore 14 Apr '08

14 Apr '08

Hi, I have a question about memory section in iguana server. I wanted to dynamically load a binary to a specific location e.g. 0x2000000 in my task/thread. Here is the code I have - mnsigned int base_address=0x200000; mm_s memsection_create_fixed(section_size, base_address); if(mm_s != 0) { memcpy(base_address, binary_buffer, sizeof(binary_buffer)); func=(func_t)base_address; func(); } The binary is built and linked to a fixed address 0x2000000, such that there will be an initialization function at 0x2000000. But I read in the document that the memsection_create_fixed is going to go away sometime down the line. I am wondering if there is going to be a replacement function for that or there is a better way to do this. Thank you. Anand

1 0

error while compiling the l4.
by l4 08 Apr '08

08 Apr '08

hi all, last time I put a error message to the l4-hacker ,and you send me a mail that ?I have cut away the first error.So I send the full infomations to you when I compiled it.By useing the cpu info,when I compile fiasco I do this: > > -------------------------------------------------- > > || Architecture (AMD64 processor family) ---> > > || Platform (PC platform) ---> > > || CPU (AMD Opteron / Athlon64) ---> > > || for scheduling) ---> > > || [*] Enables workaroud for AMD FPU security leak > > --------------------------------------- > > It sames that fiasco OK,but when I compile l4 with the following info: > > --------------------------------------- > > (x86) Target Architecture > > CPU type: "586" > > (L4.Fiasco) ABI > > -------------------------------------- > > errors comes out like this: > > ------------------------------------------------------------------------- > > ... Generating generic_ts-server.c > > CC="gcc -m32" /home/l4/tudos/l4/../dice/src/dice > > --require="3.2.0" -P-DUSE_UCLIBC=y -P-DRAM_BASE=0x0 > > -P-DSYSTEM_x86_l4v2 -P-DARCH_x86 -P-DCPUTYPE_586 -P-DL4API_l4v2 > > -P-DCONFIG_L4_CALL_SYSCALLS -P-DCONFIG_L4_ABS_SYSCALLS > > -P-I/home/l4/tudos/build/include/x86/l4v2 > > -P-I/home/l4/tudos/build/include/l4v2 > > -P-I/home/l4/tudos/build/include/x86 > > -P-I/home/l4/tudos/build/include > > -P-I/home/l4/tudos/l4/../dice/include > > -P-I/home/drops/include/x86/l4v2 -P-I/home/drops/include/l4v2 > > -P-I/home/drops/include/x86 -P-I/home/drops/include -P-nostdinc > > -P-I/home/l4/tudos/build/include/x86/uclibc > > -P-I/home/l4/tudos/build/include/uclibc > > -P-I/home/l4/tudos/build/include/uclibc++ > > -P-I/home/drops/include/x86/uclibc > > -P-I/home/drops/include/uclibc -P-I/home/drops/include/uclibc++ > > -P-I/usr/lib/gcc/x86_64-linux-gnu/4.1.3/include > > -P-I/usr/lib/gcc/x86_64-linux-gnu/4.1.3/include-fixed -Bifiasco > > -Bpia32 -MD /home/l4/tudos/l4/pkg/generic_ts/idl/generic_ts.idl > > In file included > > from /home/l4/tudos/l4/pkg/generic_ts/idl/generic_ts.idl:0, > > from l4/sys/types.h:1: > > /home/l4/tudos/build/include/x86/l4v2/l4/sys/types.h:398.20-29: > > error: value is out of range > > make[4]: *** [generic_ts-server.c] error 1 > > make[4]: Leaving directory > > `/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-x86-l4v2' > > make[3]: *** > > [/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-x86-l4v2] error 2 > > make[3]: Leaving directory > > `/home/l4/tudos/l4/pkg/generic_ts/idl' > > make[2]: *** [idl] error 2 > > make[2]: Leaving directory `/home/l4/tudos/l4/pkg/generic_ts' > > make[1]: *** [generic_ts.headers] error 2 > > make[1]: Leaving directory `/home/l4/tudos/l4/pkg' > > make: *** [pkg] error 2 > > ----------------------------------------------------------------------- > > firstly I think maybe I didn't do the right selecet,then I change it: > > ---------------------------------------------------------- > > (amd64) TargetArchitecture > > CPU type: "k7" > > (L4.Fiasco) > > ------------------------------------------------------------------ > > but there is another errors: > > -------------------------------- > > ... Generating generic_ts-server.c > > CC="gcc -m64" /home/l4/tudos/l4/../dice/src/dice > > --require="3.2.0" -P-DUSE_UCLIBC=y -P-DRAM_BASE=0x0 > > -P-DSYSTEM_amd64_l4v2 -P-DARCH_amd64 -P-DCPUTYPE_k7 > > -P-DL4API_l4v2 -P-DCONFIG_L4_CALL_SYSCALLS > > -P-DCONFIG_L4_ABS_SYSCALLS > > -P-I/home/l4/tudos/build/include/amd64/l4v2 > > -P-I/home/l4/tudos/build/include/l4v2 > > -P-I/home/l4/tudos/build/include/amd64 > > -P-I/home/l4/tudos/build/include > > -P-I/home/l4/tudos/l4/../dice/include > > -P-I/home/drops/include/amd64/l4v2 -P-I/home/drops/include/l4v2 > > -P-I/home/drops/include/amd64 -P-I/home/drops/include > > -P-nostdinc -P-I/home/l4/tudos/build/include/amd64/uclibc > > -P-I/home/l4/tudos/build/include/uclibc > > -P-I/home/l4/tudos/build/include/uclibc++ > > -P-I/home/drops/include/amd64/uclibc > > -P-I/home/drops/include/uclibc -P-I/home/drops/include/uclibc++ > > -P-I/usr/lib/gcc/x86_64-linux-gnu/4.1.3/include > > -P-I/usr/lib/gcc/x86_64-linux-gnu/4.1.3/include-fixed -Bifiasco > > -Bpamd64 -MD /home/l4/tudos/l4/pkg/generic_ts/idl/generic_ts.idl > > In file included > > from /home/l4/tudos/l4/pkg/generic_ts/idl/generic_ts.idl:0, > > from l4/sys/types.h:1, > > > > from /home/l4/tudos/build/include/amd64/l4v2/l4/sys/types.h:185: > > /home/l4/tudos/build/include/l4/sys/__l4_fpage-64bit.h:96.55-65: > > error: value is out of range > > make[4]: *** [generic_ts-server.c] error 1 > > make[4]: Leaving directory > > `/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-amd64-l4v2' > > make[3]: *** > > [/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-amd64-l4v2] error 2 > > make[3]: Leaving directory > > `/home/l4/tudos/l4/pkg/generic_ts/idl' > > make[2]: *** [idl] error 2 > > make[2]: Leaving directory `/home/l4/tudos/l4/pkg/generic_ts' > > make[1]: *** [generic_ts.headers] error 2 > > make[1]: Leaving directory `/home/l4/tudos/l4/pkg' > > make: *** [pkg] error 2 > > ---------------------------------------------------------- I think It can work on AMD64,could you help me?thank you very much! fangzhsh,

3 3

Re: error while compiling the l4.
by Martin Pohlack 07 Apr '08

07 Apr '08

Please use the mailing list! Forwarding. l4 wrote: >> You cut away the first error. Post a longer log. >> >> Cheers, >> Martin > > hi Martin, > last time I put a error message to the l4-hacker ,and you send me a mail > that I have cut away the first error.So I send the full infomations to > you when I compiled it.By useing the cpu info,when I compile fiasco I do > this: > -------------------------------------------------- > || Architecture (AMD64 processor family) ---> > || Platform (PC platform) ---> > || CPU (AMD Opteron / Athlon64) ---> > || for scheduling) ---> > || [*] Enables workaroud for AMD FPU security leak > --------------------------------------- > It sames that OK,but when I compile l4 with the following info: > --------------------------------------- > (x86) Target Architecture > │ │ CPU type: "586" > │ │ (L4.Fiasco) ABI > -------------------------------------- > errors comes out like this: > ------------------------------------------------------------------------- > ... Generating generic_ts-server.c > CC="gcc -m32" /home/l4/tudos/l4/../dice/src/dice > --require="3.2.0" -P-DUSE_UCLIBC=y -P-DRAM_BASE=0x0 > -P-DSYSTEM_x86_l4v2 -P-DARCH_x86 -P-DCPUTYPE_586 -P-DL4API_l4v2 > -P-DCONFIG_L4_CALL_SYSCALLS -P-DCONFIG_L4_ABS_SYSCALLS > -P-I/home/l4/tudos/build/include/x86/l4v2 > -P-I/home/l4/tudos/build/include/l4v2 > -P-I/home/l4/tudos/build/include/x86 > -P-I/home/l4/tudos/build/include > -P-I/home/l4/tudos/l4/../dice/include > -P-I/home/drops/include/x86/l4v2 -P-I/home/drops/include/l4v2 > -P-I/home/drops/include/x86 -P-I/home/drops/include -P-nostdinc > -P-I/home/l4/tudos/build/include/x86/uclibc > -P-I/home/l4/tudos/build/include/uclibc > -P-I/home/l4/tudos/build/include/uclibc++ > -P-I/home/drops/include/x86/uclibc > -P-I/home/drops/include/uclibc -P-I/home/drops/include/uclibc++ > -P-I/usr/lib/gcc/x86_64-linux-gnu/4.1.3/include > -P-I/usr/lib/gcc/x86_64-linux-gnu/4.1.3/include-fixed -Bifiasco > -Bpia32 -MD /home/l4/tudos/l4/pkg/generic_ts/idl/generic_ts.idl > In file included > from /home/l4/tudos/l4/pkg/generic_ts/idl/generic_ts.idl:0, > from l4/sys/types.h:1: > /home/l4/tudos/build/include/x86/l4v2/l4/sys/types.h:398.20-29: > error: value is out of range > make[4]: *** [generic_ts-server.c] error 1 > make[4]: Leaving directory > `/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-x86-l4v2' > make[3]: *** > [/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-x86-l4v2] error 2 > make[3]: Leaving directory > `/home/l4/tudos/l4/pkg/generic_ts/idl' > make[2]: *** [idl] error 2 > make[2]: Leaving directory `/home/l4/tudos/l4/pkg/generic_ts' > make[1]: *** [generic_ts.headers] error 2 > make[1]: Leaving directory `/home/l4/tudos/l4/pkg' > make: *** [pkg] error 2 > ----------------------------------------------------------------------- > firstly I think maybe I didn't do the right selecet,then I change it: > ---------------------------------------------------------- > (amd64) TargetArchitecture > │ │ CPU type: "k7" │ > │ > │ │ (L4.Fiasco) │ > │ > ------------------------------------------------------------------ > but there is another errors: > -------------------------------- > ... Generating generic_ts-server.c > CC="gcc -m64" /home/l4/tudos/l4/../dice/src/dice > --require="3.2.0" -P-DUSE_UCLIBC=y -P-DRAM_BASE=0x0 > -P-DSYSTEM_amd64_l4v2 -P-DARCH_amd64 -P-DCPUTYPE_k7 > -P-DL4API_l4v2 -P-DCONFIG_L4_CALL_SYSCALLS > -P-DCONFIG_L4_ABS_SYSCALLS > -P-I/home/l4/tudos/build/include/amd64/l4v2 > -P-I/home/l4/tudos/build/include/l4v2 > -P-I/home/l4/tudos/build/include/amd64 > -P-I/home/l4/tudos/build/include > -P-I/home/l4/tudos/l4/../dice/include > -P-I/home/drops/include/amd64/l4v2 -P-I/home/drops/include/l4v2 > -P-I/home/drops/include/amd64 -P-I/home/drops/include > -P-nostdinc -P-I/home/l4/tudos/build/include/amd64/uclibc > -P-I/home/l4/tudos/build/include/uclibc > -P-I/home/l4/tudos/build/include/uclibc++ > -P-I/home/drops/include/amd64/uclibc > -P-I/home/drops/include/uclibc -P-I/home/drops/include/uclibc++ > -P-I/usr/lib/gcc/x86_64-linux-gnu/4.1.3/include > -P-I/usr/lib/gcc/x86_64-linux-gnu/4.1.3/include-fixed -Bifiasco > -Bpamd64 -MD /home/l4/tudos/l4/pkg/generic_ts/idl/generic_ts.idl > In file included > from /home/l4/tudos/l4/pkg/generic_ts/idl/generic_ts.idl:0, > from l4/sys/types.h:1, > > from /home/l4/tudos/build/include/amd64/l4v2/l4/sys/types.h:185: > /home/l4/tudos/build/include/l4/sys/__l4_fpage-64bit.h:96.55-65: > error: value is out of range > make[4]: *** [generic_ts-server.c] error 1 > make[4]: Leaving directory > `/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-amd64-l4v2' > make[3]: *** > [/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-amd64-l4v2] error 2 > make[3]: Leaving directory > `/home/l4/tudos/l4/pkg/generic_ts/idl' > make[2]: *** [idl] error 2 > make[2]: Leaving directory `/home/l4/tudos/l4/pkg/generic_ts' > make[1]: *** [generic_ts.headers] error 2 > make[1]: Leaving directory `/home/l4/tudos/l4/pkg' > make: *** [pkg] error 2 > ---------------------------------------------------------- > I think It can work on AMD64,could you help me?thank you very much! > > > fangzhsh, > >

1 0

error while compiling the l4.
by fang zhengshu 06 Apr '08

06 Apr '08

hi all, when I compile the l4 ,errors come out like this : ------------------------------------------------------- $make[4]: *** [generic_ts-server.c] errot 1 $make[4]: Leaving directory `/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-amd64-l4v2' $make[3]: *** [/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-amd64-l4v2] error 2 $make[3]: Leaving directory `/home/l4/tudos/l4/pkg/generic_ts/idl' $make[2]: *** [idl] error 2 $make[2]: Leaving directory `/home/l4/tudos/l4/pkg/generic_ts' $make[1]: *** [generic_ts.headers] error 2 $make[1]: Leaving directory `/home/l4/tudos/l4/pkg' $make: *** [pkg] error 2 --------------------------------------------------------- I am now useing ubuntu 8.04,and I change the cpu info when I compile the fiasco & l4, my leader suggest me use qemu to use debian4.0. does the fiasco support the ubuntu8.04?and i put the cpuinfo following. anyone help me ?thank you! cpuinfo: l4@ubuntu:~/tudos/kernel/fiasco$ cat /proc/cpuinfo processor : 0 vendor_id : AuthenticAMD cpu family : 15 model : 107 model name : AMD Athlon(tm) 64 X2 Dual Core Processor 4200+ stepping : 2 cpu MHz : 2200.110 cache size : 512 KB physical id : 0 siblings : 2 core id : 0 cpu cores : 2 fpu : yes fpu_exception : yes cpuid level : 1 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt rdtscp lm 3dnowext 3dnow rep_good pni cx16 lahf_lm cmp_legacy svm extapic cr8_legacy 3dnowprefetch bogomips : 4403.59 TLB size : 1024 4K pages clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: ts fid vid ttp tm stc 100mhzsteps processor : 1 vendor_id : AuthenticAMD cpu family : 15 model : 107 model name : AMD Athlon(tm) 64 X2 Dual Core Processor 4200+ stepping : 2 cpu MHz : 2200.110 cache size : 512 KB physical id : 0 siblings : 2 core id : 1 cpu cores : 2 fpu : yes fpu_exception : yes cpuid level : 1 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt rdtscp lm 3dnowext 3dnow rep_good pni cx16 lahf_lm cmp_legacy svm extapic cr8_legacy 3dnowprefetch bogomips : 4400.24 TLB size : 1024 4K pages clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: ts fid vid ttp tm stc 100mhzsteps

3 2

Re: l4-hackers Digest, Vol 60, Issue 5
by l4 06 Apr '08

06 Apr '08

hi adam, I installed ubuntu8.04 with 64bit through hetwork start(through change the BIOS),now the `uname -a` is: -------------------------------------- Linux ubuntu 2.6.24-15-generic #1 SMP Fri Apr 4 03:10:59 UTC 2008 x86_64 GNU/Linux --------------------------------------- if I don't put all the infomation,please send email to me. regards! fangzhsh > Message: 2 > Date: Sun, 6 Apr 2008 23:36:15 +0200 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > Subject: Re: error while compiling the l4. > To: l4-hackers(a)os.inf.tu-dresden.de > Message-ID: <20080406213615.GD4422(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > > On Fri Apr 04, 2008 at 12:24:06 +0800, fang zhengshu wrote: > > when I compile the l4 ,errors come out like this : > > ------------------------------------------------------- > > $make[4]: *** [generic_ts-server.c] errot 1 > > $make[4]: Leaving directory > > `/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-amd64-l4v2' > > $make[3]: *** [/home/l4/tudos/build/pkg/generic_ts/idl/OBJ-amd64-l4v2] error > > 2 > > $make[3]: Leaving directory `/home/l4/tudos/l4/pkg/generic_ts/idl' > > $make[2]: *** [idl] error 2 > > $make[2]: Leaving directory `/home/l4/tudos/l4/pkg/generic_ts' > > $make[1]: *** [generic_ts.headers] error 2 > > $make[1]: Leaving directory `/home/l4/tudos/l4/pkg' > > $make: *** [pkg] error 2 > > --------------------------------------------------------- > > I am now useing ubuntu 8.04,and I change the cpu info when I compile the > > fiasco & l4, my leader suggest me use qemu to use debian4.0. > > does the fiasco support the ubuntu8.04?and i put the cpuinfo following. > > Do you have a 64bit or 32bit version of Ubuntu installed? > > > Adam

1 0

Re: stpm
by ahmad kamal 06 Apr '08

06 Apr '08

but i got this error while running stpm *tpmrun | l4con/lib/src/contxt.c:63:contxt_init(): *tpmrun | Could not find con at names *tpmrun | main(): Error -3 opening contxt lib -- terminating *tpmrun | *tpmrun | Exiting with -3 this is the command ./fiasco -l names -l dm_phys -l stpm-ux -l tpmrun ----- Original Message ---- > From: Carsten Weinhold <weinhold(a)os.inf.tu-dresden.de> > To: ahmad kamal <amadkamal(a)yahoo.com> > Cc: l4-hackers(a)os.inf.tu-dresden.de > Sent: Friday, April 4, 2008 4:34:58 PM > Subject: Re: stpm > > Am Freitag April 4 2008 schrieb ahmad kamal: > > Hi! > > > thanks for the info, at the same time, i also give myself a try to port the > > codes to be able running on l4.hehe:) one more thing, in order to run > > tpmemulator on ux, does it really need con-ux server? > > con-ux is an L4 server that provides virtual graphical consoles. If you want > to run con-ux on Fiasco-UX with graphics support, you also need the ux_con > binary as Adam explained. However, the TPM emulator itself does not depend on > graphical output and you can therefore compile Fiasco-UX without support for > the virtual framebuffer. In this case, you do not need ux_con (and con-ux > won't work of course). > > Regards, > Carsten > > > ----- Original Message ---- > > > > > From: Carsten Weinhold > > > To: l4-hackers(a)os.inf.tu-dresden.de > > > Cc: ahmad kamal > > > Sent: Thursday, April 3, 2008 6:21:47 PM > > > Subject: Re: stpm > > > > > > Am Donnerstag April 3 2008 schrieb ahmad kamal: > > > > > > Hi Ahmad, > > > > > > > if stpm server able to call tpmemulator, so far as i know it can only > > > > call physical TPM chip. > > > > > > There is a STPM backend that can talk to a TPM emulator. However, this > > > backend assumes that STPM is running on top Fiasco-UX and talks to the > > > 'tpmd' daemon using sockets. In this case, tpmd runs next to Fiasco-UX on > > > the Linux host kernel. > > > > > > We are also porting the TPM emulator such that it can run directly on top > > > of L4, but this is work in progress in a very early stage. > > > > > > Regards, > > > Carsten > > > > > > ___________________________________________________________________________ > >_________ You rock. That's why Blockbuster's offering you one month of > > Blockbuster Total Access, No Cost. > > http://tc.deals.yahoo.com/tc/blockbuster/text5.com > > > ____________________________________________________________________________________ You rock. That's why Blockbuster's offering you one month of Blockbuster Total Access, No Cost. http://tc.deals.yahoo.com/tc/blockbuster/text5.com

2 1

where to start.
by Varghese Mathew 04 Apr '08

04 Apr '08

Hi, / Pardon me if this is a repeated question./ I recently came across L4 and Fiasco and am interested in studying and developing the same. (Particularly Fiasco as it's written in C++) Could you kindly help me by providing me pointers on how to start off. Specifically, I'm looking for documents which - describe how to build Fiasco and get it running on my machine. - how to build and get l4-linux or other custom operating systems running on top of the above. - the source code organization. Likewise, what is the current status of Fiasco? The latest update I see on the site: http://os.inf.tu-dresden.de/fiasco/ is dated 26 September 2005. Thanks in advance /varghese

2 1

Re: stpm
by ahmad kamal 04 Apr '08

04 Apr '08

thanks for the info, at the same time, i also give myself a try to port the codes to be able running on l4.hehe:) one more thing, in order to run tpmemulator on ux, does it really need con-ux server? ----- Original Message ---- > From: Carsten Weinhold <weinhold(a)os.inf.tu-dresden.de> > To: l4-hackers(a)os.inf.tu-dresden.de > Cc: ahmad kamal <amadkamal(a)yahoo.com> > Sent: Thursday, April 3, 2008 6:21:47 PM > Subject: Re: stpm > > Am Donnerstag April 3 2008 schrieb ahmad kamal: > > Hi Ahmad, > > > if stpm server able to call tpmemulator, so far as i know it can only call > > physical TPM chip. > > There is a STPM backend that can talk to a TPM emulator. However, this backend > assumes that STPM is running on top Fiasco-UX and talks to the 'tpmd' daemon > using sockets. In this case, tpmd runs next to Fiasco-UX on the Linux host > kernel. > > We are also porting the TPM emulator such that it can run directly on top of > L4, but this is work in progress in a very early stage. > > Regards, > Carsten > > ____________________________________________________________________________________ You rock. That's why Blockbuster's offering you one month of Blockbuster Total Access, No Cost. http://tc.deals.yahoo.com/tc/blockbuster/text5.com

2 1

[Fwd: Re: error while compiling the l4.]
by Martin Pohlack 04 Apr '08

04 Apr '08

Forwarding to group again ...

1 0

ux_con
by ahmad kamal 04 Apr '08

04 Apr '08

hi all, where to get ux_con? what i get so far only con-ux and l4con only? ____________________________________________________________________________________ You rock. That's why Blockbuster's offering you one month of Blockbuster Total Access, No Cost. http://tc.deals.yahoo.com/tc/blockbuster/text5.com

3 2

Re: where to start.
by ahmad kamal 04 Apr '08

04 Apr '08

hi mathew, u can try think link, http://wiki.tudos.org this pdf also give a good start, though some information is outdated http://dslab.lzu.edu.cn/docs/publications/l4_kickstart.pdf for a novice l4 hackers like me, i would say, its better to use fiasco-ux, here are the link http://os.inf.tu-dresden.de/fiasco/ux/ and also try to go to this link for a basic tutorial and distance learning lecturers http://www.inf.tu-dresden.de/index.php?node_id=1317&ln=en and don't forget to read the mailing list archive if u've got time ----- Original Message ---- From: Varghese Mathew <varghese85.lists(a)gmail.com> To: l4-hackers(a)os.inf.tu-dresden.de Sent: Thursday, April 3, 2008 2:04:51 PM Subject: where to start. Hi, Pardon me if this is a repeated question. I recently came across L4 and Fiasco and am interested in studying anddeveloping the same. (Particularly Fiasco as it's written in C++) Could you kindly help me by providing me pointers on how to start off. Specifically, I'm looking for documents which - describe how to build Fiasco and get it running on my machine. - how to build and get l4-linux or other custom operating systemsrunning on top of the above. - the source code organization. Likewise, what is the current status of Fiasco? The latest update I see on the site: http://os.inf.tu-dresden.de/fiasco/ is dated 26 September 2005. Thanks in advance /varghese ____________________________________________________________________________________ You rock. That's why Blockbuster's offering you one month of Blockbuster Total Access, No Cost. http://tc.deals.yahoo.com/tc/blockbuster/text5.com

1 0