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