headers
ahmad kamal | 3 Apr 04:19
Picon
Favicon

ux_con

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
Permalink | Reply | 2 comments |
headers
Björn Döbel | 3 Apr 09:01
Picon
Favicon

Re: ux_con


Hi,

> hi all, where to get ux_con?
> 
> what i get so far only con-ux and l4con only?

Con-UX is exactly what you are searching for.

Bjoern
Permalink | Reply | 0 comments |
headers
ahmad kamal | 3 Apr 11:55
Picon
Favicon

stpm

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
Permalink | Reply | 1 comment |
headers
Carsten Weinhold | 3 Apr 12:21
Picon
Favicon

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
Permalink | Reply | 0 comments |
headers
Varghese Mathew | 3 Apr 08:04
Picon

where to start.


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

_______________________________________________
l4-hackers mailing list
l4-hackers <at> os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Permalink | Reply | 2 comments |
headers
ahmad kamal | 4 Apr 03:42
Picon
Favicon

Re: stpm

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 <at> os.inf.tu-dresden.de>
> To: l4-hackers <at> os.inf.tu-dresden.de
> Cc: ahmad kamal <amadkamal <at> 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
Permalink | Reply | 1 comment |
headers
ahmad kamal | 4 Apr 03:58
Picon
Favicon

Re: where to start.

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 <at> gmail.com>
To: l4-hackers <at> 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 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



You rock. That's why Blockbuster's offering you one month of Blockbuster Total Access, No Cost.
_______________________________________________
l4-hackers mailing list
l4-hackers <at> os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Permalink | Reply | 0 comments |
headers
fang zhengshu | 4 Apr 06:24
Picon

error while compiling the l4.

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 <at> 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

_______________________________________________
l4-hackers mailing list
l4-hackers <at> os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Permalink | Reply | 2 comments |
headers
Martin Pohlack | 4 Apr 09:13
Picon
Favicon
Gravatar

Re: error while compiling the l4.

fang zhengshu wrote:
> 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

You cut away the first error.  Post a longer log.

Cheers,
Martin
Permalink | Reply | 0 comments |
headers
Adam Lackorzynski | 4 Apr 09:27
Picon
Favicon

Re: ux_con


On Wed Apr 02, 2008 at 19:19:37 -0700, ahmad kamal wrote:
> hi all, where to get ux_con?

ux_con is part of Fiasco-UX and is the backend that is used when you use
graphics in Fiasco-UX.

Adam
--

-- 
Adam                 adam <at> os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/
Permalink | Reply | 0 comments |

Gmane