Subversion Repositories HelenOS

Rev

Go to most recent revision | Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
2131 6340 d 9 h decky /branches/ add development branches  
2089 6395 d 13 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes
 
2071 6406 d 5 h jermar /trunk/ (c) versus (C)  
2017 6443 d 12 h decky /trunk/kernel/arch/ia32xen/ update for Xen  
2007 6453 d 4 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 6493 d 8 h jermar /trunk/ Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures.
 
1891 6527 d 4 h jermar /trunk/kernel/ sparc64 work:
- Experimental support for TSB (Translation Storage Buffer).
 
1890 6527 d 14 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 6528 d 6 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 6531 d 9 h jermar /trunk/ C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64.
 
1840 6568 d 2 h decky /trunk/kernel/arch/xen32/ claim copyright on files with significant xen32-related changes
(for the purpose of author's master thesis)
 
1824 6575 d 9 h decky /trunk/kernel/arch/xen32/ xen32: use writable page tables, cleanup mm  
1821 6577 d 10 h decky /trunk/kernel/arch/xen32/ xen32 cleanup  
1809 6590 d 5 h decky /trunk/kernel/arch/xen32/ update xen32 support (most of the code is still dummy)