3343 |
6032 d 21 h |
decky |
/branches/sparc/ |
add sparc branch |
|
3233 |
6055 d 23 h |
decky |
/trunk/ |
remove dummy page coloring facility, which is currenty not used |
|
2467 |
6465 d 20 h |
jermar |
/trunk/ |
Improve comments for arch-specific implementations of hierarchical
4-level page tables. Improve formatting. |
|
2465 |
6470 d 23 h |
jermar |
/trunk/ |
Merge arm32 into trunk. |
|
2089 |
6602 d 1 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
2071 |
6612 d 17 h |
jermar |
/trunk/ |
(c) versus (C) |
|
2007 |
6659 d 16 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. |
|
1888 |
6737 d 21 h |
jermar |
/trunk/ |
C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64. |
|
1787 |
6802 d 20 h |
decky |
/ |
move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot |
|
1780 |
6809 d 21 h |
jermar |
/kernel/trunk/ |
Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.). |
|
1702 |
6831 d 0 h |
cejka |
/kernel/trunk/ |
Kernel doxygen comments updated. |
|
1423 |
6848 d 0 h |
jermar |
/kernel/trunk/ |
Update page fault handlers to distinguish between different access modes that had caused the page fault. |
|
1398 |
6853 d 17 h |
decky |
/kernel/trunk/arch/ |
port ppc32 changes to ppc64 (raw) |
|
1160 |
6895 d 22 h |
decky |
/kernel/trunk/ |
start ppc64 port
the code is currently a wild mixture of 32/64b code, will be fixed |
|