Subversion Repositories HelenOS

Rev

Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
2467 6236 d 12 h jermar /trunk/ Improve comments for arch-specific implementations of hierarchical
4-level page tables. Improve formatting.
 
2465 6241 d 14 h jermar /trunk/ Merge arm32 into trunk.  
2089 6372 d 16 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes
 
2071 6383 d 9 h jermar /trunk/ (c) versus (C)  
2017 6420 d 15 h decky /trunk/kernel/arch/ia32xen/ update for Xen  
2007 6430 d 7 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.
 
1952 6470 d 11 h jermar /trunk/ Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures.
 
1891 6504 d 7 h jermar /trunk/kernel/ sparc64 work:
- Experimental support for TSB (Translation Storage Buffer).
 
1890 6504 d 18 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 6505 d 9 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 6508 d 12 h jermar /trunk/ C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64.
 
1840 6545 d 5 h decky /trunk/kernel/arch/xen32/ claim copyright on files with significant xen32-related changes
(for the purpose of author's master thesis)
 
1824 6552 d 12 h decky /trunk/kernel/arch/xen32/ xen32: use writable page tables, cleanup mm  
1821 6554 d 13 h decky /trunk/kernel/arch/xen32/ xen32 cleanup  
1809 6567 d 8 h decky /trunk/kernel/arch/xen32/ update xen32 support (most of the code is still dummy)