Rev |
Age |
Author |
Path |
Log message |
Diff |
4490 |
5684 d 12 h |
decky |
/trunk/kernel/ |
remove redundant index_t and count_t types (which were always quite ambiguous and not actually needed) |
|
3233 |
5995 d 16 h |
decky |
/trunk/ |
remove dummy page coloring facility, which is currenty not used |
|
3071 |
6049 d 17 h |
decky |
/trunk/kernel/ |
reflect changes in generic code
proper formatting directives
coding style |
|
2467 |
6405 d 14 h |
jermar |
/trunk/ |
Improve comments for arch-specific implementations of hierarchical
4-level page tables. Improve formatting. |
|
2465 |
6410 d 17 h |
jermar |
/trunk/ |
Merge arm32 into trunk. |
|
2089 |
6541 d 18 h |
decky |
/trunk/ |
huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes |
|
2071 |
6552 d 11 h |
jermar |
/trunk/ |
(c) versus (C) |
|
2007 |
6599 d 10 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 15 h |
jermar |
/trunk/ |
C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64. |
|
1787 |
6742 d 13 h |
decky |
/ |
move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot |
|
1780 |
6749 d 14 h |
jermar |
/kernel/trunk/ |
Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.). |
|
1702 |
6770 d 17 h |
cejka |
/kernel/trunk/ |
Kernel doxygen comments updated. |
|
1423 |
6787 d 18 h |
jermar |
/kernel/trunk/ |
Update page fault handlers to distinguish between different access modes that had caused the page fault. |
|
1411 |
6790 d 15 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 18 h |
jermar |
/kernel/trunk/ |
Add sys_mremap() syscall. |
|
967 |
6861 d 21 h |
palkovsky |
/kernel/trunk/ |
Allowed userspace to include page.h. |
|
957 |
6862 d 12 h |
decky |
/kernel/trunk/arch/ |
run ppc32 kernel above 2 GB |
|
832 |
6893 d 9 h |
jermar |
/kernel/trunk/ |
Change pt_mapping_remove() to deallocate frames for empty PTL1, PTL2 and PTL3. |
|
831 |
6893 d 15 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 15 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 |
6901 d 10 h |
jermar |
/kernel/trunk/ |
Add PAGE_WIDTH to aid divisions by PAGE_SIZE. |
|
760 |
6901 d 19 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. |
|
534 |
6961 d 12 h |
jermar |
/ |
Rename HelenOS/SPARTAN to HelenOS/kernel again. |
|
532 |
6961 d 12 h |
jermar |
/ |
Revert renaming of HelenOS/SPARTAN to HelenOS/kernel because of important pending patch. |
|
501 |
6973 d 17 h |
jermar |
/ |
Rename HelenOS/SPARTAN to HelenOS/kernel. |
|
391 |
7022 d 10 h |
jermar |
/SPARTAN/trunk/ |
mips32 memory management work.
TLB Refill Exception implemented (passed basic testing).
Remove bit g from struct entry_hi.
Add generic find_mapping().
Add asid to vm_t type, define asid_t to hide architecture specific differences.
Implement ASID allocation for mips32, dummy for other architectures.
Add THE->vm (a.k.a. VM).
Add vm_install_arch().
Move pte_t definition to arch/types.h on each architecture.
Fix PTL manipulating functions on mips32 to shift pfn by 12 instead of by 14.
Fix tlb_init_arch() to initialize all entries.
Other.
Remove unnecessary header files from arch.h
Add missing headers here and there.
Remove two unnecessary ld flags from mips32 makefile. |
|
300 |
7051 d 19 h |
palkovsky |
/SPARTAN/trunk/arch/ia32/ |
Backported AMD64 linker and boot changes back to IA32. |
|
169 |
7067 d 9 h |
jermar |
/SPARTAN/trunk/arch/ |
For each architecture, add an extra type cast of x to __address to both KA2PA() and PA2KA(). |
|
135 |
7098 d 18 h |
jermar |
/SPARTAN/trunk/ |
Fix setters of page table attributes for both IA-32 and MIPS. |
|
120 |
7118 d 8 h |
jermar |
/SPARTAN/trunk/ |
Generic 4-level page tables interface & implementation (review & test).
Implement more architecture dependant macros on IA-32.
Provide fake implementation on IA-64 and MIPS.
Convert map_page_to_frame() to use the new interface.
Move adjusted map_page_to_frame() from IA-32's arch/mm/page.c to the generic mm/page.c. |
|
119 |
7119 d 11 h |
jermar |
/SPARTAN/trunk/ |
Start with generic 4-level page table interface.
Usual cleanup. |
|
105 |
7146 d 8 h |
jermar |
/SPARTAN/trunk/ |
Big changes in IA-32 address space map.
Now the kernel is mapped above 0x80000000. Finally!
Userspace address space starts at 0x00000000.
Changes in many places.
This improvement temporarily breaks SMP and most likely also other stuff.
Supported size of memory is now only 4M as it is the biggest size that can be mapped at once on IA-32.
Changes in linker script.
Changes required because of the above.
Do not patch hardcoded_* variables but assign to them instead.
Cosmetic changes here and there. |
|
11 |
7243 d 8 h |
jermar |
/SPARTAN/trunk/ |
Clean up (ia32 vs. i386).
Header files reorganization. |
|
1 |
7250 d 14 h |
jermar |
/SPARTAN/ |
Initial import |
|