Support for Intel Xeon
Udo A. Steinberg
us15 at os.inf.tu-dresden.de
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
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
Size: 189 bytes
Desc: not available
More information about the l4-hackers