| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 4490 |
5683 d 23 h |
decky |
/trunk/kernel/ |
remove redundant index_t and count_t types (which were always quite ambiguous and not actually needed) |
|
| 3233 |
5995 d 3 h |
decky |
/trunk/ |
remove dummy page coloring facility, which is currenty not used |
|
| 3071 |
6049 d 4 h |
decky |
/trunk/kernel/ |
reflect changes in generic code
proper formatting directives
coding style |
|
| 2467 |
6405 d 1 h |
jermar |
/trunk/ |
Improve comments for arch-specific implementations of hierarchical
4-level page tables. Improve formatting. |
|
| 2465 |
6410 d 4 h |
jermar |
/trunk/ |
Merge arm32 into trunk. |
|
| 2089 |
6541 d 5 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
| 2071 |
6551 d 22 h |
jermar |
/trunk/ |
(c) versus (C) |
|
| 2007 |
6598 d 20 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 |
6677 d 2 h |
jermar |
/trunk/ |
C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64. |
|
| 1787 |
6742 d 0 h |
decky |
/ |
move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot |
|
| 1780 |
6749 d 1 h |
jermar |
/kernel/trunk/ |
Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.). |
|
| 1702 |
6770 d 4 h |
cejka |
/kernel/trunk/ |
Kernel doxygen comments updated. |
|
| 1423 |
6787 d 5 h |
jermar |
/kernel/trunk/ |
Update page fault handlers to distinguish between different access modes that had caused the page fault. |
|
| 1411 |
6790 d 2 h |
jermar |
/kernel/trunk/ |
Modify the hierarchy of page fault handlers to pass access mode that caused the fault.
Architectures are required to pass either PF_ACCESS_READ, PF_ACCESS_WRITE or PF_ACCESS_EXEC
to as_page_fault(), depending on the cause of the fault. |
|
| 977 |
6861 d 4 h |
jermar |
/kernel/trunk/ |
Add sys_mremap() syscall. |
|
| 967 |
6861 d 8 h |
palkovsky |
/kernel/trunk/ |
Allowed userspace to include page.h. |
|
| 957 |
6861 d 23 h |
decky |
/kernel/trunk/arch/ |
run ppc32 kernel above 2 GB |
|
| 832 |
6892 d 20 h |
jermar |
/kernel/trunk/ |
Change pt_mapping_remove() to deallocate frames for empty PTL1, PTL2 and PTL3. |
|
| 831 |
6893 d 2 h |
jermar |
/kernel/trunk/ |
Make use of one unused bit in PTE formats of amd64, ia32 and mips32 to store 1 in valid mappings.
This helps to distinguish valid entries from not present entries with 0 content (i.e. not present
entries with PFN 0 and other bits cleared). |
|
| 825 |
6894 d 2 h |
jermar |
/kernel/trunk/ |
Remove WAKEUP_IPI stuff.
Make it possible to use PAGE_GLOBAL on ia32, amd64 and mips32.
Make ia32 and amd64 map the kernel using PAGE_GLOBAL. |
|