Index: kernel/doc/AUTHORS =================================================================== --- kernel/doc/AUTHORS (revision b060ca9420d7ad69e0ab5c89d34e86211a7f87df) +++ (revision ) @@ -1,12 +1,0 @@ -Jakub Jermar -Martin Decky -Ondrej Palkovsky -Jiri Svoboda -Jakub Vana -Josef Cejka -Michal Kebrt -Sergey Bondari -Pavel Jancik -Petr Stepan -Michal Konopa -Vojtech Mencl Index: kernel/doc/arch/amd64 =================================================================== --- kernel/doc/arch/amd64 (revision b060ca9420d7ad69e0ab5c89d34e86211a7f87df) +++ (revision ) @@ -1,35 +1,0 @@ -amd64 port -========== - -The fifth port, amd64 port, was originally written by Ondrej Palkovsky. -The goal is to support AMD64 and Intel Extended Memory 64 Technology PC's. -The port makes use of portable parts of ia32. -Both uniprocessors and multiprocessors are supported. -The kernel runs on real hardware and in simulators too. - -HARDWARE REQUIREMENTS - o AMD64 architecture processor - o Intel Extended Memory 64 Technology processor - -CPU - o Intel Xeon with Intel Extended Memory 64 Technology - o AMD Athlon 64 - -SMP COMPATIBILITY - o Bochs 2.2.1 - 2.2.6 - o 2x-8x AMD64 CPU - o Simics 2.2.19 - o 2x-15x AMD hammer CPU - o QEMU 0.8.0 - QEMU 0.8.1 - o 2x-15x CPU - o HP ProLiant ML350 (HyperThreading) - -EMULATORS AND VIRTUALIZERS - o Bochs 2.2.6 - o Simics 2.2.19 - o QEMU 0.8.1 - -TOOLCHAIN REQUIREMENTS - o binutils 2.16, 2.16.1 - o gcc 4.0.1, 4.1.0, 4.1.1 - o older versions may do as well, but are now obsoleted Index: kernel/doc/arch/arm32 =================================================================== --- kernel/doc/arch/arm32 (revision b060ca9420d7ad69e0ab5c89d34e86211a7f87df) +++ (revision ) @@ -1,16 +1,0 @@ -arm32 port -========== - -arm32 port is the ninth port of SPARTAN, originally written by Michal Kebrt, -Petr Stepan, Pavel Jancik. The goal is to support 32-bit ARM architecture. -So far, it runs only in emulator. - -HARDWARE REQUIREMENTS - o no real hardware supported - -EMULATORS AND VIRTUALIZERS - o GXemul - -TOOLCHAIN REQUIREMENTS - o binutils 2.17 - o gcc 4.1.1 Index: kernel/doc/arch/ia32 =================================================================== --- kernel/doc/arch/ia32 (revision b060ca9420d7ad69e0ab5c89d34e86211a7f87df) +++ (revision ) @@ -1,40 +1,0 @@ -ia32 port -========= - -ia32 port is the oldest and the most advanced one. -It was originally written by Jakub Jermar. -It is meant to support ordinary PC's based on IA-32 architecture. -Both uniprocessor and multiprocessor modes are supported. -It runs both in emulated environment and on real hardware. - -HARDWARE REQUIREMENTS - o IA-32 processor (Pentium and successors) - -SMP COMPATIBILITY - o Bochs 2.0.2 - Bochs 2.2.6 - o 2x-8x 686 CPU - o Simics 2.0.28 - Simics 2.2.19 - o 2x-15x Pentium 4 CPU - o VMware Workstation 5.5 - o 2x CPU - o QEMU 0.8.0 - QEMU 0.8.1 - o 2x-15x CPU - o ASUS P/I-P65UP5 + ASUS C-P55T2D REV. 1.41 - o 2x 200Mhz Pentium CPU - o ASUS PCH-DL - o 2x 3000Mhz Pentium 4 Xeon (HT) CPU - o MSI K7D Master-L - o 2x 2100MHz Athlon MP CPU - o ECS 865PE-A REV : 2.0 - o 1x 2800MHz Pentium 4 Prescott (HT) CPU - -EMULATORS AND VIRTUALIZERS - o Bochs 2.0.2 - Bochs 2.2.6 - o VMware Workstation 4, VMware Workstation 5, VMware Workstation 5.5 - o Simics 2.2.19 - o QEMU 0.8.0 - QEMU 0.8.1 - -TOOLCHAIN REQUIREMENTS - o binutils 2.15, 2.16, 2.16.1 - o gcc 3.3.5, 4.0.1, 4.1.0, 4.1.1 - o older versions may do as well, but are now obsoleted Index: kernel/doc/arch/ia64 =================================================================== --- kernel/doc/arch/ia64 (revision b060ca9420d7ad69e0ab5c89d34e86211a7f87df) +++ (revision ) @@ -1,16 +1,0 @@ -ia64 port -========= - -ia64 port is the third port of SPARTAN originally written by Jakub Jermar. -It is still in its early stages. It runs on HP Ski simulator of IA-64 architecture. - -HARDWARE REQUIREMENTS - o no real hardware supported - -EMULATORS AND VIRTUALIZERS - o ski - -TOOLCHAIN REQUIREMENTS - o binutils 2.15, 2.16, 2.16.1 - o gcc 4.0.0, 4.0.1, 4.1.0, 4.1.1 - o older versions may do as well, but are now obsoleted Index: kernel/doc/arch/mips32 =================================================================== --- kernel/doc/arch/mips32 (revision b060ca9420d7ad69e0ab5c89d34e86211a7f87df) +++ (revision ) @@ -1,22 +1,0 @@ -mips32 port -=========== - -mips32 is the second port of SPARTAN kernel originally written by Jakub Jermar. -It was first developed to run on MIPS R4000 32-bit simulator. -It can be compiled and run either as little- or big-endian. - -HARDWARE REQUIREMENTS - o emulated MIPS 4K CPU - -CPU - o QED R4600 - -EMULATORS AND VIRTUALIZERS - o msim 1.2.12 - o gxemul - both big and little endian - o simics 2.2.19 - -TOOLCHAIN REQUIREMENTS - o binutils 2.16, 2.16.1 - o gcc 4.0.1, 4.1.0, 4.1.1 - o older versions may do as well, but are now obsoleted Index: kernel/doc/arch/ppc32 =================================================================== --- kernel/doc/arch/ppc32 (revision b060ca9420d7ad69e0ab5c89d34e86211a7f87df) +++ (revision ) @@ -1,15 +1,0 @@ -ppc32 port -========== - -ppc32 port is the fourth port of SPARTAN, originally written by Martin Decky. -The goal is to support 32-bit PowerPC architecture. - -HARDWARE REQUIREMENTS - o Apple iMac G4 - -EMULATORS AND VIRTUALIZERS - o QEMU - -TOOLCHAIN REQUIREMENTS - o binutils 2.16 - o gcc 4.0.1, 4.1.0, 4.1.1 Index: kernel/doc/arch/sparc64 =================================================================== --- kernel/doc/arch/sparc64 (revision b060ca9420d7ad69e0ab5c89d34e86211a7f87df) +++ (revision ) @@ -1,25 +1,0 @@ -sparc64 port -============ - -Currently, this porting effort is subject to -Jakub Jermar's work on his master thesis. - -The goal is to provide support for UltraSPARC -implementation of SPARC V9 architecture. - -MACHINES - o Sun Ultra 5 - o Sun Ultra 60 - o Sun Enterprise E6500 (simulated) - -CPU - o UltraSPARC II - o UltraSPARC IIi - -SIMULATORS - o simics 2.2.19, simics 3.0.17, simics 3.0.21 - -TOOLCHAIN REQUIREMENTS - o binutils 2.17 - o gcc 4.1.1 - o older versions may do as well, but are now obsoleted