3343 |
6043 d 21 h |
decky |
/branches/sparc/ |
add sparc branch |
|
2106 |
6607 d 0 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 |
6623 d 17 h |
jermar |
/trunk/ |
(c) versus (C) |
|
1959 |
6706 d 0 h |
decky |
/trunk/kernel/arch/ia32xen/src/ |
ia32xen: adopt new IRQ interface |
|
1952 |
6710 d 19 h |
jermar |
/trunk/ |
Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures. |
|
1840 |
6785 d 13 h |
decky |
/trunk/kernel/arch/xen32/ |
claim copyright on files with significant xen32-related changes
(for the purpose of author's master thesis) |
|
1821 |
6794 d 22 h |
decky |
/trunk/kernel/arch/xen32/ |
xen32 cleanup |
|
1817 |
6800 d 13 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 |
6800 d 22 h |
decky |
/trunk/kernel/ |
xen memory initialization |
|
1809 |
6807 d 16 h |
decky |
/trunk/kernel/arch/xen32/ |
update xen32 support (most of the code is still dummy) |
|