| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 2071 |
6309 d 17 h |
jermar |
/trunk/ |
(c) versus (C) |
|
| 2068 |
6317 d 0 h |
jermar |
/trunk/kernel/ |
Formatting and indentation fixes. |
|
| 1860 |
6448 d 18 h |
jermar |
/trunk/kernel/ |
A lot of untested sparc64 stuff:
- Write ASID to hardware when a thread is about to run in userspace.
- Add userspace() and switch_to_userspace() functions.
- Handle special cases when the userspace spill/fill handler causes MMU trap.
- Resolve some TODOs in the existing sparc64 code.
- sparc64 has now C99 compliant header guards.
- Formatting and indentation fixes. |
|
| 1857 |
6449 d 21 h |
jermar |
/trunk/kernel/arch/sparc64/ |
sparc64 work.
More bits needed to reach the userspace milestone were added.
The preemptible_handler(), still a prototype, now contains all functionality it needs.
Some sanitation was added to functions expecting page-aligned pointers to
userspace window buffer. |
|
| 1793 |
6497 d 2 h |
jermar |
/trunk/kernel/ |
Change hw_map() on sparc64 to use virtual addresses that are
beyond the end of physical memory. It is beneficial in two
ways: first, physical memory is no longer being wasted by
otherwise necessary calls to frame_alloc() and, second,
virtual addresses for devices are now correctly allocated
and do not overlap with the 4M TLB-locked mapping for
kernel text and data. |
|
| 1787 |
6499 d 19 h |
decky |
/ |
move kernel/trunk, uspace/trunk and boot/trunk to trunk/kernel, trunk/uspace and trunk/boot |
|
| 1780 |
6506 d 20 h |
jermar |
/kernel/trunk/ |
Replace old __u?? types with respective C99 variants (e.g. uint32_t, int64_t, uintptr_t etc.). |
|
| 1702 |
6527 d 23 h |
cejka |
/kernel/trunk/ |
Kernel doxygen comments updated. |
|
| 967 |
6619 d 3 h |
palkovsky |
/kernel/trunk/ |
Allowed userspace to include page.h. |
|
| 763 |
6658 d 22 h |
jermar |
/kernel/trunk/ |
Modify frame.h to use shifting instead of multiplication and division.
Define FRAME_WIDTH for all architectures. |
|
| 756 |
6660 d 13 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. |
|
| 619 |
6709 d 11 h |
jermar |
/kernel/trunk/arch/sparc64/ |
sparc64 work.
Functions for disabling/enabling MMU.
TLB initialization.
Identity mapping of first 4M for kernel.
Switch to kernel copy of trap table. |
|
| 534 |
6718 d 18 h |
jermar |
/ |
Rename HelenOS/SPARTAN to HelenOS/kernel again. |
|
| 532 |
6718 d 18 h |
jermar |
/ |
Revert renaming of HelenOS/SPARTAN to HelenOS/kernel because of important pending patch. |
|
| 501 |
6730 d 22 h |
jermar |
/ |
Rename HelenOS/SPARTAN to HelenOS/kernel. |
|
| 418 |
6761 d 17 h |
jermar |
/SPARTAN/trunk/ |
sparc64 infrastructure. |
|