- l4-hackers - example.com Site

problem when booting l4linux
by junioraozhi＠sina.com 13 Jul '07

13 Jul '07

Hi all! I need your help again. I have built the fiasco,l4env,l4linux on my fedora core 5. But there are someting wrong with booting l4linux,it says "The running kernel does not have the l4lx segments " and goes to jdb. The following is the log when booting ,and also the configuration file ,menu.list  Thx!     >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>                LOG                >>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>   Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2007 TU Dresden Rev: r121 compiled with gcc 4.1.0 for Intel Pentium Performance-critical config option(s) detected:   CONFIG_NDEBUG is off   Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: GenuineIntel (F:4:3:0) Model: Pentium 4E (Prescott/Nocona) at 3000 MHz    128 Entry I TLB (4K or 4M pages)   64 Entry D TLB (4k or 4M pages)  12K ?ops T Cache (8-way associative)   16 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-way associative, 64 bytes per line)   Freeing init code/data: 20480 bytes (5 pages)   Calibrating timer loop... done. SIGMA0: Hello!   KIP @ 1000   Found Fiasco: KIP syscalls: yes   allocated 4KB for maintenance structures     Roottask.   Command line found: "/boot/l4linux/roottask task modname "bmodfs" attached 4 modules"     507454kB ( 495MB) total RAM (reported by bootloader)   461396kB ( 451MB) received RAM from Sigma0    25504kB (  25MB) reserved RAM for RMGR   Received I/O ports 0000-ffff   Attached irqs = [ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 A B C D E F 10 11 ]   Roottask: Parsing command line config.   configured task 0x00 (bmodfs):     vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:4   Roottask: Loading 14 modules. #05: loading "/boot/l4linux/events"      from [06121000-06161f16] to [01540000-01548b30][01549000-0155e5d0]      entry at 0005b370 via trampoline page code      symbols at [1c841000-1c843000] (8kB), lines at [1c83b000-1c841000] (24kB) #06: loading "/boot/l4linux/names --events"      from [06162000-0619fc75] to [002d0000-002d5eca][002d6000-002e1000]      entry at 0005c378 via trampoline page code      symbols at [1c839000-1c83b000] (8kB), lines at [1c834000-1c839000] (20kB) #07: loading "/boot/l4linux/log --events"      from [061a0000-061db22f] to [00400000-0040688a][00407000-00439848]      entry at 0005d374 via trampoline page code      symbols at [1c832000-1c834000] (8kB), lines at [1c82c000-1c832000] (24kB) #08: loading "/boot/l4linux/loader --fprov=BMODFS linuz26.cfg"      from [061dc000-062ade15] to [01300000-01324d9d][01325000-01343000]      entry at 0005e388 via trampoline page code      symbols at [1c826000-1c82c000] (24kB), lines at [1c80f000-1c826000] (92kB) #09: loading "/boot/l4linux/dm_phys --isa=0x00800000 -v --events"      from [062ae000-06337fa6] to [01500000-0151218a][01513000-0151d000]      entry at 0005f38c via trampoline page code      symbols at [1c80a000-1c80f000] (20kB), lines at [1c7fe000-1c80a000] (48kB) #0a: loading "/boot/l4linux/simple_ts -t 300 --events"      from [06338000-06381ed6] to [01400000-0140814a][01409000-01418608]      entry at 00061380 via trampoline page code      symbols at [1c7fc000-1c7fe000] (8kB), lines at [1c7f5000-1c7fc000] (28kB) #0b: loading "/boot/l4linux/rtc --events"      from [06382000-063b1cd7] to [01080000-010840c0][01085000-0108a000]      entry at 00062374 via trampoline page code      symbols at [1c7f3000-1c7f5000] (8kB), lines at [1c7ef000-1c7f3000] (16kB) #0c: loading "/boot/l4linux/l4io --noirq --events"      from [063b2000-066098e5] to [00b80000-00ba21b1][00ba3000-00c0b000]      entry at 0006337c via trampoline page code      symbols at [1c79c000-1c7ef000] (332kB), lines at [1c784000-1c79c000] (96kB) #0d: loading "/boot/l4linux/l4dope --l4io "      from [0660a000-06772ae0] to [01b00000-01b40fe5][01b41000-01b82000]      entry at 00064378 via trampoline page code      symbols at [1c776000-1c784000] (56kB), lines at [1c74c000-1c776000] (168kB) #0e: loading "/boot/l4linux/bmodfs"      from [06773000-0680f912] to [01220000-0123559d][01236000-0124d000]      passing module /boot/l4linux/vmlinuz26               [ 06810000-07752e29 ]      passing module /boot/l4linux/linuz26.cfg             [ 07753000-0775307a ]      passing module /boot/l4linux/libloader.s.so          [ 07754000-077f182c ]      passing module /boot/l4linux/libld-l4.s.so           [ 077f2000-0786a8f1 ]      entry at 00065420 via trampoline page code      symbols at [1c747000-1c74c000] (20kB), lines at [1c737000-1c747000] (64kB)   log     | /boot/l4linux/log: unrecognized option `--events' log     | Unrecognized option: - ? log     | Usage: /boot/l4linux/log <options>. Option list: log     |  [ -h | --help ]          - this help log     |  [ -v | --verbose ]       - verbose mode log     |  [ -l | --local ]         - flush to local console log     |  [ -L | --nolocal ]       - do not flush to local console log     |  [ -s | --comport num ]   - flush to specified serial interface (0) log     |  [ -e | --serial-esc ]    - enter kdebug on esc on serial log     |  [ -b | --buffer num ]    - buffered mode (0) log     |  [ --flushprio num ]      - priority of flusher thread (0x20) log     |  [ -p | --prio num ]      - priority of main thread (0x20) names   | Starting thread listening for `exit' events simplets| Configured for 300 tasks. rtc     | Date:09.07.2007 Time:08:54:28 DMphys  | DMphys memory map: DMphys  |   phys. memory 0x00000000-0x1eff0000 (from L4 kernel info page) DMphys  |   using 0x00100000-0x1eff0000 DMphys  |        Memory area      Pool  PS  Flags DMphys  |   0x00000000-0x0009f000  --   --  RESERVED  DMphys  |   0x00100000-0x00161000  --   --  RESERVED  DMphys  |   0x00161000-0x001cc000  --   --  DENIED DMphys  |   0x001cc000-0x002d0000   7   12  MAPPED  DMphys  |   0x002d0000-0x002e1000  --   --  DENIED DMphys  |   0x002e1000-0x00400000   7   12  MAPPED  DMphys  |   0x00400000-0x0043a000  --   --  DENIED DMphys  |   0x0043a000-0x00a17000   7   12  MAPPED  DMphys  |   0x00a17000-0x00b80000   0   12  MAPPED  DMphys  |   0x00b80000-0x00c0b000  --   --  DENIED DMphys  |   0x00c0b000-0x01080000   0   12  MAPPED  DMphys  |   0x01080000-0x0108a000  --   --  DENIED DMphys  |   0x0108a000-0x01220000   0   12  MAPPED  DMphys  |   0x01220000-0x0124d000  --   --  DENIED DMphys  |   0x0124d000-0x01300000   0   12  MAPPED  DMphys  |   0x01300000-0x01343000  --   --  DENIED DMphys  |   0x01343000-0x01400000   0   12  MAPPED  DMphys  |   0x01400000-0x01419000  --   --  DENIED DMphys  |   0x01419000-0x01500000   0   12  MAPPED  DMphys  |   0x01500000-0x0151c000  --   --  RESERVED  DMphys  |   0x0151c000-0x01540000   0   12  MAPPED  DMphys  |   0x01540000-0x0155f000  --   --  DENIED DMphys  |   0x0155f000-0x01b00000   0   12  MAPPED  DMphys  |   0x01b00000-0x01b82000  --   --  DENIED DMphys  |   0x01b82000-0x01c00000   0   12  MAPPED  DMphys  |   0x01c00000-0x06800000   0   22  MAPPED  DMphys  |   0x06800000-0x06810000   0   12  MAPPED  DMphys  |   0x06810000-0x0786b000  --   --  DENIED DMphys  |   0x0786b000-0x07c00000   0   12  MAPPED  DMphys  |   0x07c00000-0x1c400000   0   22  MAPPED  DMphys  |   0x1c400000-0x1c737000   0   12  MAPPED  DMphys  |   0x1c737000-0x1eff0000  --   --  DENIED DMphys  |  DMphys  | DMphys memory pools: DMphys  |  pool 0 (Default memory pool): DMphys  |  size: 437160KB total, 437160KB free,  32KB reserved DMphys  |   0x00a17000-0x00b80000 (  1444KB,    1MB) free DS: DMphys  |   0x00c0b000-0x01080000 (  4564KB,    4MB) free DS: DMphys  |   0x0108a000-0x01220000 (  1624KB,    2MB) free DS: DMphys  |   0x0124d000-0x01300000 (   716KB,    1MB) free DS: DMphys  |   0x01343000-0x01400000 (   756KB,    1MB) free DS: DMphys  |   0x01419000-0x01500000 (   924KB,    1MB) free DS: DMphys  |   0x0151c000-0x01540000 (   144KB,    0MB) free DS: DMphys  |   0x0155f000-0x01b00000 (  5764KB,    6MB) free DS: DMphys  |   0x01b82000-0x06810000 ( 78392KB,   77MB) free DS: DMphys  |   0x0786b000-0x1c737000 (342832KB,  335MB) free DS: DMphys  |  pool 7 (ISA DMA memory pool): DMphys  |  size:   8192KB total,   8192KB free,   0KB reserved DMphys  |   0x001cc000-0x002d0000 (  1040KB,    1MB) free DS: DMphys  |   0x002e1000-0x00400000 (  1148KB,    1MB) free DS: DMphys  |   0x0043a000-0x00a17000 (  6004KB,    6MB) free DS: bmodfs  | Passed the following modules: bmodfs  |   module "/boot/l4linux/vmlinuz26" (15628kB) bmodfs  |   module "/boot/l4linux/linuz26.cfg" (1kB) bmodfs  |   module "/boot/l4linux/libloader.s.so" (631kB) bmodfs  |   module "/boot/l4linux/libld-l4.s.so" (483kB) loader  | vmlinuz26: Starting application using libld-l4.s.so loader  | vmlinuz26,#f: Loading binary loader  | vmlinuz26,#f: Loading ldso loader  | Capability support not enabled. loader  | vmlinuz26,#f: Starting libld-l4.s.so at 00013870 via 0000cc54 l4dope  | /boot/l4linux/l4dope: unrecognized option `--l4io' l4dope  | DOpE(init): unknown option! io      | /boot/l4linux/l4io: unrecognized option `--noirq' io      | Enabling events support. io      | PCI: Using configuration type 1 io      | PCI: Probing PCI hardware io      | PCI: Probing PCI hardware (bus 00) io      | PCI: Ignoring BAR0-3 of IDE controller 00:1f.2 io      | Transparent bridge - Intel Corporation 82801 PCI Bridge io      | 00000000-ffffffff : PCI mem io      |   e0000000-efffffff : Intel Corporation 82865G/PE/P DRAM Controller/H io      : ost-Hub Interface io      |   f0000000-f7ffffff : Intel Corporation 82865G Integrated Graphics Co io      : ntroller io      |   f9000000-f90000ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/ io      : 8139C+ io      |   f9001000-f9001fff : Intel Corporation 82801EB/ER (ICH5/ICH5R) integ io      : rated LAN Controller io      |   fa000000-fa07ffff : Intel Corporation 82865G Integrated Graphics Co io      : ntroller io      |   fa080000-fa0803ff : Intel Corporation 82801EB/ER (ICH5/ICH5R) USB2  io      : EHCI Controller io      |   fa081000-fa0811ff : Intel Corporation 82801EB/ER (ICH5/ICH5R) AC'97 io      :  Audio Controller io      |   fa082000-fa0820ff : Intel Corporation 82801EB/ER (ICH5/ICH5R) AC'97 io      :  Audio Controller io      | 0000-ffff : PCI IO io      |   0cf8-0cff : PCI conf1 io      |   1400-141f : Intel Corporation 82801EB/ER (ICH5/ICH5R) SMBus Control io      : ler io      |   a000-a0ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ io      |   a400-a43f : Intel Corporation 82801EB/ER (ICH5/ICH5R) integrated LA io      : N Controller io      |   b000-b01f : Intel Corporation 82801EB/ER (ICH5/ICH5R) USB UHCI Cont io      : roller #1 io      |   b400-b41f : Intel Corporation 82801EB/ER (ICH5/ICH5R) USB UHCI Cont io      : roller #2 io      |   b800-b81f : Intel Corporation 82801EB/ER (ICH5/ICH5R) USB UHCI Cont io      : roller #3 io      |   bc00-bc1f : Intel Corporation 82801EB/ER (ICH5/ICH5R) USB UHCI Cont io      : roller #4 io      |   c000-c007 : Intel Corporation 82865G Integrated Graphics Controller io      |   dc00-dcff : Intel Corporation 82801EB/ER (ICH5/ICH5R) AC'97 Audio C io      : ontroller io      |   e000-e03f : Intel Corporation 82801EB/ER (ICH5/ICH5R) AC'97 Audio C io      : ontroller io      |   f000-f00f : Intel Corporation 82801EB (ICH5) SATA Controller io      | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ] l4dope  | L4INPUT native mode activated l4dope  | L4INPUT:                !!! W A R N I N G !!! l4dope  | L4INPUT:  Please, do not use Fiasco's "-esc" with L4INPUT. l4dope  | L4INPUT:                !!! W A R N I N G !!! ROOT: Sending ports 0060-006f to task #0c l4dope  | serio: i8042 AUX port at 0x60,0x64 irq 12 l4dope  | serio: i8042 KBD port at 0x60,0x64 irq 1 l4lx    | ======> L4Linux 2.6 starting... <======== l4lx    | Linux version 2.6.21-l4 (root@lgh-FC5) (gcc version 4.1.0 20060304 (R l4lx    : ed Hat 4.1.0-3)) #19 Wed Jul 4 10:19:59 CST 2007 l4lx    | Binary name: vmlinuz26 l4lx    | Kernel command line (4 args): earlyprintk=yes mem=256M video=l4fb roo l4lx    : t=/dev/sda7 l4lx    | The running kernel does not have the l4lx    |       segments l4lx    | feature enabled!       --kernel feature missing!--------------------------------IP: 0040163b       [l4lx.main] (f.02) jdb:        >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>> the config file "linuz26.config"  >>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>   verbose 0 task "vmlinuz26" "earlyprintk=yes mem=256M video=l4fb root=/dev/sda7"     all_sects_writable     allow_cli     allow_vga     >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>       the menu.list of grub       >>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>   title L4Linux26/Fiasco+dope         root (hd0,6)         kernel /boot/l4linux/bootstrap         modaddr 0x06000000         module /boot/l4linux/main -nowait -nokdb -serial_esc -comspeed 115200 -c omport 1         module  /boot/l4linux/sigma0         module  /boot/l4linux/roottask task modname "bmodfs" attached 4 modules         module  /boot/l4linux/events         module  /boot/l4linux/names --events         module  /boot/l4linux/log --events         module  /boot/l4linux/loader --fprov=BMODFS linuz26.cfg         module  /boot/l4linux/dm_phys --isa=0x00800000 -v --events         module  /boot/l4linux/simple_ts -t 300 --events         module  /boot/l4linux/rtc --events         module  /boot/l4linux/l4io --noirq --events         module  /boot/l4linux/l4dope --l4io         module  /boot/l4linux/bmodfs                 module  /boot/l4linux/vmlinuz26                 module  /boot/l4linux/linuz26.cfg                 module  /boot/l4linux/libloader.s.so                 module  /boot/l4linux/libld-l4.s.so         vbeset  0x117 506070         boot ------------------------------------------------------------------- MOTONBA篮球赛招募( http://d1.sina.com.cn/sina/limeng3/mail_zhuiyu/2007/mail_zhuiyu_20070709.ht… ) =================================================================== 注册新浪2G免费邮箱（ http://mail.sina.com.cn/chooseMode.html ）

