| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 3071 |
5808 d 23 h |
decky |
/trunk/kernel/ |
reflect changes in generic code
proper formatting directives
coding style |
|
| 2467 |
6164 d 20 h |
jermar |
/trunk/ |
Improve comments for arch-specific implementations of hierarchical
4-level page tables. Improve formatting. |
|
| 2465 |
6169 d 23 h |
jermar |
/trunk/ |
Merge arm32 into trunk. |
|
| 2089 |
6301 d 0 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
| 2071 |
6311 d 17 h |
jermar |
/trunk/ |
(c) versus (C) |
|
| 2007 |
6358 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 |
6436 d 21 h |
jermar |
/trunk/ |
C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64. |
|
| 1787 |
6501 d 19 h |
decky |
/ |
move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot |
|
| 1780 |
6508 d 21 h |
jermar |
/kernel/trunk/ |
Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.). |
|
| 1702 |
6529 d 23 h |
cejka |
/kernel/trunk/ |
Kernel doxygen comments updated. |
|
| 1423 |
6547 d 0 h |
jermar |
/kernel/trunk/ |
Update page fault handlers to distinguish between different access modes that had caused the page fault. |
|
| 1411 |
6549 d 21 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 |
6621 d 0 h |
jermar |
/kernel/trunk/ |
Add sys_mremap() syscall. |
|
| 967 |
6621 d 3 h |
palkovsky |
/kernel/trunk/ |
Allowed userspace to include page.h. |
|
| 957 |
6621 d 18 h |
decky |
/kernel/trunk/arch/ |
run ppc32 kernel above 2 GB |
|
| 832 |
6652 d 15 h |
jermar |
/kernel/trunk/ |
Change pt_mapping_remove() to deallocate frames for empty PTL1, PTL2 and PTL3. |
|
| 831 |
6652 d 22 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 |
6653 d 21 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. |
|
| 765 |
6660 d 17 h |
jermar |
/kernel/trunk/ |
Add PAGE_WIDTH to aid divisions by PAGE_SIZE. |
|
| 760 |
6661 d 1 h |
jermar |
/kernel/trunk/ |
mips32 is not supposed to allocate page table.
This is done by the generic code now.
Remove PTL0 pointer as it is not needed.
Remove GET_PTL0_ADDRESS from kernel.
Update sparc64 comments in barrier.h. |
|