l4-hackers April 2008

l4-hackers@os.inf.tu-dresden.de

16 participants
18 discussions

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers April 2008