2131 |
6546 d 12 h |
decky |
/branches/ |
add development branches |
|
2106 |
6595 d 15 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 |
6612 d 8 h |
jermar |
/trunk/ |
(c) versus (C) |
|
1959 |
6694 d 15 h |
decky |
/trunk/kernel/arch/ia32xen/src/ |
ia32xen: adopt new IRQ interface |
|
1952 |
6699 d 10 h |
jermar |
/trunk/ |
Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures. |
|
1840 |
6774 d 4 h |
decky |
/trunk/kernel/arch/xen32/ |
claim copyright on files with significant xen32-related changes
(for the purpose of author's master thesis) |
|
1821 |
6783 d 13 h |
decky |
/trunk/kernel/arch/xen32/ |
xen32 cleanup |
|
1817 |
6789 d 4 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 |
6789 d 12 h |
decky |
/trunk/kernel/ |
xen memory initialization |
|
1809 |
6796 d 7 h |
decky |
/trunk/kernel/arch/xen32/ |
update xen32 support (most of the code is still dummy) |
|