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
2462 6194 d 17 h jermar /trunk/kernel/ Replace gcc-specific __FUNCTION__ with C99 __func__.
suncc's xregs=no%float can be used only on sparc64.		  
2460 6194 d 18 h jermar /trunk/kernel/ Better infrastructure for building with different compilers.
Separate ICC_CFLAGS added, SUNCC_CFLAGS extended.		  
2459 6194 d 21 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 6194 d 21 h jermar /trunk/kernel/arch/ia32xen/src/smp/ Fix ia32xen so that it can be built.  
2454 6195 d 16 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 6253 d 7 h decky /trunk/kernel/ start shutdown infrastructure  
2222 6253 d 17 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 6254 d 14 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 6254 d 17 h decky /trunk/ make thread ID 64 bit (task ID is 64 bit already)
cleanup thread syscalls		  
2125 6309 d 18 h decky /trunk/ experimental support for Objective C
(disabled by default)		  
2107 6317 d 16 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 6318 d 0 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 6322 d 18 h decky /trunk/kernel/ fix signed/unsigned comparison and integer overflow  
2089 6324 d 0 h decky /trunk/ huge type system cleanup
remove cyclical type dependencies across multiple header files
many minor coding style fixes		  
2082 6330 d 0 h decky /trunk/ __asm__ __volatile__ -> asm volatile  
2071 6334 d 17 h jermar /trunk/ (c) versus (C)  
2018 6371 d 20 h decky /trunk/kernel/ rename rdtsc() to get_cycle()  
2017 6371 d 23 h decky /trunk/kernel/arch/ia32xen/ update for Xen  
2014 6375 d 19 h decky /trunk/ version bump to Xen 3.0.3 (not fully operational yet)  
2007 6381 d 15 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.		  

←Prev12Next→

Show All