3343 |
6052 d 14 h |
decky |
/branches/sparc/ |
add sparc branch |
|
2106 |
6615 d 18 h |
jermar |
/trunk/kernel/ |
Merge as_t structure into one and leave the differring parts in as_genarch_t.
Indentation and formatting changes in header files. |
|
2071 |
6632 d 11 h |
jermar |
/trunk/ |
(c) versus (C) |
|
1959 |
6714 d 17 h |
decky |
/trunk/kernel/arch/ia32xen/src/ |
ia32xen: adopt new IRQ interface |
|
1952 |
6719 d 13 h |
jermar |
/trunk/ |
Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures. |
|
1840 |
6794 d 7 h |
decky |
/trunk/kernel/arch/xen32/ |
claim copyright on files with significant xen32-related changes
(for the purpose of author's master thesis) |
|
1821 |
6803 d 15 h |
decky |
/trunk/kernel/arch/xen32/ |
xen32 cleanup |
|
1817 |
6809 d 6 h |
decky |
/trunk/kernel/arch/ |
xen32 work: create identity mapping for the main memory zone,
make several dummy modifications to get to the banner |
|
1816 |
6809 d 15 h |
decky |
/trunk/kernel/ |
xen memory initialization |
|
1809 |
6816 d 10 h |
decky |
/trunk/kernel/arch/xen32/ |
update xen32 support (most of the code is still dummy) |
|