| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 3233 |
5767 d 9 h |
decky |
/trunk/ |
remove dummy page coloring facility, which is currenty not used |
|
| 2725 |
5939 d 10 h |
decky |
/trunk/kernel/ |
remove config.memory_size, get_memory_size() and memory_init.{c|d}
the amount of available memory can be calculated from the sizes of the zones
add FRAMES2SIZE, SIZE2KB and SIZE2MB functions/macros (code readability) |
|
| 2721 |
5940 d 11 h |
decky |
/trunk/kernel/ |
convert e820list to a generic physmem command |
|
| 2697 |
5961 d 11 h |
decky |
/trunk/kernel/ |
amd64: shorten kernel address space by 2 GB to support proper mapping of more than 2 GB of physical memory |
|
| 2467 |
6177 d 7 h |
jermar |
/trunk/ |
Improve comments for arch-specific implementations of hierarchical
4-level page tables. Improve formatting. |
|
| 2465 |
6182 d 10 h |
jermar |
/trunk/ |
Merge arm32 into trunk. |
|
| 2089 |
6313 d 11 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
| 2071 |
6324 d 4 h |
jermar |
/trunk/ |
(c) versus (C) |
|
| 2007 |
6371 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. |
|
| 1958 |
6406 d 11 h |
decky |
/trunk/kernel/arch/amd64/ |
amd64: adopt new IRQ interface |
|
| 1891 |
6445 d 2 h |
jermar |
/trunk/kernel/ |
sparc64 work:
- Experimental support for TSB (Translation Storage Buffer). |
|
| 1890 |
6445 d 13 h |
jermar |
/trunk/ |
- Create a dedicated slab cache for as_t objects and switch from malloc/free to slab_alloc/slab_free for
them.
- Slightly fix and improve both the kernel and userspace atomic_add() on sparc64.
- More TSB work on the sparc64 front. |
|
| 1889 |
6446 d 4 h |
jermar |
/trunk/kernel/ |
Fix bug in mm/as.c:
- as_area_destroy() should not work with AS but as
sparc64 work:
- start implementing TSB support |
|
| 1888 |
6449 d 7 h |
jermar |
/trunk/ |
C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64. |
|
| 1787 |
6514 d 6 h |
decky |
/ |
move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot |
|
| 1780 |
6521 d 7 h |
jermar |
/kernel/trunk/ |
Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.). |
|
| 1702 |
6542 d 10 h |
cejka |
/kernel/trunk/ |
Kernel doxygen comments updated. |
|
| 1511 |
6553 d 10 h |
palkovsky |
/kernel/trunk/arch/ |
Remove __address from include file included by uspace |
|
| 1423 |
6559 d 11 h |
jermar |
/kernel/trunk/ |
Update page fault handlers to distinguish between different access modes that had caused the page fault. |
|
| 1411 |
6562 d 7 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. |
|