2 1

Run L4linux on ARM platform
by kashin Lin 12 Jul '07

12 Jul '07

Hi~ i am a new hand to do this... so i really need some help & suggestions. this is my GOAL : run ( port ) L4linux on ARM platform (ARM920T-S3C2410) ( the link of that platform : PreSOCes-C in http://www.microtime.com.tw/English/PreSOC.htm ) i have some question: 1. i know L4Linux must run with l4(fiasco) & l4env.but when i want to download L4Linux from http://os.inf.tu-dresden.de/drops/download.html , instead of module " l4linux", svn only has module "l4linux-2.6-env". so i am confused that is this module(l4linux-2.6-env) contains L4Linux + fiasco + l4env or just L4Linux or not at all??? or give me a suggestion about what i should download to achieve my goal 2. to achieve my goal, i guess the process should be: cross-compile source code to image → load the image to target platform → modify bootloader to boot from l4linux → finish is this process right ? should i modify any file before cross-compiling l4linux? are there any thing i should take care about? thanks for any suggestions. i really need your help. thank you~

2 13

Installation for a dummy..
by ComputerScienceStudent 09 Jul '07

09 Jul '07

I'm an universitary computer science student and I've to do some benchmarks on microkernel's OS. Because I'd not ever install, or try to do something similar, a OS like this, before I try to do an installation by my own, I prefer to ask someone who is a specialist in these stuff. I've to install L4 on my portable computer: in this machine I've already installed Windows XP and Suse10.2. Now, the question is: do I have to install L4 on Suse? Is there anothr way like install L4Linux? I understand that L4Linux is the L4 microkernel with the Linux kernel over it.. so I think that installing this distribution I can hold my old OSs on the the computer and simply I will create an entry in the bootloader to select the new one. Please, someone help me.. I'm in crisis.. :-| -- View this message in context: http://www.nabble.com/Installation-for-a-dummy..-tf4011030.html#a11390720 Sent from the L4 mailing list archive at Nabble.com.

2 4

Re: help, L4env build problem
by Bjoern Doebel 09 Jul '07

09 Jul '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi, > I have solved the probblem I raised before, That's due > to the error system time in my SUSE linux. Thanks a lot > for your help and time! > > but here is another question: > > when I build the l4env, the error message is : > > if [ -r ../dice/Makefile.drops ]; then \ > make -C ../dice -f Makefile.drops; \ > fi > make[1]: Entering directory `/home/fiasco/snapshot-200706/dice' > make all -f GNUmakefile > make[2]: Entering directory `/home/fiasco/snapshot-200706/dice' > make all-recursive > make[3]: Entering directory `/home/fiasco/snapshot-200706/dice' > Making all in libltdl > make[4]: Entering directory `/home/fiasco/snapshot-200706/dice/libltdl' > make all-am > make[5]: Entering directory `/home/fiasco/snapshot-200706/dice/libltdl' > make[5]: Nothing to be done for `all-am'. > make[5]: Leaving directory `/home/fiasco/snapshot-200706/dice/libltdl' > make[4]: Leaving directory `/home/fiasco/snapshot-200706/dice/libltdl' > Making all in src > make[4]: Entering directory `/home/fiasco/snapshot-200706/dice/src' > Making all in be > make[5]: Entering directory `/home/fiasco/snapshot-200706/dice/src/be' > Making all in l4 > make[6]: Entering directory `/home/fiasco/snapshot-200706/dice/src/be/l4' > Making all in v2 > make[7]: Entering directory `/home/fiasco/snapshot-200706/dice/src/be/l4/v2' > Making all in ia32 > make[8]: Entering directory `/home/fiasco/snapshot-200706/dice/src/be/l4/v2/ia32' > if g++ -DHAVE_CONFIG_H -I. -I. -I../../../../.. -Wall -I../../../../../src > -Wunused -Wunused-parameter -Wall -W -Wcast-align -Wcast-qual > -Wconversion -Wformat=2 -Wmissing-format-attribute -Wpointer-arith > -Wshadow -Wwrite-strings -Wstrict-aliasing=2 -g -O2 -MT V2IA32ClassFactory.o > -MD -MP -MF ".deps/V2IA32ClassFactory.Tpo" -c -o V2IA32ClassFactory.o > V2IA32ClassFactory.cpp; \ > then mv -f ".deps/V2IA32ClassFactory.Tpo" ".deps/V2IA32ClassFactory.Po"; > else rm -f ".deps/V2IA32ClassFactory.Tpo"; exit 1; fi > cc1plus: error: unrecognized option `-Wstrict-aliasing=2' This is the problem. Your C++ compiler does not understand the - -Wstrict-aliasing option. Please find out what compiler you are using by running $> g++ -v and post the output here again. > make[8]: *** [V2IA32ClassFactory.o] Error 1 > make[8]: Leaving directory `/home/fiasco/snapshot-200706/dice/src/be/l4/v2/ia32' > make[7]: *** [all-recursive] Error 1 > make[7]: Leaving directory `/home/fiasco/snapshot-200706/dice/src/be/l4/v2' > make[6]: *** [all-recursive] Error 1 > make[6]: Leaving directory `/home/fiasco/snapshot-200706/dice/src/be/l4' > make[5]: *** [all-recursive] Error 1 > make[5]: Leaving directory `/home/fiasco/snapshot-200706/dice/src/be' > make[4]: *** [all-recursive] Error 1 > make[4]: Leaving directory `/home/fiasco/snapshot-200706/dice/src' > make[3]: *** [all-recursive] Error 1 > make[3]: Leaving directory `/home/fiasco/snapshot-200706/dice' > make[2]: *** [all] Error 2 > make[2]: Leaving directory `/home/fiasco/snapshot-200706/dice' > make[1]: *** [all] Error 2 > make[1]: Leaving directory `/home/fiasco/snapshot-200706/dice' > make: *** [../dice] Error 2 > > please give me some suggestions! Bjoern -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGkecsP5ijxgQLUNkRAgL9AJ9OqH03E4z6T36mRie6vJDYB7AQXgCfRWh/ 7uKMfkqcBcfV9koBsNdsQuc= =z76d -----END PGP SIGNATURE-----

1 0

Re: help, L4env build problem
by Bjoern Doebel 09 Jul '07

09 Jul '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi, > I created a directory "fiasco" in "/home" and uncompressed the > "source-2007-06-30.tar.bz2" in this directory, then I entered > the directory "/home/fiasco/snapshot-200706/l4" as root . First of all there is no reason to build anything as root. > In this directory, I ran the command > "DROPS_STDDIR=/home/fiasco/snapshot-200706/ \ make oldconfig", Why would you do that? Please follow the build instructions for the snapshot which are available from http://os.inf.tu-dresden.de/opentc/2007_june_inst.xml > the make process began to execute, but it won't > terminate. I have logged the output of make process in file > "build.log" as in the attachment. Please help me > to analyse what is the reason that caused this problem. Bjoern -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGkeYAP5ijxgQLUNkRAl5NAJ46K+WHpyChh1c/dTFTWvU2DxuJxwCdHYxV /ImsnTR9TcbO6xEq8I2ZN04= =T5q1 -----END PGP SIGNATURE-----

1 0

building l4 for mips64
by Antoine Amirault 09 Jul '07

09 Jul '07

HI! I'm always trying to build l4 for mips64. I've decided to try to correct errors i obtain during the compilation. I've repaired some of them but now I'm stuck. I think I've understand the problem, but I don't know how to solve it. When compiling, I got this error : /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc: In function `threadid_t sys_exchange_registers(threadid_t, word_t, word_t, word_t, word_t, word_t, threadid_t, bool)': /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: data type of 'pgr' isn't suitable for a register /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: register name given for non-register variable 'pgr' /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: confused by earlier errors, bailing out make[1]: *** [src/api/v4/exregs.o] Error 1 I've found in syscall.h where this function is declared. I got this code : #define return_exchange_registers(result, control, sp, ip, flags, pager, handle) \ { \ register word_t ctrl asm("$4") = control; /* a0 */ \ register word_t sp_r asm("$5") = sp; /* a1 */ \ register word_t ip_r asm("$6") = ip; /* a2 */ \ register word_t flg asm("$7") = flags; /* a3 */ \ register threadid_t pgr asm("$8") = pager; /* t0 */ \ register word_t hdl asm("$9") = handle; /* t1 */ \ \ __asm__ __volatile__ ( \ "" : : "r" (ctrl), "r" (sp_r), "r" (ip_r), \ "r" (flg), "r" (pgr), "r" (hdl) \ ); \ return (result); \ } I think that it's impossible to store a threadid_t in a register so i tried to cast it to word_t but after i got this error message : /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc: In function `threadid_t sys_exchange_registers(threadid_t, word_t, word_t, word_t, word_t, word_t, threadid_t, bool)': /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: expected primary-expression before "register" /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: expected `;' before "register" /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: `pgr' undeclared (first use this function) /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:333: error: (Each undeclared identifier is reported only once for each function it appears in.) /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:352: error: expected primary-expression before "register" /home/antoine/Final/pistachio/kernel/src/api/v4/exregs.cc:352: error: expected `;' before "register" make[1]: *** [src/api/v4/exregs.o] Error 1 Maybe my idea is not good or I haven't really understand the problem. Any ideas? Thanks Antoine

1 0

help, L4env build problem
by huang 07 Jul '07

07 Jul '07

hi dear all: I have some problems while building the l4env. I downloaded the snapshot "source-2007-06-30.tar.bz2" from http://os.inf.tu-dresden.de/opentc/download.xml and I tried to build the whole l4 environment in SUSE linux 9.3. But it seems something wrong. The build process is a dead loop, it seems will never stop. I don't know what's the reason. Can you tell me what should I do? By the way: I can build the L4 kernel successfully. thanks a lot for your help and suggestions! Best regards! Huang ======= 2007-07-06 18:00:02 您在来信中写道：======= >Send l4-hackers mailing list submissions to > l4-hackers(a)os.inf.tu-dresden.de > >To subscribe or unsubscribe via the World Wide Web, visit > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers >or, via email, send a message with subject or body 'help' to > l4-hackers-request(a)os.inf.tu-dresden.de > >You can reach the person managing the list at > l4-hackers-owner(a)os.inf.tu-dresden.de > >When replying, please edit your Subject line so it is more specific >than "Re: Contents of l4-hackers digest..." > >Today's Topics: > > 1. Re: Run L4linux on ARM platform (kashin Lin) > 2. Re: [L4LINUX] Is there a loop in revision 32 ? (Adam Lackorzynski) > 3. Re: Run L4linux on ARM platform (Adam Lackorzynski) > >------------------------------------------------------------ >From: "kashin Lin" <kashin08(a)gmail.com> >To: l4-hackers(a)os.inf.tu-dresden.de >Subject: Re: Run L4linux on ARM platform >Date: Thu5 Jul 2007 23:31:38 +0800 > >2007/7/5, Adam Lackorzynski <adam(a)os.inf.tu-dresden.de>: >> >> >> On Thu Jul 05, 2007 at 00:15:15 +0800, kashin Lin wrote: >> >> > 2. as you metioned above, i should adapt the configuration of fiasco >> > to my target platform, >> > but... (1) when do i do this? before make anything? >> >> Not only the configuration but also the code. You probably need to >> write a e.g. UART driver for your platform. As I said, I don't know >> which UART is used on your board. Can you tell which type of UART is >> used there? > > > >There is a UART (RS232 port) which can communicate with PC. >how to add that UART driver in fiasco? >are there any other platform dependent things that need to touch the code? > >thanks for your reply > >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 >> > >------------------------------------------------------------ >------------------------------------------------------------ >From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> >To: l4-hackers(a)os.inf.tu-dresden.de >Subject: Re: [L4LINUX] Is there a loop in revision 32 ? >Date: Thu5 Jul 2007 19:16:02 +0200 > >Hi, > >On Thu Jul 05, 2007 at 13:18:32 +0200, Clermont, Nicolas wrote: >> Here it is : > >Looks good to me. You could try a sysrq-t and see if there's something >interesting. Also booting with initcall_debug=1 could also squeeze out >some more info. Otherwise I'll try getting the public repo up to date >again to see further. > > > >Adam >-- >Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > >------------------------------------------------------------ >------------------------------------------------------------ >From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> >To: l4-hackers(a)os.inf.tu-dresden.de >Subject: Re: Run L4linux on ARM platform >Date: Thu5 Jul 2007 19:23:16 +0200 > > >On Thu Jul 05, 2007 at 23:31:38 +0800, kashin Lin wrote: >> 2007/7/5, Adam Lackorzynski <adam(a)os.inf.tu-dresden.de>: >> > >> > >> >On Thu Jul 05, 2007 at 00:15:15 +0800, kashin Lin wrote: >> > >> >> 2. as you metioned above, i should adapt the configuration of fiasco >> >> to my target platform, >> >> but... (1) when do i do this? before make anything? >> > >> >Not only the configuration but also the code. You probably need to >> >write a e.g. UART driver for your platform. As I said, I don't know >> >which UART is used on your board. Can you tell which type of UART is >> >used there? >> >> >> >> There is a UART (RS232 port) which can communicate with PC. >> how to add that UART driver in fiasco? > >You need to add a new platform. Basically you can do the same thing as >it's done with the integrator platform. The UART implementation goes to >src/lib/uart/arm, and need to be hooked in >src/kern/arm/kernel_uart-arm.cpp. > >> are there any other platform dependent things that need to touch the code? > >Most likely. The PIC implementation goes to src/kern/arm/pic-arm.cpp, >and the timer goes to src/kern/arm/timer-arm.cpp. Other files to look at >are Modules.arm to specify the label to build under and probably >rules.cml to add a new platform. The CPU specific things may also need >adaptions. > > > >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 > = = = = = = = = = = = = = = = = = = = = 　　　　　　　　致礼！　　　　　　　　huang 　　　　　　　　learnl4(a)sina.com 　　　　　　　　　　2007-07-07

2 1

RE: [L4LINUX] Is there a loop in revision 32 ?
by Clermont, Nicolas 06 Jul '07

06 Jul '07

Here it is : # # Automatically generated make config: don't edit # Linux kernel version: 2.6.21-l4 # Thu Jul 5 13:11:07 2007 # # # L4Linux configuration # CONFIG_L4=y CONFIG_L4_LINUX=y CONFIG_L4_OBJ_TREE="/home/clermont/build-tudos" CONFIG_L4_L4ENV=y CONFIG_L4_ARCH_X86=y # CONFIG_L4_ARCH_ARM is not set CONFIG_HZ=100 CONFIG_PHYSICAL_START=0x0 # CONFIG_L4_USERPRIV_ONLY is not set # # L4 build options # CONFIG_L4_MK_CPU_X86="586" # # 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=y # CONFIG_L4_OSHKOSH_DRV is not set # CONFIG_L4_ORE_DRV is not set CONFIG_L4_SERIAL=y CONFIG_L4_SERIAL_CONSOLE=y # CONFIG_L4_NEED_DSI is not set # CONFIG_L4_NEED_INET_NTOA is not set # CONFIG_L4_DROPSCON is not set # # Debugging options # # CONFIG_L4_DEBUG is not set # # Advanced options # CONFIG_L4_L4ENV_MEMSIZE=32 CONFIG_L4_TAMED=y # # Priority configuration # CONFIG_L4_PRIO_USER_PROCESS=10 CONFIG_L4_PRIO_IRQ_OFFSET=129 CONFIG_L4_PRIO_SERVER=100 # # Monitoring options (ferret) # # CONFIG_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_X86_32=y CONFIG_GENERIC_TIME=y CONFIG_CLOCKSOURCE_WATCHDOG=y CONFIG_GENERIC_CLOCKEVENTS=y CONFIG_LOCKDEP_SUPPORT=y CONFIG_STACKTRACE_SUPPORT=y CONFIG_SEMAPHORE_SLEEPERS=y CONFIG_X86=y CONFIG_MMU=y CONFIG_ZONE_DMA=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_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" # # Code maturity level options # CONFIG_EXPERIMENTAL=y CONFIG_BROKEN_ON_SMP=y CONFIG_INIT_ENV_ARG_LIMIT=32 # # General setup # CONFIG_LOCALVERSION="" CONFIG_LOCALVERSION_AUTO=y CONFIG_SWAP=y CONFIG_SYSVIPC=y # CONFIG_IPC_NS is not set CONFIG_SYSVIPC_SYSCTL=y # CONFIG_POSIX_MQUEUE is not set # CONFIG_BSD_PROCESS_ACCT is not set # CONFIG_TASKSTATS is not set # CONFIG_UTS_NS is not set # CONFIG_AUDIT is not set CONFIG_IKCONFIG=y CONFIG_IKCONFIG_PROC=y CONFIG_SYSFS_DEPRECATED=y # CONFIG_RELAY is not set # CONFIG_BLK_DEV_INITRD is not set # 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_EPOLL=y CONFIG_SHMEM=y CONFIG_SLAB=y CONFIG_VM_EVENT_COUNTERS=y CONFIG_RT_MUTEXES=y # CONFIG_TINY_SHMEM is not set CONFIG_BASE_SMALL=0 # CONFIG_SLOB is not set # # Loadable module support # CONFIG_MODULES=y CONFIG_MODULE_UNLOAD=y # CONFIG_MODULE_FORCE_UNLOAD is not set CONFIG_MODVERSIONS=y # CONFIG_MODULE_SRCVERSION_ALL is not set CONFIG_KMOD=y # # Block layer # CONFIG_BLOCK=y # CONFIG_LBD is not set # CONFIG_BLK_DEV_IO_TRACE is not set # CONFIG_LSF 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_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_PARAVIRT 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_MCORE2 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_X86_GENERIC is not set CONFIG_X86_CMPXCHG=y CONFIG_X86_L1_CACHE_SHIFT=5 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_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_CMPXCHG64=y CONFIG_X86_ALIGNMENT_16=y CONFIG_X86_TSC=y # 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 # # Firmware Drivers # # CONFIG_EDD is not set # CONFIG_DELL_RBU is not set # CONFIG_DCDBAS 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_1G is not set CONFIG_PAGE_OFFSET=0xC0000000 CONFIG_ARCH_FLATMEM_ENABLE=y CONFIG_ARCH_SPARSEMEM_ENABLE=y CONFIG_ARCH_SELECT_MEMORY_MODEL=y CONFIG_ARCH_POPULATES_NODE_MAP=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_SPLIT_PTLOCK_CPUS=4 # CONFIG_RESOURCES_64BIT is not set CONFIG_ZONE_DMA_FLAG=1 # 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 (ACPI, APM) # # CONFIG_PM is not set # # CPU Frequency scaling # # CONFIG_CPU_FREQ is not set # # Bus options (PCI, PCMCIA, EISA, MCA, ISA) # CONFIG_PCI=y # CONFIG_PCI_GOBIOS is not set # CONFIG_PCI_GOMMCONFIG is not set CONFIG_PCI_GODIRECT=y # CONFIG_PCI_GOANY is not set CONFIG_PCI_DIRECT=y # CONFIG_PCIEPORTBUS is not set # CONFIG_PCI_DEBUG is not set CONFIG_ISA_DMA_API=y # CONFIG_ISA is not set # CONFIG_MCA is not set # CONFIG_SCx200 is not set # # PCCARD (PCMCIA/CardBus) support # # # PCI Hotplug Support # # # Executable file formats # CONFIG_BINFMT_ELF=y CONFIG_BINFMT_AOUT=y CONFIG_BINFMT_MISC=y # # Networking # CONFIG_NET=y # # Networking options # # CONFIG_NETDEBUG is not set CONFIG_PACKET=y # CONFIG_PACKET_MMAP is not set CONFIG_UNIX=y # CONFIG_NET_KEY is not set # CONFIG_INET is not set # CONFIG_NETWORK_SECMARK is not set # CONFIG_NETFILTER 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_WAN_ROUTER is not set # # QoS and/or fair queueing # # CONFIG_NET_SCHED is not set # # Network testing # # CONFIG_NET_PKTGEN is not set # CONFIG_HAMRADIO is not set # CONFIG_IRDA is not set # CONFIG_BT is not set # CONFIG_IEEE80211 is not set # # Device Drivers # # # Generic Driver Options # CONFIG_STANDALONE=y CONFIG_PREVENT_FIRMWARE_BUILD=y # CONFIG_DEBUG_DRIVER is not set # CONFIG_DEBUG_DEVRES is not set # CONFIG_SYS_HYPERVISOR is not set # # Connector - unified userspace <-> kernelspace linker # # CONFIG_CONNECTOR is not set # # Memory Technology Devices (MTD) # # CONFIG_MTD is not set # # Parallel port support # # CONFIG_PARPORT is not set # # Plug and Play support # # CONFIG_PNPACPI is not set # # Block devices # # CONFIG_BLK_DEV_FD 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=y # CONFIG_BLK_DEV_CRYPTOLOOP is not set # CONFIG_BLK_DEV_NBD is not set # CONFIG_BLK_DEV_SX8 is not set # CONFIG_BLK_DEV_RAM is not set # CONFIG_CDROM_PKTCDVD is not set # CONFIG_ATA_OVER_ETH is not set # # Misc devices # # CONFIG_IBM_ASM is not set # CONFIG_SGI_IOC4 is not set # CONFIG_TIFM_CORE is not set # # ATA/ATAPI/MFM/RLL support # CONFIG_IDE=y CONFIG_IDE_MAX_HWIFS=4 CONFIG_BLK_DEV_IDE=y # # Please see Documentation/ide.txt for help/info on IDE drives # # CONFIG_BLK_DEV_IDE_SATA is not set # CONFIG_BLK_DEV_HD_IDE is not set CONFIG_BLK_DEV_IDEDISK=y # CONFIG_IDEDISK_MULTI_MODE is not set CONFIG_BLK_DEV_IDECD=y # CONFIG_BLK_DEV_IDETAPE is not set # CONFIG_BLK_DEV_IDEFLOPPY is not set # CONFIG_BLK_DEV_IDESCSI is not set # CONFIG_IDE_TASK_IOCTL is not set # # IDE chipset support/bugfixes # CONFIG_IDE_GENERIC=y # CONFIG_BLK_DEV_CMD640 is not set CONFIG_BLK_DEV_IDEPCI=y # CONFIG_IDEPCI_SHARE_IRQ is not set # CONFIG_BLK_DEV_OFFBOARD is not set CONFIG_BLK_DEV_GENERIC=y # CONFIG_BLK_DEV_OPTI621 is not set # CONFIG_BLK_DEV_RZ1000 is not set CONFIG_BLK_DEV_IDEDMA_PCI=y # CONFIG_BLK_DEV_IDEDMA_FORCED is not set # CONFIG_IDEDMA_ONLYDISK is not set # CONFIG_BLK_DEV_AEC62XX is not set # CONFIG_BLK_DEV_ALI15X3 is not set # CONFIG_BLK_DEV_AMD74XX is not set # CONFIG_BLK_DEV_ATIIXP is not set # CONFIG_BLK_DEV_CMD64X is not set # CONFIG_BLK_DEV_TRIFLEX is not set # CONFIG_BLK_DEV_CY82C693 is not set # CONFIG_BLK_DEV_CS5520 is not set # CONFIG_BLK_DEV_CS5530 is not set # CONFIG_BLK_DEV_CS5535 is not set # CONFIG_BLK_DEV_HPT34X is not set # CONFIG_BLK_DEV_HPT366 is not set # CONFIG_BLK_DEV_JMICRON is not set # CONFIG_BLK_DEV_SC1200 is not set CONFIG_BLK_DEV_PIIX=y # CONFIG_BLK_DEV_IT8213 is not set # CONFIG_BLK_DEV_IT821X is not set # CONFIG_BLK_DEV_NS87415 is not set # CONFIG_BLK_DEV_PDC202XX_OLD is not set # CONFIG_BLK_DEV_PDC202XX_NEW is not set # CONFIG_BLK_DEV_SVWKS is not set # CONFIG_BLK_DEV_SIIMAGE is not set # CONFIG_BLK_DEV_SIS5513 is not set # CONFIG_BLK_DEV_SLC90E66 is not set # CONFIG_BLK_DEV_TRM290 is not set CONFIG_BLK_DEV_VIA82CXXX=y # CONFIG_BLK_DEV_TC86C001 is not set # CONFIG_IDE_ARM is not set CONFIG_BLK_DEV_IDEDMA=y # CONFIG_IDEDMA_IVB is not set # CONFIG_BLK_DEV_HD is not set # # SCSI device support # # CONFIG_RAID_ATTRS is not set CONFIG_SCSI=y # CONFIG_SCSI_TGT is not set # CONFIG_SCSI_NETLINK is not set CONFIG_SCSI_PROC_FS=y # # SCSI support type (disk, tape, CD-ROM) # CONFIG_BLK_DEV_SD=y # CONFIG_CHR_DEV_ST is not set # CONFIG_CHR_DEV_OSST is not set CONFIG_BLK_DEV_SR=y CONFIG_BLK_DEV_SR_VENDOR=y # CONFIG_CHR_DEV_SG is not set # CONFIG_CHR_DEV_SCH is not set # # Some SCSI devices (e.g. CD jukebox) support multiple LUNs # # CONFIG_SCSI_MULTI_LUN is not set # CONFIG_SCSI_CONSTANTS is not set # CONFIG_SCSI_LOGGING is not set # CONFIG_SCSI_SCAN_ASYNC is not set # # SCSI Transports # # CONFIG_SCSI_SPI_ATTRS is not set # CONFIG_SCSI_FC_ATTRS is not set # CONFIG_SCSI_ISCSI_ATTRS is not set # CONFIG_SCSI_SAS_ATTRS is not set # CONFIG_SCSI_SAS_LIBSAS is not set # # SCSI low-level drivers # # CONFIG_BLK_DEV_3W_XXXX_RAID is not set # CONFIG_SCSI_3W_9XXX is not set # CONFIG_SCSI_ACARD 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_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_EATA is not set # CONFIG_SCSI_FUTURE_DOMAIN is not set # CONFIG_SCSI_GDTH is not set # CONFIG_SCSI_IPS is not set # CONFIG_SCSI_INITIO is not set # CONFIG_SCSI_INIA100 is not set # CONFIG_SCSI_STEX is not set # CONFIG_SCSI_SYM53C8XX_2 is not set # CONFIG_SCSI_IPR 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_DC395x is not set # CONFIG_SCSI_DC390T is not set # CONFIG_SCSI_NSP32 is not set # CONFIG_SCSI_DEBUG is not set # CONFIG_SCSI_SRP is not set # # Serial ATA (prod) and Parallel ATA (experimental) drivers # CONFIG_ATA=y # CONFIG_ATA_NONSTANDARD is not set CONFIG_SATA_AHCI=y # CONFIG_SATA_SVW is not set CONFIG_ATA_PIIX=y # CONFIG_SATA_MV is not set # 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_SATA_INTEL_COMBINED=y # 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_CMD64X is not set # CONFIG_PATA_CS5520 is not set # CONFIG_PATA_CS5530 is not set # CONFIG_PATA_CS5535 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_TRIFLEX is not set # CONFIG_PATA_MARVELL is not set # CONFIG_PATA_MPIIX is not set # CONFIG_PATA_OLDPIIX is not set # CONFIG_PATA_NETCELL is not set # CONFIG_PATA_NS87410 is not set # CONFIG_PATA_OPTI is not set # CONFIG_PATA_OPTIDMA is not set # CONFIG_PATA_PDC_OLD 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_PLATFORM=y # # Multi-device support (RAID and LVM) # # CONFIG_MD is not set # # Fusion MPT device support # # CONFIG_FUSION is not set # CONFIG_FUSION_SPI is not set # CONFIG_FUSION_FC is not set # CONFIG_FUSION_SAS is not set # # IEEE 1394 (FireWire) support # # CONFIG_IEEE1394 is not set # # I2O device support # # CONFIG_I2O is not set # # Macintosh device drivers # # CONFIG_MAC_EMUMOUSEBTN is not set # # Network device support # CONFIG_NETDEVICES=y # CONFIG_DUMMY is not set # CONFIG_EQUALIZER is not set # CONFIG_TUN is not set # # ARCnet devices # # CONFIG_ARCNET is not set # # PHY device support # # # Ethernet (10 or 100Mbit) # # CONFIG_NET_ETHERNET is not set # # Ethernet (1000 Mbit) # # CONFIG_ACENIC is not set # CONFIG_DL2K is not set # CONFIG_E1000 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_TIGON3 is not set # CONFIG_BNX2 is not set # CONFIG_QLA3XXX is not set # CONFIG_ATL1 is not set # # Ethernet (10000 Mbit) # # CONFIG_CHELSIO_T1 is not set # CONFIG_CHELSIO_T3 is not set # CONFIG_IXGB is not set # CONFIG_S2IO is not set # CONFIG_MYRI10GE is not set # CONFIG_NETXEN_NIC is not set # # Token Ring devices # # CONFIG_TR is not set # # Wireless LAN (non-hamradio) # # CONFIG_NET_RADIO is not set # # Wan interfaces # # CONFIG_WAN is not set # CONFIG_FDDI 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 # # ISDN subsystem # # CONFIG_ISDN is not set # # Telephony Support # # CONFIG_PHONE is not set # # Input device support # CONFIG_INPUT=y # CONFIG_INPUT_FF_MEMLESS is not set # # Userland interfaces # # CONFIG_INPUT_MOUSEDEV is not set # CONFIG_INPUT_JOYDEV is not set # CONFIG_INPUT_TSDEV is not set CONFIG_INPUT_EVDEV=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_TOUCHSCREEN is not set # CONFIG_INPUT_MISC is not set # # Hardware I/O ports # # CONFIG_SERIO is not set # CONFIG_GAMEPORT is not set # # Character devices # CONFIG_VT=y CONFIG_VT_CONSOLE=y CONFIG_HW_CONSOLE=y # CONFIG_VT_HW_CONSOLE_BINDING is not set # CONFIG_SERIAL_NONSTANDARD is not set # # Serial drivers # # CONFIG_SERIAL_8250 is not set # # Non-8250 serial port support # CONFIG_SERIAL_CORE=y CONFIG_SERIAL_CORE_CONSOLE=y # CONFIG_SERIAL_JSM is not set CONFIG_UNIX98_PTYS=y CONFIG_LEGACY_PTYS=y CONFIG_LEGACY_PTY_COUNT=256 # # IPMI # # CONFIG_IPMI_HANDLER is not set # # Watchdog Cards # # CONFIG_WATCHDOG is not set # CONFIG_HW_RANDOM 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_AGP is not set # CONFIG_DRM 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 # # TPM devices # # CONFIG_TCG_TPM is not set # CONFIG_TELCLOCK is not set # # I2C support # # CONFIG_I2C is not set # # SPI support # # CONFIG_SPI is not set # CONFIG_SPI_MASTER is not set # # Dallas's 1-wire bus # # CONFIG_W1 is not set # # Hardware Monitoring support # # CONFIG_HWMON is not set # CONFIG_HWMON_VID is not set # # Multifunction device drivers # # CONFIG_MFD_SM501 is not set # # Multimedia devices # # CONFIG_VIDEO_DEV is not set # # Digital Video Broadcasting Devices # # # Graphics support # # CONFIG_BACKLIGHT_LCD_SUPPORT is not set CONFIG_FB=y CONFIG_FIRMWARE_EDID=y # CONFIG_FB_DDC is not set CONFIG_FB_CFB_FILLRECT=y CONFIG_FB_CFB_COPYAREA=y CONFIG_FB_CFB_IMAGEBLIT=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_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_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_CYBLA is not set # CONFIG_FB_TRIDENT is not set # CONFIG_FB_GEODE is not set # CONFIG_FB_VIRTUAL is not set # # Console display driver support # # CONFIG_VGA_CONSOLE is not set CONFIG_DUMMY_CONSOLE=y CONFIG_FRAMEBUFFER_CONSOLE=y # 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 # # Logo configuration # # CONFIG_LOGO is not set # # Sound # # CONFIG_SOUND is not set # # HID Devices # # CONFIG_HID is not set # # USB support # CONFIG_USB_ARCH_HAS_HCD=y CONFIG_USB_ARCH_HAS_OHCI=y CONFIG_USB_ARCH_HAS_EHCI=y # CONFIG_USB is not set # # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support' # # # USB Gadget Support # # CONFIG_USB_GADGET is not set # # MMC/SD Card support # # CONFIG_MMC is not set # # LED devices # # CONFIG_NEW_LEDS is not set # # LED drivers # # # LED Triggers # # # InfiniBand support # # CONFIG_INFINIBAND is not set # # EDAC - error detection and reporting (RAS) (EXPERIMENTAL) # # CONFIG_EDAC is not set # # Real Time Clock # # CONFIG_RTC_CLASS is not set # # DMA Engine support # # CONFIG_DMA_ENGINE is not set # # DMA Clients # # # DMA Devices # # # Auxiliary Display support # # # Virtualization # # CONFIG_KVM is not set # # File systems # CONFIG_EXT2_FS=y # CONFIG_EXT2_FS_XATTR is not set # CONFIG_EXT2_FS_XIP is not set CONFIG_EXT3_FS=y CONFIG_EXT3_FS_XATTR=y # CONFIG_EXT3_FS_POSIX_ACL is not set # CONFIG_EXT3_FS_SECURITY is not set # CONFIG_EXT4DEV_FS is not set CONFIG_JBD=y # CONFIG_JBD_DEBUG is not set CONFIG_FS_MBCACHE=y # CONFIG_REISERFS_FS is not set # CONFIG_JFS_FS is not set # CONFIG_FS_POSIX_ACL is not set # 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_RAMFS=y # 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 # # Network File Systems # # # 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 # # Native Language Support # CONFIG_NLS=y CONFIG_NLS_DEFAULT="iso8859-1" # CONFIG_NLS_CODEPAGE_437 is not set # CONFIG_NLS_CODEPAGE_737 is not set # CONFIG_NLS_CODEPAGE_775 is not set # CONFIG_NLS_CODEPAGE_850 is not set # CONFIG_NLS_CODEPAGE_852 is not set # CONFIG_NLS_CODEPAGE_855 is not set # CONFIG_NLS_CODEPAGE_857 is not set # CONFIG_NLS_CODEPAGE_860 is not set # CONFIG_NLS_CODEPAGE_861 is not set # CONFIG_NLS_CODEPAGE_862 is not set # CONFIG_NLS_CODEPAGE_863 is not set # CONFIG_NLS_CODEPAGE_864 is not set # CONFIG_NLS_CODEPAGE_865 is not set # CONFIG_NLS_CODEPAGE_866 is not set # CONFIG_NLS_CODEPAGE_869 is not set # CONFIG_NLS_CODEPAGE_936 is not set # CONFIG_NLS_CODEPAGE_950 is not set # CONFIG_NLS_CODEPAGE_932 is not set # CONFIG_NLS_CODEPAGE_949 is not set # CONFIG_NLS_CODEPAGE_874 is not set # CONFIG_NLS_ISO8859_8 is not set # CONFIG_NLS_CODEPAGE_1250 is not set # CONFIG_NLS_CODEPAGE_1251 is not set # CONFIG_NLS_ASCII is not set # CONFIG_NLS_ISO8859_1 is not set # CONFIG_NLS_ISO8859_2 is not set # CONFIG_NLS_ISO8859_3 is not set # CONFIG_NLS_ISO8859_4 is not set # CONFIG_NLS_ISO8859_5 is not set # CONFIG_NLS_ISO8859_6 is not set # CONFIG_NLS_ISO8859_7 is not set # CONFIG_NLS_ISO8859_9 is not set # CONFIG_NLS_ISO8859_13 is not set # CONFIG_NLS_ISO8859_14 is not set # CONFIG_NLS_ISO8859_15 is not set # CONFIG_NLS_KOI8_R is not set # CONFIG_NLS_KOI8_U is not set # CONFIG_NLS_UTF8 is not set # # Instrumentation Support # # CONFIG_PROFILING is not set # CONFIG_KPROBES is not set # # Kernel hacking # CONFIG_TRACE_IRQFLAGS_SUPPORT=y # CONFIG_PRINTK_TIME is not set 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_LOG_BUF_SHIFT=15 CONFIG_DETECT_SOFTLOCKUP=y # CONFIG_SCHEDSTATS is not set # CONFIG_TIMER_STATS is not set # CONFIG_DEBUG_SLAB is not set # CONFIG_DEBUG_RT_MUTEXES is not set # CONFIG_RT_MUTEX_TESTER is not set # CONFIG_DEBUG_SPINLOCK is not set CONFIG_DEBUG_MUTEXES=y # CONFIG_DEBUG_LOCK_ALLOC is not set # CONFIG_PROVE_LOCKING 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_FRAME_POINTER=y CONFIG_FORCED_INLINING=y # CONFIG_RCU_TORTURE_TEST is not set # CONFIG_FAULT_INJECTION 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 # # Cryptographic options # CONFIG_CRYPTO=y CONFIG_CRYPTO_ALGAPI=y CONFIG_CRYPTO_BLKCIPHER=y CONFIG_CRYPTO_MANAGER=y # CONFIG_CRYPTO_HMAC is not set # CONFIG_CRYPTO_XCBC is not set # CONFIG_CRYPTO_NULL is not set # CONFIG_CRYPTO_MD4 is not set CONFIG_CRYPTO_MD5=y # CONFIG_CRYPTO_SHA1 is not set # CONFIG_CRYPTO_SHA256 is not set # CONFIG_CRYPTO_SHA512 is not set # CONFIG_CRYPTO_WP512 is not set # CONFIG_CRYPTO_TGR192 is not set # CONFIG_CRYPTO_GF128MUL is not set CONFIG_CRYPTO_ECB=y CONFIG_CRYPTO_CBC=y CONFIG_CRYPTO_PCBC=y # CONFIG_CRYPTO_LRW is not set CONFIG_CRYPTO_DES=y # CONFIG_CRYPTO_FCRYPT is not set # CONFIG_CRYPTO_BLOWFISH is not set # CONFIG_CRYPTO_TWOFISH is not set # CONFIG_CRYPTO_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_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 # # Hardware crypto devices # # CONFIG_CRYPTO_DEV_PADLOCK is not set # CONFIG_CRYPTO_DEV_GEODE is not set # # Library routines # CONFIG_BITREVERSE=y # CONFIG_CRC_CCITT is not set # CONFIG_CRC16 is not set CONFIG_CRC32=y # CONFIG_LIBCRC32C is not set CONFIG_PLIST=y CONFIG_HAS_IOMEM=y CONFIG_HAS_IOPORT=y CONFIG_GENERIC_HARDIRQS=y CONFIG_GENERIC_IRQ_PROBE=y CONFIG_X86_BIOS_REBOOT=y CONFIG_KTIME_SCALAR=y -----Message d'origine----- De : l4-hackers-bounces(a)os.inf.tu-dresden.de [mailto:l4-hackers-bounces@os.inf.tu-dresden.de] De la part de Adam Lackorzynski Envoyé : jeudi 5 juillet 2007 09:57 À : l4-hackers(a)os.inf.tu-dresden.de Objet : Re: [L4LINUX] Is there a loop in revision 32 ? Hi, On Wed Jul 04, 2007 at 17:21:33 +0200, Clermont, Nicolas wrote: > I have updated my l4 repositories yesterday, switching to L4Linux > revision > 32 and tudos revision 127. When booting L4Linux with TCP/IP enabled, > it blocks after printing "Registered protocol 2". When disabling > TCP/IP, it blocks after IDE probe. I have observed the same behavior > with revision 31, but didn't have the time at this time to investigate. I'm not seeing anything like this in my setup. Can you please post your L4Linux .config so that I can look over it? > This time I have tried to find the reason of this loop. I have > disabled TCP/IP and tried to see where L4Linux hangs. After IDE probe, > L4Linux goes through wait_for_completion(), which calls schedule(), > and then loops as need_resched label is always re-invocated. The last > thing displayed is the creation of the idler thread... > The problem with TCP/IP support enabled is different but maybe related > to the same source. the schedule() function is also called, but it > completes and so schedule. Then the idler thread is created and noting goes on. > > I have tried with different configurations, especially with protected > I/O and unprotected, but I get always the same behavior. > > This is the output I get trough the serial line with TCP/IP disabled > (l4linux also print on serial) : > > l4lx | ======> L4Linux 2.6 starting... <======== > l4lx | Linux version 2.6.21-l4 (clermont@L4-dev <mailto:clermont@L4-dev> > ) (gcc version 3.4.4 (Gentoo > l4lx : 3.4.4-r1, ssp-3.4.4-1.0, pie-8.7.8)) #59 Tue Jul 3 19:21:07 Local > tim > l4lx : e zone must be set--see zic manu > l4lx | Binary name: vmlinuz26 > l4lx | Kernel command line (5 args): console=ttyLv0 earlyprintk=yes > mem=128M > l4lx : root=/dev/hda1 video=l4fb:refreshsleep:200 > l4lx | Image: 00400000 - 00681000 [2564 KiB]. > l4lx | Areas: Text: 00400000 - 005e6000 [1944kB] (a bit longer) > l4lx | Data: 005e6000 - 005f9f7c [79kB] > l4lx | Initdata: 005fc000 - 00618260 [112kB] > l4lx | BSS: 0061a000 - 0067e840 [402kB] > names | 12.02: server_names_register(12.03 -> "l4lx.tamer") > l4lx | l4lx_thread_create: Created thread 12.03 (tamer) > l4lx | Using tamed mode. > ROOT: Sending all ports (for cli/sti) to task #0d > l4lx | Got 65536 out of 65536 I/O ports > names | 12.02: server_names_register(12.04 -> "l4lx.server") > l4lx | l4lx_thread_create: Created thread 12.04 (server) > l4lx | main thread will be 12.04 > l4lx | l4env_register_pointer_section: addr = 005e6000 size = 634880 > l4lx | sec-w-init: virt: 0x005e6000 to 0x00680fff [620 KiB] > l4lx | sec-w-init: Number of physical regions: 1, 634880 Bytes > l4lx | sec-w-init: 1: Phys: 0x01185000 to 0x01220000, Size: 634880 > l4lx | l4env_linux_startup thread 4. > l4lx | main thread: received startup message. > l4lx | Main thread running, waiting... > l4lx | setup_l4env_memory: Forcing superpages for main memory > l4lx | Main memory size: 128MB > l4lx | Got 2048kB of ISA DMA memory. > l4lx | ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB] > l4lx | ISA DMA memory: Number of physical regions: 1, 2097152 Bytes > l4lx | ISA DMA memory: 1: Phys: 0x0043a000 to 0x0063a000, Size: 2097152 > l4lx | Main memory: virt: 0x00c00000 to 0x08bfffff [131072 KiB] > l4lx | Main memory: Number of physical regions: 1, 134217728 Bytes > l4lx | Main memory: 1: Phys: 0x14400000 to 0x1c400000, Size: > 134217728 > l4lx | Filling lower ptabs... > l4lx | Done (1883 entries). > Linux version 2.6.21-l4 (clermont@L4-dev <mailto:clermont@L4-dev> ) > (gcc version 3.4.4 (Gentoo 3.4.4-r1, s sp-3.4.4-1.0, pie-8.7.8)) #59 > Tue Jul 3 19:21:07 Local time zone must be set--se e zic manu > CPU: Vendor unknown, using generic init. > CPU: Your system may be unstable. > dm_phys: 0000000000c00000 - 0000000008c00000 (usable) > dm_phys: 0000000000800000 - 0000000000a00000 (usable) 132MB memory > available. > Zone PFN ranges: > DMA 0 -> 2560 > Normal 2560 -> 35840 > early_node_map[1] active PFN ranges > 0: 0 -> 35840 > Allocating PCI resources starting at 10000000 (gap: 00a00000:ff600000) > Built 1 zonelists. Total pages: 35560 Kernel command line: > console=ttyLv0 earlyprintk=yes mem=128M root=/dev/hda1 vide > o=l4fb:refreshsleep:200 Initializing CPU#0 PID hash table entries: > 1024 (order: 10, 4096 bytes) Detected 2800.514 MHz processor. > Console: colour dummy device 80x25 > l4ser_init_ports > l4ser: input not enabled! > Dentry cache hash table entries: 32768 (order: 5, 131072 bytes) > Inode-cache hash table entries: 16384 (order: 4, 65536 bytes) > Memory: 131700k/143360k available (1539k kernel code, 1344k reserved, > 484k data, 112k init, 0k highmem) virtual kernel memory layout: > fixmap : 0xffffc000 - 0xfffff000 ( 12 kB) > vmalloc : 0x10000000 - 0x18000000 ( 128 MB) > lowmem : 0x00000000 - 0x08c00000 ( 140 MB) > .init : 0x005fc000 - 0x00618260 ( 112 kB) > .data : 0x00580cc4 - 0x005f9f7c ( 484 kB) > .text : 0x00400000 - 0x00580cc4 (1539 kB) > l4lx_irq_timer_startup(0) > names | 12.04: server_names_register(12.05 -> "l4lx.timer.i0") > l4lx | l4lx_thread_create: Created thread 12.05 (timer.i0) > timer_irq_thread: Starting timer IRQ thread. > Calibrating delay using timer specific routine.. 5603.19 BogoMIPS > (lpj=28015972) > Mount-cache hash table entries: 512 > Compat vDSO mapped to 0040e000. > CPU: GenuineIntel Intel(R) Pentium(R) 4 CPU 2.80GHz stepping 09 > NET: Registered protocol family 16 > PCI: Using configuration type 1 > Setting up standard PCI resources > SCSI subsystem initialized > PCI: Probing PCI hardware > PCI quirk: region 0400-047f claimed by ICH4 ACPI/GPIO/TCO PCI quirk: > region 0480-04bf claimed by ICH4 GPIO > PCI: Transparent bridge - 0000:00:1e.0 > PCI: Ignore bogus resource 6 [0:0] of 0000:00:02.0 > PCI: Bridge: 0000:00:03.0 > IO window: a000-afff > MEM window: fa000000-fa0fffff > PREFETCH window: disabled. > PCI: Bridge: 0000:00:1e.0 > IO window: b000-bfff > MEM window: f8000000-f9ffffff > PREFETCH window: 10000000-100fffff > io scheduler noop registered > Time: tsc clocksource has been installed. > io scheduler anticipatory registered (default) io scheduler deadline > registered io scheduler cfq registered > __ioremap: Requested region at fa180000 [0x400 Bytes] > __ioremap: Mapping physaddr fa180000 [0x400 Bytes, fa180000+000400] to > 08c00000+ > 000000 > l4lx | Starting L4FB via DOpE > names | 12.04: server_names_register(12.06 -> "l4lx.listener") > l4dope | SharedMem(alloc): hl.raw=100000, id=a1, size=96000 l4dope | > SharedMem(get_adr): address = 0x200000 > names | 12.04: server_names_register(12.07 -> "l4lx.DOpE refre") > l4lx | l4lx_thread_create: Created thread 12.07 (DOpE refresher) > names | 12.04: server_names_register(12.08 -> "l4lx.L4DOpEinpu") > l4lx | l4lx_thread_create: Created thread 12.08 (L4DOpEinput) > input: l4input key as /class/input/input0 > input: l4input mouse as /class/input/input1 > l4fb: DOpE framebuffer at 0x08c05000, size 600k > l4fb: mode is 640x480x16, linelength=1280, pages=0 > l4fb: directcolor: size=0:5:6:5, shift=0:11:5:0 > Console: switching to colour frame buffer device 80x30 > l4fb0: l4fb L4 frame buffer device (refresh: 200ms) > L4 serial driver > l4ser_init_ports > l4ser: input not enabled! > ttyLv0 at MMIO 0x1 (irq = 0) is a L4 > Uniform Multi-Platform E-IDE driver Revision: 7.00alpha2 > ide: Assuming 33MHz system bus speed for PIO modes; override with idebus=xx > names | 12.04: server_names_register(12.09 -> "l4lx.Idler") > l4lx | l4lx_thread_create: Created thread 12.09 (Idler) > l4dope | SharedMem(alloc): hl.raw=100000, id=aa, size=280000 l4dope > | SharedMem(get_adr): address = 0x800000 > > Does somebody have a running L4Linux revision 32 ? Is it a known > problem, or could it be specific to my configuration, etc ... ? 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

2 2

[L4LINUX] Is there a loop in revision 32 ?
by Clermont, Nicolas 05 Jul '07

05 Jul '07

Hi everybody, I got a problem with L4Linux but really don't know from where it comes, if I forgot to do something or if there is like a bug in L4Linux..... I have updated my l4 repositories yesterday, switching to L4Linux revision 32 and tudos revision 127. When booting L4Linux with TCP/IP enabled, it blocks after printing "Registered protocol 2". When disabling TCP/IP, it blocks after IDE probe. I have observed the same behavior with revision 31, but didn't have the time at this time to investigate. This time I have tried to find the reason of this loop. I have disabled TCP/IP and tried to see where L4Linux hangs. After IDE probe, L4Linux goes through wait_for_completion(), which calls schedule(), and then loops as need_resched label is always re-invocated. The last thing displayed is the creation of the idler thread... The problem with TCP/IP support enabled is different but maybe related to the same source. the schedule() function is also called, but it completes and so schedule. Then the idler thread is created and noting goes on. I have tried with different configurations, especially with protected I/O and unprotected, but I get always the same behavior. This is the output I get trough the serial line with TCP/IP disabled (l4linux also print on serial) : l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.21-l4 (clermont@L4-dev <mailto:clermont@L4-dev> ) (gcc version 3.4.4 (Gentoo l4lx : 3.4.4-r1, ssp-3.4.4-1.0, pie-8.7.8)) #59 Tue Jul 3 19:21:07 Local tim l4lx : e zone must be set--see zic manu l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (5 args): console=ttyLv0 earlyprintk=yes mem=128M l4lx : root=/dev/hda1 video=l4fb:refreshsleep:200 l4lx | Image: 00400000 - 00681000 [2564 KiB]. l4lx | Areas: Text: 00400000 - 005e6000 [1944kB] (a bit longer) l4lx | Data: 005e6000 - 005f9f7c [79kB] l4lx | Initdata: 005fc000 - 00618260 [112kB] l4lx | BSS: 0061a000 - 0067e840 [402kB] names | 12.02: server_names_register(12.03 -> "l4lx.tamer") l4lx | l4lx_thread_create: Created thread 12.03 (tamer) l4lx | Using tamed mode. ROOT: Sending all ports (for cli/sti) to task #0d l4lx | Got 65536 out of 65536 I/O ports names | 12.02: server_names_register(12.04 -> "l4lx.server") l4lx | l4lx_thread_create: Created thread 12.04 (server) l4lx | main thread will be 12.04 l4lx | l4env_register_pointer_section: addr = 005e6000 size = 634880 l4lx | sec-w-init: virt: 0x005e6000 to 0x00680fff [620 KiB] l4lx | sec-w-init: Number of physical regions: 1, 634880 Bytes l4lx | sec-w-init: 1: Phys: 0x01185000 to 0x01220000, Size: 634880 l4lx | l4env_linux_startup thread 4. l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main memory size: 128MB l4lx | Got 2048kB of ISA DMA memory. l4lx | ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB] l4lx | ISA DMA memory: Number of physical regions: 1, 2097152 Bytes l4lx | ISA DMA memory: 1: Phys: 0x0043a000 to 0x0063a000, Size: 2097152 l4lx | Main memory: virt: 0x00c00000 to 0x08bfffff [131072 KiB] l4lx | Main memory: Number of physical regions: 1, 134217728 Bytes l4lx | Main memory: 1: Phys: 0x14400000 to 0x1c400000, Size: 134217728 l4lx | Filling lower ptabs... l4lx | Done (1883 entries). Linux version 2.6.21-l4 (clermont@L4-dev <mailto:clermont@L4-dev> ) (gcc version 3.4.4 (Gentoo 3.4.4-r1, s sp-3.4.4-1.0, pie-8.7.8)) #59 Tue Jul 3 19:21:07 Local time zone must be set--se e zic manu CPU: Vendor unknown, using generic init. CPU: Your system may be unstable. dm_phys: 0000000000c00000 - 0000000008c00000 (usable) dm_phys: 0000000000800000 - 0000000000a00000 (usable) 132MB memory available. Zone PFN ranges: DMA 0 -> 2560 Normal 2560 -> 35840 early_node_map[1] active PFN ranges 0: 0 -> 35840 Allocating PCI resources starting at 10000000 (gap: 00a00000:ff600000) Built 1 zonelists. Total pages: 35560 Kernel command line: console=ttyLv0 earlyprintk=yes mem=128M root=/dev/hda1 vide o=l4fb:refreshsleep:200 Initializing CPU#0 PID hash table entries: 1024 (order: 10, 4096 bytes) Detected 2800.514 MHz processor. Console: colour dummy device 80x25 l4ser_init_ports l4ser: input not enabled! Dentry cache hash table entries: 32768 (order: 5, 131072 bytes) Inode-cache hash table entries: 16384 (order: 4, 65536 bytes) Memory: 131700k/143360k available (1539k kernel code, 1344k reserved, 484k data, 112k init, 0k highmem) virtual kernel memory layout: fixmap : 0xffffc000 - 0xfffff000 ( 12 kB) vmalloc : 0x10000000 - 0x18000000 ( 128 MB) lowmem : 0x00000000 - 0x08c00000 ( 140 MB) .init : 0x005fc000 - 0x00618260 ( 112 kB) .data : 0x00580cc4 - 0x005f9f7c ( 484 kB) .text : 0x00400000 - 0x00580cc4 (1539 kB) l4lx_irq_timer_startup(0) names | 12.04: server_names_register(12.05 -> "l4lx.timer.i0") l4lx | l4lx_thread_create: Created thread 12.05 (timer.i0) timer_irq_thread: Starting timer IRQ thread. Calibrating delay using timer specific routine.. 5603.19 BogoMIPS (lpj=28015972) Mount-cache hash table entries: 512 Compat vDSO mapped to 0040e000. CPU: GenuineIntel Intel(R) Pentium(R) 4 CPU 2.80GHz stepping 09 NET: Registered protocol family 16 PCI: Using configuration type 1 Setting up standard PCI resources SCSI subsystem initialized PCI: Probing PCI hardware PCI quirk: region 0400-047f claimed by ICH4 ACPI/GPIO/TCO PCI quirk: region 0480-04bf claimed by ICH4 GPIO PCI: Transparent bridge - 0000:00:1e.0 PCI: Ignore bogus resource 6 [0:0] of 0000:00:02.0 PCI: Bridge: 0000:00:03.0 IO window: a000-afff MEM window: fa000000-fa0fffff PREFETCH window: disabled. PCI: Bridge: 0000:00:1e.0 IO window: b000-bfff MEM window: f8000000-f9ffffff PREFETCH window: 10000000-100fffff io scheduler noop registered Time: tsc clocksource has been installed. io scheduler anticipatory registered (default) io scheduler deadline registered io scheduler cfq registered __ioremap: Requested region at fa180000 [0x400 Bytes] __ioremap: Mapping physaddr fa180000 [0x400 Bytes, fa180000+000400] to 08c00000+ 000000 l4lx | Starting L4FB via DOpE names | 12.04: server_names_register(12.06 -> "l4lx.listener") l4dope | SharedMem(alloc): hl.raw=100000, id=a1, size=96000 l4dope | SharedMem(get_adr): address = 0x200000 names | 12.04: server_names_register(12.07 -> "l4lx.DOpE refre") l4lx | l4lx_thread_create: Created thread 12.07 (DOpE refresher) names | 12.04: server_names_register(12.08 -> "l4lx.L4DOpEinpu") l4lx | l4lx_thread_create: Created thread 12.08 (L4DOpEinput) input: l4input key as /class/input/input0 input: l4input mouse as /class/input/input1 l4fb: DOpE framebuffer at 0x08c05000, size 600k l4fb: mode is 640x480x16, linelength=1280, pages=0 l4fb: directcolor: size=0:5:6:5, shift=0:11:5:0 Console: switching to colour frame buffer device 80x30 l4fb0: l4fb L4 frame buffer device (refresh: 200ms) L4 serial driver l4ser_init_ports l4ser: input not enabled! ttyLv0 at MMIO 0x1 (irq = 0) is a L4 Uniform Multi-Platform E-IDE driver Revision: 7.00alpha2 ide: Assuming 33MHz system bus speed for PIO modes; override with idebus=xx names | 12.04: server_names_register(12.09 -> "l4lx.Idler") l4lx | l4lx_thread_create: Created thread 12.09 (Idler) l4dope | SharedMem(alloc): hl.raw=100000, id=aa, size=280000 l4dope | SharedMem(get_adr): address = 0x800000 Does somebody have a running L4Linux revision 32 ? Is it a known problem, or could it be specific to my configuration, etc ... ? Thanks. -- Nico

2 1

mk/tmpl/inst
by Neal H. Walfield 04 Jul '07

04 Jul '07

mk/tmpl/inst correctly excludes CVS files, however, it does not exclude .svn files, which it ought since the code is now managed under svn. The attached patch corrects this deficiency. Neal Index: mk/tmpl/inst =================================================================== --- mk/tmpl/inst (revision 74) +++ mk/tmpl/inst (working copy) @@ -10,4 +10,4 @@ TARGETDIR="`pwd`" TOINSTALL="MAINTAINER Makefile idl include lib server examples doc ptest" -tar c -C $SRCDIR -f- --exclude=CVS $TOINSTALL | tar xvf - +tar c -C $SRCDIR -f- --exclude=CVS --exclude=.svn $TOINSTALL | tar xvf -

2 1

segment problem
by junioraozhi＠sina.com 03 Jul '07

03 Jul '07

Hi  all I have get the source code of fiasco,l4env,l4linux-2.6.21 via SVN ,and  compiled them succesfully. but when boot the l4linux , it says "the running kernel does not have the segments", "kernel feature missing "and went to jdb console. All my work is under the l4 document Why? thanks ------------------------------------------------------------------- 7月11日《变形金刚》首映电影票开抢了！( http://d1.sina.com.cn/sina/limeng3/mail_zhuiyu/2007/mail_zhuiyu_20070702.ht… ) =================================================================== 注册新浪2G免费邮箱（ http://mail.sina.com.cn/chooseMode.html ）

2 1

Re: l4 on mips
by Antoine.Amirault＠esial.uhp-nancy.fr 02 Jul '07

02 Jul '07

HI. Thanks for your answer. I answer you from another addresse because I'm currently in china and sometimes, gmail is not working well here. I hope you won't receive my 10 previous try ;). If i do that, the error is gone but unfortunately I experience another problem. Is it strange because it seems like syntax errors. It looks like that : make[1]: Entering directory `/home/antoine/Desktop/pistachio-build' ===> src/glue/v4-mips64/asmsyms.cc cd src/glue/v4-mips64/ && /home/antoine/Desktop/NICTA/bin/mips64-elf-gcc -nostdinc -I/home/antoine/Desktop/pistachio-build/include -I/home/antoine/Desktop/pistachio/kernel/include -I/home/antoine/Desktop/NICTA/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio-build/config/config.h -imacros /home/antoine/Desktop/pistachio/kernel/include/macros.h -include /home/antoine/Desktop/pistachio/kernel/include/config.h -include /home/antoine/Desktop/pistachio/kernel/include/types.h -fno-rtti -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-non-virtual-dtor -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -march=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc In file included from /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/space.h:42, from /home/antoine/Desktop/pistachio/kernel/include/api/v4/space.h:36, from /home/antoine/Desktop/pistachio/kernel/include/api/v4/tcb.h:41, from /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc:34: /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:277: error: expected unqualified-id before '{' token /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h: In member function `void pgent_t::set_entry(space_t*, pgent_t::pgsize_e, void*, word_t, word_t, bool)': /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: `readable' undeclared (first use this function) /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: (Each undeclared identifier is reported only once for each function it appears in.) /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: `writable' undeclared (first use this function) In file included from /home/antoine/Desktop/pistachio/kernel/include/api/v4/tcb.h:674, from /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc:34: /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h: In member function `void tcb_t::notify(void (*)())': /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h:393: error: ISO C++ forbids cast to non-reference type used as lvalue /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h: In member function `void tcb_t::notify(void (*)(word_t), word_t)': /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h:410: error: ISO C++ forbids cast to non-reference type used as lvalue /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h: In member function `void tcb_t::notify(void (*)(word_t, word_t), word_t, word_t)': /home/antoine/Desktop/pistachio/kernel/include/glue/v4-mips64/tcb.h:430: error: ISO C++ forbids cast to non-reference type used as lvalue /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc: At global scope: /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc:41: warning: invalid access to non-static data member `utcb_t::mr' of NULL object /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc:41: warning: (perhaps the `offsetof' macro was used incorrectly) /home/antoine/Desktop/pistachio/kernel/src/glue/v4-mips64/asmsyms.cc:41: warning: invalid access to non-static data member `utcb_t::mr' of NULL object This two warnings are repeated a lot of times, and after ===> src/generic/kmemory.cc cd src/generic/ && /home/antoine/Desktop/NICTA/bin/mips64-elf-gcc -nostdinc -I/home/antoine/Desktop/pistachio-build/include -I/home/antoine/Desktop/pistachio/kernel/include -I/home/antoine/Desktop/NICTA/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio-build/config/config.h -imacros /home/antoine/Desktop/pistachio/kernel/include/macros.h -include /home/antoine/Desktop/pistachio/kernel/include/config.h -include /home/antoine/Desktop/pistachio/kernel/include/types.h -fno-rtti -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-non-virtual-dtor -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -march=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio/kernel/src/generic/kmemory.cc In file included from /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/cache.h:38, from /home/antoine/Desktop/pistachio/kernel/include/platform/vr41xx/cache.h:36, from /home/antoine/Desktop/pistachio/kernel/src/generic/kmemory.cc:38: /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:277: error: expected unqualified-id before '{' token /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h: In member function `void pgent_t::set_entry(space_t*, pgent_t::pgsize_e, void*, word_t, word_t, bool)': /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: `readable' undeclared (first use this function) /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: (Each undeclared identifier is reported only once for each function it appears in.) /home/antoine/Desktop/pistachio/kernel/include/arch/mips64/pgent.h:293: error: `writable' undeclared (first use this function) make[1]: *** [src/generic/kmemory.o] Error 1 make[1]: Leaving directory `/home/antoine/Desktop/pistachio-build' make: *** [all] Error 2 I hope you could help me. I use the CVS Version and a cross compiler taken from the NICTA SIte 2007/7/2, Daniel Potts < danielp(a)ok-labs.com>: Hi Antoine, Sorry for the late reply, I hope you've made progress on this. We believe this is a problem with compiler flags changing in our compiler tools release, compared to those expected by the build system in Pistachio 0.4. Try editing kernel/Mk/Makeconf.mips and change mcpu=r4100 to march=4100, or something similar. Good luck, Daniel On 21/06/2007, at 4:36 PM, Antoine Amirault wrote: > Hi, > I'm student at ESIAL (a French engineering school) currently > doing an internship in Beijing. I have to simulate l4 on a mips > platform with qemu. > > I have downloaded pistachio and mips64-elf-3.4.4 from > http://ertos.nicta.com.au/software/prebuilt/binaries.pml > > When i compile the kernel i obtain the following messages : > > antoine@liama-desktop:~/Desktop/pistachio-0.4-aos/build$ make > make[1]: Entering directory `/home/antoine/Desktop/pistachio- > 0.4-aos/build' > ===> src/glue/v4-mips64/asmsyms.cc > cd src/glue/v4-mips64/ && > /opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/mips64-elf-gcc > -nostdinc -I/home/antoine/Desktop/pistachio-0.4-aos/build/include > -I/home/antoine/Desktop/pistachio- 0.4-aos/kernel/include > -I/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio- 0.4-aos/build/config/config.h -imacros /home/antoine/Desktop/pistachio-0.4-aos/kernel/include/macros.h -include /home/antoine/Desktop/pistachio-0.4-aos/kernel/include/config.h -include /home/antoine/Desktop/pistachio-0.4-aos /kernel/include/types.h -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -mcpu=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio- > 0.4-aos/kernel/src/glue/v4-mips64/asmsyms.cc > cc1plus: error: invalid option `cpu=r4100' > ===> src/api/v4/exregs.cc > cd src/api/v4/ && > /opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/mips64-elf-gcc > -nostdinc -I/home/antoine/Desktop/pistachio- 0.4-aos/build/include > -I/home/antoine/Desktop/pistachio-0.4-aos/kernel/include > -I/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio- 0.4-aos/build/config/config.h -imacros /home/antoine/Desktop/pistachio-0.4-aos/kernel/include/macros.h -include /home/antoine/Desktop/pistachio-0.4-aos/kernel/include/config.h -include /home/antoine/Desktop/pistachio-0.4-aos /kernel/include/types.h -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -mcpu=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio- > 0.4-aos/kernel/src/api/v4/exregs.cc > cc1plus: error: invalid option `cpu=r4100' > make[1]: *** [src/api/v4/exregs.o] Error 1 > make[1]: Leaving directory > `/home/antoine/Desktop/pistachio-0.4-aos/build' > make: *** [all] Error 2 > > Do you know how to solve this ? > Maybe i should use another compiler. > Thanks for your help > Antoine > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

1 0

l4 on mips
by Antoine Amirault 02 Jul '07

02 Jul '07

Hi, I'm student at ESIAL (a French engineering school) currently doing an internship in Beijing. I have to simulate l4 on a mips platform with qemu. I have downloaded pistachio and mips64-elf-3.4.4 from http://ertos.nicta.com.au/software/prebuilt/binaries.pml When i compile the kernel i obtain the following messages : antoine@liama-desktop:~/Desktop/pistachio-0.4-aos/build$ make make[1]: Entering directory `/home/antoine/Desktop/pistachio-0.4-aos/build' ===> src/glue/v4-mips64/asmsyms.cc cd src/glue/v4-mips64/ && /opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/mips64-elf-gcc -nostdinc -I/home/antoine/Desktop/pistachio-0.4-aos/build/include -I/home/antoine/Desktop/pistachio-0.4-aos/kernel/include -I/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio- 0.4-aos/build/config/config.h -imacros /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/macros.h -include /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/config.h -include /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/types.h -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -mcpu=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio-0.4-aos /kernel/src/glue/v4-mips64/asmsyms.cc cc1plus: error: invalid option `cpu=r4100' ===> src/api/v4/exregs.cc cd src/api/v4/ && /opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/mips64-elf-gcc -nostdinc -I/home/antoine/Desktop/pistachio-0.4-aos/build/include -I/home/antoine/Desktop/pistachio-0.4-aos/kernel/include -I/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/mips64-elf/bin/../lib/gcc/mips64-elf/3.4.4/include -Umips64 -Uvr4181 -Uvr41xx -Uv4 -D__ARCH__=mips64 -D__CPU__=vr4181 -D__PLATFORM__=vr41xx -D__API__=v4 -imacros /home/antoine/Desktop/pistachio- 0.4-aos/build/config/config.h -imacros /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/macros.h -include /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/config.h -include /home/antoine/Desktop/pistachio- 0.4-aos/kernel/include/types.h -fno-builtin -fomit-frame-pointer -fno-exceptions -Wall -Wno-format -Wconversion -O3 -G 0 -mlong64 -mno-abicalls -non_shared -msplit-addresses -EL -mcpu=r4100 -mips3 -mabi=64 -Wa,-mabi=o64 -c /home/antoine/Desktop/pistachio-0.4-aos /kernel/src/api/v4/exregs.cc cc1plus: error: invalid option `cpu=r4100' make[1]: *** [src/api/v4/exregs.o] Error 1 make[1]: Leaving directory `/home/antoine/Desktop/pistachio-0.4-aos/build' make: *** [all] Error 2 Do you know how to solve this ? Maybe i should use another compiler. Thanks for your help Antoine

2 1

Fiasco@ARM - supported hardware
by Daniel Vandersee 01 Jul '07

01 Jul '07

Hello, how do you test L4 on an ARM platform? Do you have specific hardware for that purpose? You mentioned that you use ARM Integrator boards. As there are several integrator boards available: which one exactly do you use? Do you use other boards as well? I'm asking because I plan to buy an ARM board which is supported out of the box without the need to modify drivers. Do you additionally use software simulators to test L4? If so, which one do you use? I tried Skyeye to simulate an ARM integrator board as well as a SA1100-board but didn't get any output over the serial line. Qemu doesn't work either and terminates with the following error: "qemu: uncaught target signal 11 (Segmentation fault) - exiting". Kind regards, Daniel

2 5

Installing Generated Header Files
by Neal H. Walfield 01 Jul '07

01 Jul '07

Hi, I'm using BID and generating header files at compile time. I looked at the include role, however, as far as I can tell, it only installs files from the source tree, not from the object tree. The attached patch improves the include role-file to allow this mode of operation. The patch consists of two changes. First, before listing the directory, we change to $(INCSRC_DIR). (This also requires evaluating TARGET_CMD lazily, i.e., using a recursive variable, not a simple one, as INCSRC_DIR may be set later.) Second, an additional target has been added, headers, which can depend on generated header files. I also updated the documentation. The current patch doesn't allow installing header files from both the source directory and the object directory. This might be useful, however, it appears to require modifying the perl code, which I have done my best to forget. Thanks, Neal Index: mk/include.mk =================================================================== --- mk/include.mk (revision 74) +++ mk/include.mk (working copy) @@ -27,9 +27,9 @@ ifeq ($(origin TARGET),undefined) # use POSIX -print here -TARGET_CMD := find . -name '*.[ih]' -print +TARGET_CMD = (cd $(INCSRC_DIR); find . -name '*.[ih]' -print) else -TARGET_CMD := echo $(TARGET) +TARGET_CMD = echo $(TARGET) endif INSTALL_INC_PREFIX ?= l4/$(PKGNAME) INCSRC_DIR ?= $(SRC_DIR) @@ -64,7 +64,9 @@ } \ }' -all:: +headers:: + +all:: headers @$(TARGET_CMD) | $(call installscript,1) install:: Index: doc/bid-spec/spec.tex =================================================================== --- doc/bid-spec/spec.tex (revision 73) +++ doc/bid-spec/spec.tex (working copy) @@ -2274,22 +2274,32 @@ \subsubsection{Purpose} -The purpose of the include role is to install the local include-files -into the local install-tree or into the drops install-tree. The -role-file achieves two goals when managing include-files: +The purpose of the include role is to install all .h and .i under +INCSRC_DIR into the local install-tree or into the drops +install-tree. This role facilitates two goals with respect to managing +include-files: + \begin{enumerate} -\item The path where the include-files are to be found in is entirely +\item The path where the include-files are found is entirely defined by the package name and the target system of the include-files. -\item Once written, the makefile needs not to be modified, even if new - include files are added or old include files are removed from the package. +\item Once written, the make file need not be modified, even when new + include files are added or old include files are removed from the + package. \end{enumerate} The target system of an include file is determined by putting it into -a specific subdirectory. The role-file will install it accordingly -then. The following table defines the subdirectories depending on the -target systems. +a specific subdirectory. The role-file will then install it +accordingly. By default, INCSRC_DIR points is set to the source +directory. To install generated header files, set INCSRC_DIR to +§OBJ_DIR. There is currently no mechanism to exclude header files. +When generating header files, add them to the headers target (which +all depends on). + +The following table defines the subdirectories depending on the target +systems. + \begin{center} \begin{tabular}{|l|l|} \hline

2 1

memory overflow
by Antoine Amirault 29 Jun '07

29 Jun '07

Hi all! I'm trying to run l4 on qemu. I've successfully build the kernel and the user level code. I have followed the guide from l4ka : http://l4ka.org/projects/pistachio/ia32/gettingstarted.php and everything is running well except some little thing but i think it doesn't matter (like problem when unmounting,...). but whem i run qemu with qemu -fda fdimage.img, i got this message : Memory descriptor overflow (max=200, n=200) --- "KD# memdesc overflow" --- ---------------------------------------------9eip=f0102358, esp=f010ee400 --- then everything is locked> Do you know how i can solve that? Thanks. Antoine

1 0

How can Minix 3 be so small
by Hendrik Tews 27 Jun '07

27 Jun '07

Hi, I just noticed that the Minix 3 kernel is under 4000 lines. I couldn't easily find numbers for Pistachio, but I guess it is comparable to Fiasco, which is about 15.000 lines (without the kernel debugger). Could anybody explain why Fiasco is so big in comparison with Minix 3? From the difference in size I would expect that there is an essential difference in the feature set between Minix 3 and Fiasco. Or are the Minix lines just four times longer on average? Bye, Hendrik

8 8

RE: How can Minix 3 be so small
by Clermont, Nicolas 26 Jun '07

26 Jun '07

I have noticed that Minix3 only support one architecture (x86), and doesn't offers something like a HAL. Maybe this is one reason. -----Message d'origine----- De : l4-hackers-bounces(a)os.inf.tu-dresden.de [mailto:l4-hackers-bounces@os.inf.tu-dresden.de] De la part de Hendrik Tews Envoyé : mardi 26 juin 2007 17:13 À : l4-hackers(a)os.inf.tu-dresden.de Objet : How can Minix 3 be so small Hi, I just noticed that the Minix 3 kernel is under 4000 lines. I couldn't easily find numbers for Pistachio, but I guess it is comparable to Fiasco, which is about 15.000 lines (without the kernel debugger). Could anybody explain why Fiasco is so big in comparison with Minix 3? From the difference in size I would expect that there is an essential difference in the feature set between Minix 3 and Fiasco. Or are the Minix lines just four times longer on average? Bye, Hendrik _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

1 0

clarification on explicit preemption points in Fiasco IPC
by Sergio Ruocco 26 Jun '07

26 Jun '07

Hi all, Forgive me if this is a silly question because it is documented somewhere, but I am unfamiliar with Fiasco source, and too in a hurry to go through all the Fiasco source code and cross-comare it with the documentation/papers/examples etc.... Skimming though Fiasco source code I checked out few weeks ago (the Doxygen online version is from 2005, out of date), I found 16 "Proc::preemption_point();" in the IPC path in the source file thread-ipc.cpp: [sergio 19:41 ~/Desktop/FIASCO/tudos/kernel/fiasco/src/kern]$ grep Proc::preemption_point thread-ipc.cpp | wc -l 16 Which tudos/kernel/fiasco/src/drivers/processor.cpp defines as: ... static inline void preemption_point() { sti(); irq_chance(); [ NOP NOP ] cli(); } ... My question is: As far as I know, Fiasco is entirely preemptable. Then why sprinkling the IPC path with Enable IRQs/NOP NOP/Disable IRQs ? Is there a document or a paper that discuss which parts of the kernel run with IRQs disabled / enabled ? Preemption disabled / enabled etc. ? Thanks in advance, Sergio -- Sergio Ruocco, PhD Research Fellow ruocco(a)disco.unimib.it / sergio.ruocco(a)gmail.com NOMADIS Lab. phone: +39-02-6448-7879 mobile, embedded real-time systems skype: 'sergioruocco' Università degli Studi di Milano-Bicocca, Italy

3 3

Re: 16-bit code and L4
by Valery V. Sedletski 25 Jun '07

25 Jun '07

On Mon, 25 Jun 2007 18:43:55 +1300 (MSD), Valery V. Sedletski wrote: >Yes, I see: > >L4_INLINE void >fiasco_gdt_set(void *desc, unsigned int size, > unsigned int entry_number_start, l4_threadid_t tid); > >It is privileged architecture-specific syscall, as I understood. And what means >"sanity checking" by the kernel? Does the kernel simply check that the descriptor >defines a valid segment, or, there are some additional chacks. For example, must >segments to be a non-overlapping, or not? (For 32-bit<-->16-bit thunking it is important >to have a possibility for the segments to be overlapping -- the code can be at the same >time to be in 16-bit segment and 32-bit segment). In segment.h header, there is an implementation of this function, through using LLDT instruction. (and not through using a special syscall). So, LLDT instruction is allowed for usermode programs, and the kernel intercept lldt instruction. -- Probably when this instruction is used in usermode program, the TRAP occurs, and the kernel handles this trap, modifying the LDT or GDT. Is this right? (I searched an fiasco_gdt_set() function in the source code and I found that L4Linux uses this function. So, it is, probably, was created for demands of L4Linux development?)

2 1

Re: 16-bit code and L4
by Valery V. Sedletski 25 Jun '07

25 Jun '07

> >I was working on allowing applications to use segmentation in >Pistachio as well. The modifications enabled apps to install segment >descriptors in a per address space LDT (after sanity checking by the >kernel of course). Modifying the GDT is not supported. > Is GDT modifying support planned in the future? > >By setting a thread in a special mode the kernel will never modify the >ES, FS, and GS of the thread. For optimization reasons the kernel >still retains the right to modify DS and SS though, so in effect these >can not be freely used by the app. Also, the kernel only allows data >segments to be installed --- no code or other segment types. > >It's been a while since I worked on this and got sidetracked by other >stuff, so I didn't completely finish the implementation yet. > > eSk > Is this documented somewhere? (It seems that it is not documented in L4 version X.2 API manual.) Maybe, it is in some source code documentation (Doxygen generated or alike)? > > > Thank you very much for your answer. WBR, Valery

1 0

Re: 16-bit code and L4
by Valery V. Sedletski 25 Jun '07

25 Jun '07

Thanks for answening so quickly. >> >Fiasco makes some GDT slots available to userland so that FS and GS can >> >be used with those. >> > >> >> And how to access these GDT descriptors from userland? Is this >> documented somewhere? Can usermode task change attributes of these >> descriptors (such as "16-bits" attribute)? Are they (descriptors) >> somehow mapped to requestor's address space or how else can usermode >> task modify these descriptors? Or, can usermode task only load >> selectors corresponding to these descriptors, but not modify >> descriptors itself? > >Userland can load descriptors that are sanity checked by the kernel and >then stored in the GDT. Using 16-bit segments should work too although I >never tried. Similar features are offered for the LDT. Our l4sys package >contains segment.h headers which describe the kernel interface. > Yes, I see: L4_INLINE void fiasco_gdt_set(void *desc, unsigned int size, unsigned int entry_number_start, l4_threadid_t tid); It is privileged architecture-specific syscall, as I understood. And what means "sanity checking" by the kernel? Does the kernel simply check that the descriptor defines a valid segment, or, there are some additional chacks. For example, must segments to be a non-overlapping, or not? (For 32-bit<-->16-bit thunking it is important to have a possibility for the segments to be overlapping -- the code can be at the same time to be in 16-bit segment and 32-bit segment). ... > >> And what about DS/ES? Can usermode task load these registers with >> another selector, as with FS/GS? > >Loading should work I guess but DS and ES are currently not restored on >exit to user. > so, if user restores these segments on exit, the loading should work? > > >Adam >-- >Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > >

1 0

Playing with ORe
by Marc CHALAND 22 Jun '07

22 Jun '07

Hi everybody, I did some experiments with ORe. I played with arping and I modified it to reply to ICMP from windows. I also added one option to ORe to prevent promiscuous mode when not necessary. cf attachment Best Regards

2 1

Thesis on verification of Fiasco's IPC implementation
by Erik Schierboom 22 Jun '07

22 Jun '07

Hi all, As some of you will probably already know, I have been working on the verification of (a part of) Fiasco's IPC implementation. This week I have finished my thesis and the result can be found at the following location: http://www.swyp.nl/thesis.pdf Thanks for all the help I have received. With regards, Erik Schierboom

1 0

Re: 16-bit code and L4
by Valery V. Sedletski 22 Jun '07

22 Jun '07

>On Thu Jun 21, 2007 at 03:55:24 +1300, Valery V. Sedletski wrote: >> >>> 2) Must all the segment registers be CS == DS == ES == FS == GS == SS == FLAT in L4 usermode >> >programs (in Intel >> >>> architecture implementation)? Or, there exist a possibility to use segments other than FLAT? >> >>> >> >>Fiasco preserves some of these segments (e.g., GS to support thread >> >>local storage). However, unless OS/2 makes use of these segments in >> >>32-bit mode there is no need to change these from a flat setting. >> > >> >It seems, that OS/2 does not use GS (GS seems to be always == 0), at least, in application programs. >> > >> >> But also FS is used to address a structure named Thread Info Block >> (TIB), it is also not flat (it has a limit=0x30) So, FS is used by >> OS/2 and programs depend on it. GS seems to be not used, and ES and DS >> are generally flat. > >Fiasco makes some GDT slots available to userland so that FS and GS can >be used with those. > And how to access these GDT descriptors from userland? Is this documented somewhere? Can usermode task change attributes of these descriptors (such as "16-bits" attribute)? Are they (descriptors) somehow mapped to requestor's address space or how else can usermode task modify these descriptors? Or, can usermode task only load selectors corresponding to these descriptors, but not modify descriptors itself? So it is with Fiasco, and what about Pistachio? (Is this mailing list the right place to ask such questions, or it is better to ask them at l4ka(a)ira.uka.de?) And what about DS/ES? Can usermode task load these registers with another selector, as with FS/GS? > > >Adam >-- >Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ >

3 2