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
2454 6187 d 1 h jermar /trunk/kernel/ A bit of infrastructure for building with different compilers.
CFLAGS split into GCC_CFLAGS and SUNCC_CFLAGS.
As of now, there are no separate ICC_CFLAGS, but can be easily added.		  
2227 6244 d 17 h decky /trunk/kernel/ start shutdown infrastructure  
2222 6245 d 2 h decky /trunk/kernel/ map kernel pages explicitly as writable (this solves compatibility issues with Intel Core 2)
make VESA framebuffer initialization more robust		  
2218 6245 d 23 h decky /trunk/kernel/ support the possibility to send EOI or Interrupt Acknowledgement
prior to processing the interrupt
(this is essential on some architectures to prevent preemption deadlock)		  
2216 6246 d 3 h decky /trunk/ make thread ID 64 bit (task ID is 64 bit already)
cleanup thread syscalls		  
2125 6301 d 3 h decky /trunk/ experimental support for Objective C
(disabled by default)		  
2107 6309 d 1 h jermar /trunk/ When clock() is called by an external interrupt dispatched by the IRQ dispatcher,
no spinlock can be held or the kernel will not be preemptive. This fixes Ticket #24.

Formating and indentation fixes.		  
2106 6309 d 9 h jermar /trunk/kernel/ Merge as_t structure into one and leave the differring parts in as_genarch_t.

Indentation and formatting changes in header files.		  
2101 6314 d 3 h decky /trunk/kernel/ fix signed/unsigned comparison and integer overflow  
2089 6315 d 9 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes		  
2082 6321 d 10 h decky /trunk/ __asm__ __volatile__ -> asm volatile  
2071 6326 d 2 h jermar /trunk/ (c) versus (C)  
2018 6363 d 5 h decky /trunk/kernel/ rename rdtsc() to get_cycle()  
2017 6363 d 9 h decky /trunk/kernel/arch/ia32xen/ update for Xen  
2014 6367 d 4 h decky /trunk/ version bump to Xen 3.0.3 (not fully operational yet)  
2007 6373 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.		  
1959 6408 d 9 h decky /trunk/kernel/arch/ia32xen/src/ ia32xen: adopt new IRQ interface  
1953 6413 d 4 h jermar /trunk/kernel/ Finish renaming xen32 to ia32xen.  
1952 6413 d 4 h jermar /trunk/ Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures.		  
1943 6416 d 13 h decky /trunk/kernel/arch/xen32/src/ xen32: fix compilation  

←Prev12Next→

Show All