| Zeile 9: | Zeile 9: | ||
| Sprache = [[C]] | | Sprache = [[C]] | ||
| IPC= ''Kein Mikrokernel'' | | IPC= ''Kein Mikrokernel'' | ||
| − | | Plattform = i386, x86_64, ppc, uvm. | + | | Plattform = [[x86|i386]], [[x64|x86_64]], ppc, uvm. |
| Homepage = [http://www.kernel.org http://www.kernel.org] | | Homepage = [http://www.kernel.org http://www.kernel.org] | ||
}} | }} | ||