- l4-hackers - example.com Site

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

07 Apr '08

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

1 0

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

06 Apr '08

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

3 2

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

06 Apr '08

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

1 0

Re: stpm
by ahmad kamal 06 Apr '08

06 Apr '08

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

2 1

where to start.
by Varghese Mathew 04 Apr '08

04 Apr '08

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

2 1

Re: stpm
by ahmad kamal 04 Apr '08

04 Apr '08

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

2 1

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

04 Apr '08

Forwarding to group again ...

1 0

ux_con
by ahmad kamal 04 Apr '08

04 Apr '08

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

3 2

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

04 Apr '08

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

1 0

stpm
by ahmad kamal 03 Apr '08

03 Apr '08

if stpm server able to call tpmemulator, so far as i know it can only call physical TPM chip. ____________________________________________________________________________________ You rock. That's why Blockbuster's offering you one month of Blockbuster Total Access, No Cost. http://tc.deals.yahoo.com/tc/blockbuster/text5.com

2 1