| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 4490 |
5514 d 3 h |
decky |
/trunk/kernel/ |
remove redundant index_t and count_t types (which were always quite ambiguous and not actually needed) |
|
| 3973 |
5610 d 11 h |
decky |
/trunk/kernel/ |
kernel memory management revisited (phase 2): map physical memory according to zones
- ia32: register reserved and ACPI zones
- pareas are now used only for mapping of present physical memory (hw_area() is gone)
- firmware zones and physical addresses outside any zones are allowed to be mapped generally
- fix nasty antient bug in zones_insert_zone() |
|
| 3940 |
5617 d 6 h |
decky |
/trunk/kernel/ |
make hw_area API more generic
this allows mapping of EGA VRAM on ia32/amd64 |
|
| 3908 |
5621 d 4 h |
decky |
/trunk/ |
overhaul pareas: use one single physical area for the physical address space not belonging to physical memory |
|
| 3233 |
5825 d 8 h |
decky |
/trunk/ |
remove dummy page coloring facility, which is currenty not used |
|
| 2725 |
5997 d 8 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 |
5998 d 9 h |
decky |
/trunk/kernel/ |
convert e820list to a generic physmem command |
|
| 2697 |
6019 d 10 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 |
6235 d 5 h |
jermar |
/trunk/ |
Improve comments for arch-specific implementations of hierarchical
4-level page tables. Improve formatting. |
|
| 2465 |
6240 d 8 h |
jermar |
/trunk/ |
Merge arm32 into trunk. |
|
| 2089 |
6371 d 9 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
| 2071 |
6382 d 2 h |
jermar |
/trunk/ |
(c) versus (C) |
|
| 2007 |
6429 d 1 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 |
6464 d 9 h |
decky |
/trunk/kernel/arch/amd64/ |
amd64: adopt new IRQ interface |
|
| 1891 |
6503 d 1 h |
jermar |
/trunk/kernel/ |
sparc64 work:
- Experimental support for TSB (Translation Storage Buffer). |
|
| 1890 |
6503 d 11 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 |
6504 d 3 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 |
6507 d 6 h |
jermar |
/trunk/ |
C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64. |
|
| 1787 |
6572 d 4 h |
decky |
/ |
move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot |
|
| 1780 |
6579 d 6 h |
jermar |
/kernel/trunk/ |
Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.). |
|
| 1702 |
6600 d 8 h |
cejka |
/kernel/trunk/ |
Kernel doxygen comments updated. |
|
| 1511 |
6611 d 8 h |
palkovsky |
/kernel/trunk/arch/ |
Remove __address from include file included by uspace |
|
| 1423 |
6617 d 9 h |
jermar |
/kernel/trunk/ |
Update page fault handlers to distinguish between different access modes that had caused the page fault. |
|
| 1411 |
6620 d 6 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. |
|
| 1070 |
6688 d 13 h |
jermar |
/kernel/trunk/ |
More checks for address space area conflicts. |
|
| 1064 |
6688 d 22 h |
palkovsky |
/kernel/trunk/arch/amd64/ |
Cleanup of amd64 code. |
|
| 1063 |
6688 d 23 h |
palkovsky |
/kernel/trunk/ |
Add support for more then 2GB of address space for AMD64. |
|
| 977 |
6691 d 9 h |
jermar |
/kernel/trunk/ |
Add sys_mremap() syscall. |
|
| 967 |
6691 d 12 h |
palkovsky |
/kernel/trunk/ |
Allowed userspace to include page.h. |
|
| 940 |
6693 d 4 h |
jermar |
/kernel/trunk/ |
Get rid of unneeded macros.
Their functionality has been replaced by the ELF loader. |
|
| 832 |
6723 d 0 h |
jermar |
/kernel/trunk/ |
Change pt_mapping_remove() to deallocate frames for empty PTL1, PTL2 and PTL3. |
|
| 831 |
6723 d 7 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 |
6724 d 6 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. |
|
| 808 |
6726 d 13 h |
palkovsky |
/kernel/trunk/arch/amd64/ |
Doc updates. |
|
| 802 |
6727 d 0 h |
palkovsky |
/kernel/trunk/arch/amd64/ |
Userspace now starts executing correctly. |
|
| 765 |
6731 d 2 h |
jermar |
/kernel/trunk/ |
Add PAGE_WIDTH to aid divisions by PAGE_SIZE. |
|
| 763 |
6731 d 8 h |
jermar |
/kernel/trunk/ |
Modify frame.h to use shifting instead of multiplication and division.
Define FRAME_WIDTH for all architectures. |
|
| 760 |
6731 d 10 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. |
|
| 756 |
6732 d 23 h |
jermar |
/kernel/trunk/ |
Memory management work.
Remove the last (i.e. 'root') argument from page_mapping_insert() and page_mapping_find().
Page table address is now extracted from the first (i.e. 'as') argument.
Add a lot of infrastructure to make the above possible.
sparc64 is now broken, most likely because of insufficient identity mapping of physical memory. |
|
| 727 |
6745 d 1 h |
jermar |
/kernel/trunk/ |
New ASID management subsystem (initial work, more is required).
Some TLB invalidation changes. |
|