Support for Intel Xeon

Udo A. Steinberg us15 at
Mon Jul 18 17:29:10 CEST 2005

On Mon, 18 Jul 2005 08:53:09 -0600 Wang, Chip (WC) wrote:

WC> Do anybody know if Fiasco and L4Linux support Intel Xeon processors?

The Fiasco microkernel supports Intel Xeon processors, but does not use their
SMP capabilities.

WC> The information contained in this e-mail message is PRIVATE. It may contain
WC> confidential information and may be legally privileged. It is intended for
WC> the exclusive use of the addressee(s). If you are not the intended
WC> recipient, you are hereby notified that any dissemination, distribution or
WC> reproduction of this communication is strictly prohibited. If the intended
WC> recipient(s) cannot be reached or if a transmission problem has occurred,
WC> please notify the sender immediately by return e-mail and destroy all copies
WC> of this message.  Thank you. 

The information contained in this answer is PRIVATE, too. That's why I posted
it to a public mailing list :)


-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
URL: <>

More information about the l4-hackers mailing list