| 3343 |
6044 d 10 h |
decky |
/branches/sparc/ |
add sparc branch |
|
| 3233 |
6067 d 12 h |
decky |
/trunk/ |
remove dummy page coloring facility, which is currenty not used |
|
| 2467 |
6477 d 9 h |
jermar |
/trunk/ |
Improve comments for arch-specific implementations of hierarchical
4-level page tables. Improve formatting. |
|
| 2465 |
6482 d 12 h |
jermar |
/trunk/ |
Merge arm32 into trunk. |
|
| 2089 |
6613 d 14 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
| 2071 |
6624 d 6 h |
jermar |
/trunk/ |
(c) versus (C) |
|
| 2017 |
6661 d 13 h |
decky |
/trunk/kernel/arch/ia32xen/ |
update for Xen |
|
| 2007 |
6671 d 5 h |
jermar |
/trunk/kernel/ |
Introduce page colors. So far, only sparc64 uses correct page color bits. Other architectures have a dummy define
specifying zero bits for a page color.
There is a new check of page color in as_area_share(). Because of lack of support for this in the userspace, the
check has been #ifef'ed out. |
|
| 1952 |
6711 d 9 h |
jermar |
/trunk/ |
Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures. |
|
| 1888 |
6749 d 10 h |
jermar |
/trunk/ |
C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64. |
|
| 1840 |
6786 d 3 h |
decky |
/trunk/kernel/arch/xen32/ |
claim copyright on files with significant xen32-related changes
(for the purpose of author's master thesis) |
|
| 1824 |
6793 d 10 h |
decky |
/trunk/kernel/arch/xen32/ |
xen32: use writable page tables, cleanup mm |
|
| 1821 |
6795 d 11 h |
decky |
/trunk/kernel/arch/xen32/ |
xen32 cleanup |
|
| 1809 |
6808 d 6 h |
decky |
/trunk/kernel/arch/xen32/ |
update xen32 support (most of the code is still dummy) |
|