| 4,9 → 4,10 |
|---|
| |
| <title>Introduction</title> |
| |
| <para>HelenOS is a portable operating system with support for a variety of modern |
| processor architectures<footnote> |
| <para>amd64, ia32, ia64, mips32 and ppc32.</para> |
| <para>HelenOS is a portable operating system with support for a variety of |
| modern processor architectures<footnote> |
| <para>amd64, arm32, ia32, ia64, mips32, ppc32 and sparc64. ia32xen and |
| ppc64 are currently broken.</para> |
| </footnote>.</para> |
| |
| <para>This book describes the design and principles of the HelenOS operating |