2131 |
6542 d 7 h |
decky |
/branches/ |
add development branches |
|
2106 |
6591 d 10 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 |
6608 d 3 h |
jermar |
/trunk/ |
(c) versus (C) |
|
1959 |
6690 d 10 h |
decky |
/trunk/kernel/arch/ia32xen/src/ |
ia32xen: adopt new IRQ interface |
|
1952 |
6695 d 5 h |
jermar |
/trunk/ |
Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures. |
|
1840 |
6769 d 23 h |
decky |
/trunk/kernel/arch/xen32/ |
claim copyright on files with significant xen32-related changes
(for the purpose of author's master thesis) |
|
1821 |
6779 d 8 h |
decky |
/trunk/kernel/arch/xen32/ |
xen32 cleanup |
|
1817 |
6784 d 23 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 |
6785 d 7 h |
decky |
/trunk/kernel/ |
xen memory initialization |
|
1809 |
6792 d 2 h |
decky |
/trunk/kernel/arch/xen32/ |
update xen32 support (most of the code is still dummy) |
|