- l4-hackers - example.com Site

Support for Intel Xeon
by Wang, Chip 18 Jul '05

18 Jul '05

Hi, Do anybody know if Fiasco and L4Linux support Intel Xeon processors? Chip The information contained in this e-mail message is PRIVATE. It may contain confidential information and may be legally privileged. It is intended for the exclusive use of the addressee(s). If you are not the intended recipient, you are hereby notified that any dissemination, distribution or reproduction of this communication is strictly prohibited. If the intended recipient(s) cannot be reached or if a transmission problem has occurred, please notify the sender immediately by return e-mail and destroy all copies of this message. Thank you.

2 1

Archive into libloader.s.so Fails
by Kenji Miyamoto 17 Jul '05

17 Jul '05

When using the same configuration as last time ( http://os.inf.tu-dresden.de/pipermail/l4-hackers/2005/002346.html ), I recieve this error well into the build of L4Env: ==> Archiving into libloader.s.so LD_PRELOAD=/mnt/l4/usr/src/l4/tool/gendep/libgendep.so GENDEP_TARGET=libloader.s.so GENDEP_BINARY=ld ld -o libloader.s.so -shared \ -T../../../../../lib/x86_586/main_rel.ld main.s.o helper_dyn.s.o errstr-l4ipc.s.o -L../../../../../lib/x86_586/l4v2 -L/mnt/lfs/lib/x86_586/l4v2 -L../../../../../lib/x86_586 -L/mnt/lfs/lib/x86_586 -L../../../../../lib -L/mnt/lfs/lib -L../../../../../../oskit10/lib -L/mnt/lfs/lib/oskit10 --whole-archive -lsemaphore.p -lthread.p -ldm_generic.p -ldm_mem.p -lslab.p -ll4env_err.p -ll4rm.p -ll4env_loaderruntime.p -llogserver.p -lnames.p -lroot.o.p -lgeneric_ts.p -lloaderif.p --no-whole-archive -ll4util.p -ul4util_reboot -ugetopt_long /usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5-20050130/libgcc.a --nostdlib ld: cannot find -lroot.o.p make[5]: *** [libloader.s.so] Error 1 make[5]: Leaving directory `/mnt/l4/usr/src/l4/pkg/loader/lib/runtime/OBJ-x86_586-l4v2' make[4]: *** [OBJ-x86_586-l4v2] Error 2 make[4]: Leaving directory `/mnt/l4/usr/src/l4/pkg/loader/lib/runtime' make[3]: *** [runtime] Error 2 make[3]: Leaving directory `/mnt/l4/usr/src/l4/pkg/loader/lib' make[2]: *** [lib] Error 2 make[2]: Leaving directory `/mnt/l4/usr/src/l4/pkg/loader' make[1]: *** [loader.lib] Error 2 make[1]: Leaving directory `/mnt/l4/usr/src/l4/pkg' make: *** [pkg] Error 2 What doen the "ld: cannot find -lroot.o.p" mean? - Kenji

2 1

L4Evn-2.6 Fails to Configure
by Kenji Miyamoto 16 Jul '05

16 Jul '05

According to the build instructions, a "make config" in the l4 directory will create a configuration menu. It doesn't seem to work in today's (07-16-2005) CVS version: l4 # make config make: *** No rule to make target `config'. Stop. l4 # make xconfig make: *** No rule to make target `xconfig'. Stop. There isn't a Makefile in the l4 directory, either. Why is this so? - Neil

2 1

L4Env Compilation Error at "Multiboot-SMP" on Gentoo
by Kenji Miyamoto 13 Jul '05

13 Jul '05

Hello all, I am getting an error when compiling L4Env on my computer: Gentoo 2005.0 i386 (Pentium 4) kernel-2.6.12-gentoo-r4 gcc-3.3.5.20050130 I have download the newest CVS sources as of today (July 12th, 2005). I have had my drive in both the CVS directory (/usr/src/cvs/l4linux-2.6/l4) and a secondary mounted hard drive (/l4-linux/usr/src/l4linux-2.6/l4) with no different in results. How would I get it to build? My configuration options are as follows, from DROPS: Target Architectures ---> [*] x86 CPU types: "686" [*] L4 V2 [*] Build shared libloaders.s.so Paths and Directories ---> DROPS_STDDIR: "/l4-linux" DROPS_INSTDIR: "$(DROPS_STDDIR)" L4LINUX22_DIR: "$(L4DIR)/../linux22" [*] Linux 2.6 kernel sources available Path to Linux 2.6 sources: "$(L4DIR)/../l4linux-2.6" DDE include path (DDE_INCDIR): "$(L4DIR)/include/$(ARCH)/l4/dde_linux $(DROPS_STDDIR)/include/$(ARCH)/l4/dde_linux" DDE-2.6 include path (DDE26_INCDIR): "$(L4DIR)/include/$(ARCH)/l4/dde_linux26 $(DROPS_STDDIR)/include/$(ARCH)/l4/dde_linux26 $(L4DIR)/include/l4/dde_linux26 $(DROPS_STDDIR) SDL include path (SDL_INCDIR): "$(L4DIR)/include/l4/sdl $(DROPS_STDDIR)/include/l4/sdl" Verboseness and Messages ---> [*] Verbose dependency building [*] Verbose compilation and building [*] Short messages for compilation [*] Colored build-steps Compilers and Tools ---> [*] System has ld.so (highly recommended if so) [*] Automatically determine internal gcc preprocessor names [*] Automatically determine internal ld names [*] Strip binaries on install [*] Generate stabs-compatible debug Infos with gcc-3+ [*] GCC: Omit Frame-pointers [*] Generate Map-files for binaries This is where the error starts: make[3]: Entering directory `/l4-linux/usr/src/l4linux-2.6/oskit/examples' ld -Ttext 100000 -L../lib \ -o multiboot-smp ../lib/multiboot.o multiboot-smp.o \ -lsmp -lkern -lmc -llmm ../lib/crtn.o /usr/lib/gcc-lib/i686-pc-linux-gnu/3.3.5-20050130/libgcc.a ../lib/libsmp.a(boot.o)(.text+0x29): In function `_SMP_TRAMP_START_': : relocation truncated to fit: R_386_16 _SMP_TRAMP_32_ENTRY_ make[3]: *** [multiboot-smp] Error 1 make[3]: Leaving directory `/l4-linux/usr/src/l4linux-2.6/oskit/examples' make[2]: *** [examples/all.MAKE] Error 2 make[2]: Leaving directory `/l4-linux/usr/src/l4linux-2.6/oskit' make[1]: *** [all] Error 2 make[1]: Leaving directory `/l4-linux/usr/src/l4linux-2.6/oskit' make: *** [../oskit] Error 2 Any help would be greatly appreciated. - Neil

2 1

L4Env Compilation Error at "Multiboot-SMP" on Gentoo
by fabs0028＠free.fr 13 Jul '05

13 Jul '05

Hello i had the same problem some weeks ago. It is just an example that seems broken. For my part i changed the makefile : in the subfolder x86 , edit the GNUMakerules and in the targets comment multiboot-smp and it should be fine. Fabien Chaillou

1 0

RE: Error in building l4linux-2.6-env
by Wang, Chip 12 Jul '05

12 Jul '05

Hi Adam, I did not intentionally checkout dde. It just came with l4linux-2.6-env. I think it was part of the module. If it is not required to build l4linux-2.6 maybe you would want to separate it from the module? By the way, how can I receive CVS commit notifications via email, or is it even possible? I am looking forward to you publishing the fix soon. Thanks, Chip -----Original Message----- From: l4-hackers-bounces(a)os.inf.tu-dresden.de [mailto:l4-hackers-bounces@os.inf.tu-dresden.de]On Behalf Of Adam Lackorzynski Sent: Tuesday, July 12, 2005 10:43 AM To: l4-hackers(a)os.inf.tu-dresden.de Subject: Re: Error in building l4linux-2.6-env On Tue Jul 12, 2005 at 10:09:26 -0600, Wang, Chip wrote: > After skipped building fprov-l4 and kill-l4 in l4/pkg/loader/examples, > I managed to get a little further. > This time my make failed at l4/pkg/dde for conflicting function > prototypes. It appears the make was using Linux 2.4 header files while > building for 2.6 This is actually correct as dde_linux is for Linux2.4. The compiler error appears with more recent compiler versions, and I have now finally fixed it internally. Should be in our public CVS by tomorrow. On the other side, how did it come that you checked out dde? You don't need it to get L4Linux going. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers The information contained in this e-mail message is PRIVATE. It may contain confidential information and may be legally privileged. It is intended for the exclusive use of the addressee(s). If you are not the intended recipient, you are hereby notified that any dissemination, distribution or reproduction of this communication is strictly prohibited. If the intended recipient(s) cannot be reached or if a transmission problem has occurred, please notify the sender immediately by return e-mail and destroy all copies of this message. Thank you.

2 1

L4Linux 2.4 server priority
by Leon Brits 12 Jul '05

12 Jul '05

Hi all, I have some questions with regard to the priority of a L4Linux server: Q1: In my loader script I set the "priority" parameter to what some help file somewhere (I think on the website) showed namely 0xA0. When I do a l4lx_thread_prio_get inside a kernel module I get the value "100". Is the loader "priority" parameter hex or decimal? [0xA0 -> 100 ????] Q2: If I set the "priority" parameter of a second L4Linux server to 0x30 I also get 100. Does this parameter actually work? - if not where is "100" defined? Q3: The API call l4lx_thread_prio_get() actually fails when the module loads complaining about exported symbols, while l4lx_thread_create() which is defined in the same header file (thread.h) and in the same source file (thread.c) works fine. Can somebody please help me understand this!? Q4: In the L4Linux server the kernel's priority is set based on a define named PRIO_KERNEL which is defined as 127. How does this PRIO_KERNEL defined value (and other PRIO_* values) relate to the "priority" parameter. Thanks Leon

2 1

Error in building l4linux-2.6-env
by Wang, Chip 12 Jul '05

12 Jul '05

Hi, After skipped building fprov-l4 and kill-l4 in l4/pkg/loader/examples, I managed to get a little further. This time my make failed at l4/pkg/dde for conflicting function prototypes. It appears the make was using Linux 2.4 header files while building for 2.6 Does anybody have an idea of what went wrong? Chip make[5]: Entering directory `/home/drops/l4/pkg/dde_linux/lib/src/OBJ-x86_586-l4v2' ... Compiling mm.o LD_PRELOAD=/home/drops/l4/tool/gendep/libgendep.so GENDEP_TARGET=mm.o GENDEP_BINARY=cc1 gcc -c -D__KERNEL__ -DDDE_LINUX -DRAM_BASE=0x0 -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -I../../../lib/include -I../../../../../include/x86/l4/dde_linux -I/home/drops/include/x86/l4/dde_linux -I../../../../../include/linux-24 -I/home/drops/include/linux-24 -I../../../idl/OBJ-x86-l4v2 -I../../../../../include/x86/l4v2 -I/home/drops/include/x86/l4v2 -I../../../../../include/l4v2 -I/home/drops/include/l4v2 -I../../../../../include/x86 -I/home/drops/include/x86 -I../../../../../include -I/home/drops/include -nostdinc -DOSKIT -I../../../../../../oskit10 -I../../../../../../oskit10/oskit/c -I/home/drops/include/oskit10 -I/home/drops/include/oskit10/oskit/c -I/usr/lib/gcc/i586-mandrake-linux-gnu/3.4.3/include -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall -Wstrict-prototypes -fno-strict-aliasing /home/drops/l4/pkg/dde_linux/lib/src/mm.c -o mm.o In file included from ../../../../../include/linux-24/linux/bitops.h:69, from ../../../../../include/x86/l4/dde_linux/asm/system.h:10, from ../../../../../include/x86/l4/dde_linux/linux/spinlock.h:8, from ../../../../../include/linux-24/linux/wait.h:16, from ../../../../../include/linux-24/linux/fs.h:12, from ../../../../../include/linux-24/linux/capability.h:17, from ../../../../../include/linux-24/linux/binfmts.h:5, from ../../../../../include/x86/l4/dde_linux/linux/sched.h:11, from ../../../../../include/linux-24/linux/mm.h:4, from ../../../../../include/linux-24/linux/slab.h:14, from /home/drops/l4/pkg/dde_linux/lib/src/mm.c:50: ../../../../../include/linux-24/asm/bitops.h:343: warning: static declaration of 'ffs' follows non-static declaration In file included from ../../../../../include/x86/l4/dde_linux/linux/sched.h:25, from ../../../../../include/linux-24/linux/mm.h:4, from ../../../../../include/linux-24/linux/slab.h:14, from /home/drops/l4/pkg/dde_linux/lib/src/mm.c:50: ../../../../../include/linux-24/linux/smp.h:29: error: conflicting types for 'smp_send_reschedule' ../../../../../include/x86/l4/dde_linux/asm/smp.h:44: error: previous declaration of 'smp_send_reschedule' was here ../../../../../include/linux-24/linux/smp.h:29: error: conflicting types for 'smp_send_reschedule' ../../../../../include/x86/l4/dde_linux/asm/smp.h:44: error: previous declaration of 'smp_send_reschedule' was here make[5]: *** [mm.o] Error 1 make[5]: Leaving directory `/home/drops/l4/pkg/dde_linux/lib/src/OBJ-x86_586-l4v2' make[4]: *** [OBJ-x86_586-l4v2] Error 2 make[4]: Leaving directory `/home/drops/l4/pkg/dde_linux/lib/src' make[3]: *** [src] Error 2 make[3]: Leaving directory `/home/drops/l4/pkg/dde_linux/lib' make[2]: *** [lib] Error 2 make[2]: Leaving directory `/home/drops/l4/pkg/dde_linux' make[1]: *** [dde_linux.lib] Error 2 make[1]: Leaving directory `/home/drops/l4/pkg' make: *** [pkg] Error 2 The information contained in this e-mail message is PRIVATE. It may contain confidential information and may be legally privileged. It is intended for the exclusive use of the addressee(s). If you are not the intended recipient, you are hereby notified that any dissemination, distribution or reproduction of this communication is strictly prohibited. If the intended recipient(s) cannot be reached or if a transmission problem has occurred, please notify the sender immediately by return e-mail and destroy all copies of this message. Thank you.

2 1

L4Env Isolating Hard Drives
by Julian Grizzard 12 Jul '05

12 Jul '05

All, Consider a x86 computer that has two physical IDE hard drives. Is it possible for an L4Env I/O manager to allocate exactly one hard drive to an L4Linux2.6 server and allocate the second hard drive to another L4 task in a way that the L4Linux2.6 server has no way of knowing that the second hard drive exists? Thanks! -Julian

3 3

Help! Unable to build L4Env-0.2
by Wang, Chip 12 Jul '05

12 Jul '05

Hi fellow hackers, I am a newbie here. I am trying to build my first L4Linux-2.6 setup, but failed at building L4Env. I downloaded and unpacked the following S/W from the L4Env download page: - l4env-0.2 tarball - dde-0.2 tarball - libstdc++.0.2 - oskit-06302003 - oskit10-06302003 I also checked out L4Linux-2.6-env from CVS. I then followed the instructions and did 'make config' and 'make' from inside the 'l4' directory. The compilation eventually failed at building l4/pkg/loader. The linker complained that the library -lcon was missing. My Linux is 2.6.11 from Mandrake with KDE. My platform is an Acer TravelMate c300 notebook. I searched the mailing list archive but didn't see similar report of the problem I figure I must be missing some other pieces or having the wrong versions. By the way, I also got errors when building 'multiboot-smp'. I followed the suggestion to skip the example by creating a null executable. Should I do the same for this example? Could someone please show me what I did wrong? Thanks in advance for your help Chip The last portion of the build log is attached below. === Building servers, examples of "loader" === PWD=/home/drops/l4/pkg/loader make -C loader all -o lib -o include -o idl make[2]: Entering directory `/home/drops/l4/pkg/loader' test -f server/broken -o -f server/obsolete || \ if [ -f server/Makefile ] ; then PWD=/home/drops/l4/pkg/loader/server make -C server ; fi make[3]: Entering directory `/home/drops/l4/pkg/loader/server' test -f src/broken -o -f src/obsolete || \ if [ -f src/Makefile ] ; then PWD=/home/drops/l4/pkg/loader/server/src make -C src ; fi make[4]: Entering directory `/home/drops/l4/pkg/loader/server/src' PWD=/home/drops/l4/pkg/loader/server/src/OBJ-x86_586-l4v2 make -C OBJ-x86_586-l4v2 -f Makefile make[5]: Entering directory `/home/drops/l4/pkg/loader/server/src/OBJ-x86_586-l4v2' ==> Linking loader LD_PRELOAD=/home/drops/l4/tool/gendep/libgendep.so GENDEP_TARGET=loader GENDEP_BINARY=ld gcc -o loader ../../../../../lib/x86_586/crt0.o trampoline.s.o main.o cfg-parse.o cfg.o pager.o app.o fprov-if.o dm-if.o exec-if.o idl.o events.o lib.o loader-server.o -Ttext=0x01300000 -L../../../../../lib/x86_586/l4v2 -L/home/drops/lib/x86_586/l4v2 -L../../../../../lib/x86_586 -L/home/drops/lib/x86_586 -L../../../../../lib -L/home/drops/lib -L../../../../../../oskit10/lib -L/home/drops/lib/oskit10 -T../../../../../lib/x86_586/main_stat.ld -ll4exec -lgeneric_ts -lgeneric_fprov -lloaderif -lcon -ldm_phys -levents -lparsecmdline -static -loskit10_support_l4env.o -lgeneric_ts -ll4env -ll4rm -ldm_generic -ldm_mem -lthread -lsemaphore -llogserver -lnames -ll4util -lrmgr -ll4env -ll4env_err -ll4rm -ldm_generic -ldm_mem -lthread -lslab -ll4sys -nostdlib -Wl,--nostdlib -ll4env -ll4rm -ldm_generic -ldm_mem -lthread -loskit_c -loskit_kern -loskit_clientos -loskit_lmm -loskit_kern -loskit_c /usr/lib/gcc/i586-mandrake-linux-gnu/3.4.3/libgcc.a -loskit_c -Ttext=0x01300000 -Wl,-gc-sections /usr/bin/ld: cannot find -lcon collect2: ld returned 1 exit status make[5]: *** [loader] Error 1 make[5]: Leaving directory `/home/drops/l4/pkg/loader/server/src/OBJ-x86_586-l4v2' make[4]: *** [OBJ-x86_586-l4v2] Error 2 make[4]: Leaving directory `/home/drops/l4/pkg/loader/server/src' make[3]: *** [src] Error 2 make[3]: Leaving directory `/home/drops/l4/pkg/loader/server' make[2]: *** [server] Error 2 make[2]: Leaving directory `/home/drops/l4/pkg/loader' make[1]: *** [loader.bin] Error 2 make[1]: Leaving directory `/home/drops/l4/pkg' make: *** [pkg] Error 2 The information contained in this e-mail message is PRIVATE. It may contain confidential information and may be legally privileged. It is intended for the exclusive use of the addressee(s). If you are not the intended recipient, you are hereby notified that any dissemination, distribution or reproduction of this communication is strictly prohibited. If the intended recipient(s) cannot be reached or if a transmission problem has occurred, please notify the sender immediately by return e-mail and destroy all copies of this message. Thank you.

2 1