| 3343 |
6045 d 7 h |
decky |
/branches/sparc/ |
add sparc branch |
|
| 3233 |
6068 d 9 h |
decky |
/trunk/ |
remove dummy page coloring facility, which is currenty not used |
|
| 2467 |
6478 d 6 h |
jermar |
/trunk/ |
Improve comments for arch-specific implementations of hierarchical
4-level page tables. Improve formatting. |
|
| 2465 |
6483 d 9 h |
jermar |
/trunk/ |
Merge arm32 into trunk. |
|
| 2089 |
6614 d 11 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
| 2071 |
6625 d 3 h |
jermar |
/trunk/ |
(c) versus (C) |
|
| 2017 |
6662 d 10 h |
decky |
/trunk/kernel/arch/ia32xen/ |
update for Xen |
|
| 2007 |
6672 d 2 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 |
6712 d 6 h |
jermar |
/trunk/ |
Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures. |
|
| 1888 |
6750 d 7 h |
jermar |
/trunk/ |
C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64. |
|
| 1840 |
6787 d 0 h |
decky |
/trunk/kernel/arch/xen32/ |
claim copyright on files with significant xen32-related changes
(for the purpose of author's master thesis) |
|
| 1824 |
6794 d 7 h |
decky |
/trunk/kernel/arch/xen32/ |
xen32: use writable page tables, cleanup mm |
|
| 1821 |
6796 d 8 h |
decky |
/trunk/kernel/arch/xen32/ |
xen32 cleanup |
|
| 1809 |
6809 d 3 h |
decky |
/trunk/kernel/arch/xen32/ |
update xen32 support (most of the code is still dummy) |
|