l4-hackers

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

2827 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

direct IPC VS Short IPC
by hazwan 30 Mar '08

30 Mar '08

Hello I have problems in understanding short ipc and direct long IPC. Just want to know that is it implementing register short IPC with direct long IPC implementation is the same. Unlike indirect long IPC, we must use the message header (strdope, send dope and size dope) . Do i must also use the message structure for implementing direct long ipc or i just use the same implementation on short register message (L4_IPC_SHORT_MSG)? Im kinda confuse and unsure of this issue due to unproper theory understanding. Like indirect IPC, i can understand that the memory that saves the message is only being reffered by both threads that wish to communicate by referring the memory address of the message. Unlike direct long IPC message, what I do understand is that each thread has a copy of the message at the threads respective user space. However, I dont know how to copy the message from one thread user space to the other threads user space using IPC call. But if the implementation of the direct long IPC is as the same as the register message(L4_IPC_SHORT_MSG), then i think I can imagine the flow. Thank you and your help is highly appreciated. -- View this message in context: http://www.nabble.com/direct-IPC-VS-Short-IPC-tp16247387p16247387.html Sent from the L4 mailing list archive at Nabble.com.

2 1

Re: run-l4 - to start another task
by ahmad kamal 30 Mar '08

30 Mar '08

hi all, i still failed to load another task using run-l4 here is my later config file #hello.cfg verbose 0 modpath "/boot/l4linux_2" task "hello" "" i alos tried #hello.cfg verbose 0 modpath "(hd0,5)/boot/l4linux_2" task "hello" "" for your info my boot partition is in extended partition. at l4linux terminal i run this command: ./run-l4 --fprov=BMODFS "hello.cfg" and ./run-l4 --fprov "BMODFS" "hello.cfg" and i also put hello in menu.lst. and it still failed to load hello as an alternative can u guys help me give an example of working: menu.lst config file to pass to bmodfs command line to execute in l4linux ----- Original Message ---- > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > To: l4-hackers(a)os.inf.tu-dresden.de > Sent: Wednesday, March 12, 2008 7:59:59 PM > Subject: Re: run-l4 - to start another task > > > On Tue Mar 11, 2008 at 20:55:51 -0700, ahmad kamal wrote: > > i've been trying to load another l4 task using run-l4 in l4linux, but i've got > error > > > > the error is -8(cannot a find module) > > > > here is my conf file > > > > #launch.conf > > > > verbose 0 > > modpath "(hd0,2)/boot/l4app" > > > > > > task "hello" > > > > > > and here is the cmd i run: > > > > run-l4 --fprov "BMODFS" "(hd0,2)/boot/l4app/launch.conf" > > When using bmodfs you do not need to specify a path. > > > here are few question: > > > > do i need to load run-l4 during boot time, in other words do i need to define > it in menu.lst? > > No, run-l4 is a Linux program, it only works in L4Linux. > > > do i need to load the task i would like to call using run-l4 during boot time? > > The binary needs to be available at the file provider you're using. So > when using bmodfs the binary needs to be loaded in menu.lst as a data > module for bmodfs (basically as usual). > > > 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 > ____________________________________________________________________________________ Looking for last minute shopping deals? Find them fast with Yahoo! Search. http://tools.search.yahoo.com/newsearch/category.php?category=shopping

2 1

Jump to page:

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