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
2459 6171 d 15 h jermar /trunk/kernel/arch/ Fix a bug in ia32 and ia32xen Sun Studio builds.
In arch Makefile.inc, SUNCC_CFLAGS can only be appended via the += operator.
 
2457 6171 d 15 h jermar /trunk/kernel/arch/ia32xen/src/smp/ Fix ia32xen so that it can be built.  
2454 6172 d 10 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 6230 d 1 h decky /trunk/kernel/ start shutdown infrastructure  
2222 6230 d 11 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 6231 d 8 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 6231 d 12 h decky /trunk/ make thread ID 64 bit (task ID is 64 bit already)
cleanup thread syscalls
 
2125 6286 d 12 h decky /trunk/ experimental support for Objective C
(disabled by default)
 
2107 6294 d 10 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 6294 d 18 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 6299 d 12 h decky /trunk/kernel/ fix signed/unsigned comparison and integer overflow  
2089 6300 d 18 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes
 
2082 6306 d 19 h decky /trunk/ __asm__ __volatile__ -> asm volatile  
2071 6311 d 11 h jermar /trunk/ (c) versus (C)  
2018 6348 d 14 h decky /trunk/kernel/ rename rdtsc() to get_cycle()  
2017 6348 d 17 h decky /trunk/kernel/arch/ia32xen/ update for Xen  
2014 6352 d 13 h decky /trunk/ version bump to Xen 3.0.3 (not fully operational yet)  
2007 6358 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.
 
1959 6393 d 18 h decky /trunk/kernel/arch/ia32xen/src/ ia32xen: adopt new IRQ interface  
1953 6398 d 13 h jermar /trunk/kernel/ Finish renaming xen32 to ia32xen.  

Show All