#
# ChangeLog for / in mainline
#
# Generated by Trac 1.6
# 2024-11-29T15:18:24Z

Mon, 12 Jul 2010 15:51:53 GMT Jakub Jermar <jakub@…> [4e91239]
	* kernel/arch/ia32/src/asm.S (modified)

	Move comment to a better location.


Mon, 12 Jul 2010 15:38:15 GMT Jakub Jermar <jakub@…> [44c69b66]
	* kernel/arch/ia32/include/asm.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia32/src/pm.c (modified)

	Make the code in asm.S independent of the interrupt vector used for ...


Mon, 12 Jul 2010 14:42:46 GMT Jakub Jermar <jakub@…> [c15b374]
	* kernel/arch/amd64/src/mm/page.c (modified)
	* kernel/arch/arm32/src/mm/page_fault.c (modified)
	* kernel/arch/ia32/src/mm/page.c (modified)
	* kernel/arch/ia64/src/mm/tlb.c (modified)
	* kernel/arch/mips32/src/mm/tlb.c (modified)
	* kernel/arch/ppc32/src/mm/tlb.c (modified)
	* kernel/arch/sparc64/src/mm/sun4u/tlb.c (modified)
	* kernel/arch/sparc64/src/mm/sun4v/tlb.c (modified)
	* kernel/generic/include/mm/as.h (modified)

	Introduce PF_ACCESS_UNKNOWN to be used by the debuging/panicking code ...


Mon, 12 Jul 2010 13:42:20 GMT Jakub Jermar <jakub@…> [d5a1c73]
	* kernel/generic/src/debug/panic.c (modified)

	If supplied, print also the context-specific message on bad traps and ...


Mon, 12 Jul 2010 13:05:52 GMT Jakub Jermar <jakub@…> [e9a6b29]
	* kernel/generic/src/debug/panic.c (modified)

	Add missing new line in the generic panic message.


Mon, 12 Jul 2010 12:01:13 GMT Jakub Jermar <jakub@…> [144185b]
	* kernel/arch/arm32/src/mm/page_fault.c (modified)

	Only kill the offending task on an unresolved prefetch_abort instead ...


Thu, 08 Jul 2010 21:09:53 GMT Jakub Jermar <jakub@…> [bee2d4c]
	* kernel/arch/ia32/include/asm.h (modified)
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia32/src/pm.c (modified)

	Merge from lp:~jakub/helenos/upa


Thu, 08 Jul 2010 20:03:52 GMT Jakub Jermar <jakub@…> [b808660]
	* kernel/arch/ia32/include/asm.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia32/src/pm.c (modified)

	Do not align ia32 int handlers on any pre-defined power-of-two ...


Wed, 07 Jul 2010 21:13:35 GMT Jakub Jermar <jakub@…> [9097982f]
	* kernel/arch/ia32/src/asm.S (modified)

	Remove outdated comment.


Wed, 07 Jul 2010 21:08:57 GMT Jakub Jermar <jakub@…> [676afa2]
	* kernel/arch/ia32/include/interrupt.h (modified)

	Fix grammar.


Wed, 07 Jul 2010 20:39:50 GMT Jakub Jermar <jakub@…> [62b20f1]
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/generic/src/interrupt/interrupt.c (modified)

	Merge from lp:~jakub/helenos/upa


Wed, 07 Jul 2010 20:29:31 GMT Jakub Jermar <jakub@…> [ed7998b]
	* kernel/arch/ia32/src/asm.S (modified)

	Rewrite the SYSENTER syscall handler to use istate_t for parameter ...


Wed, 07 Jul 2010 19:57:48 GMT Jakub Jermar <jakub@…> [0737078]
	* kernel/arch/ia32/src/asm.S (modified)

	Rewrite the slow ia32 syscall handler to use istate_t for parameter ...


Wed, 07 Jul 2010 19:52:47 GMT Jakub Jermar <jakub@…> [77385fe]
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)

	Reorganize the ia32 istate_t slightly so that it can also be used by ...


Wed, 07 Jul 2010 18:37:44 GMT Jakub Jermar <jakub@…> [09b859c]
	* kernel/Makefile (modified)
	* kernel/arch/abs32le/include/asm.h (modified)
	* kernel/arch/abs32le/include/atomic.h (modified)
	* kernel/arch/abs32le/include/cycle.h (modified)
	* kernel/arch/abs32le/include/interrupt.h (modified)
	* kernel/arch/abs32le/include/mm/page.h (modified)
	* kernel/arch/amd64/include/asm.h (modified)
	* kernel/arch/amd64/include/atomic.h (modified)
	* kernel/arch/amd64/include/cycle.h (modified)
	* kernel/arch/amd64/include/interrupt.h (modified)
	* kernel/arch/amd64/include/mm/frame.h (modified)
	* kernel/arch/amd64/include/mm/page.h (modified)
	* kernel/arch/amd64/src/asm.S (modified)
	* kernel/arch/amd64/src/boot/boot.S (modified)
	* kernel/arch/arm32/include/asm.h (modified)
	* kernel/arch/arm32/include/atomic.h (modified)
	* kernel/arch/arm32/include/cycle.h (modified)
	* kernel/arch/arm32/include/exception.h (modified)
	* kernel/arch/arm32/include/faddr.h (modified)
	* kernel/arch/arm32/include/interrupt.h (modified)
	* kernel/arch/arm32/include/mm/page.h (modified)
	* kernel/arch/arm32/include/mm/tlb.h (modified)
	* kernel/arch/ia32/include/asm.h (modified)
	* kernel/arch/ia32/include/atomic.h (modified)
	* kernel/arch/ia32/include/barrier.h (modified)
	* kernel/arch/ia32/include/cycle.h (modified)
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/include/mm/page.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia32/src/boot/boot.S (modified)
	* kernel/arch/ia64/include/asm.h (modified)
	* kernel/arch/ia64/include/atomic.h (modified)
	* kernel/arch/ia64/include/cpu.h (modified)
	* kernel/arch/ia64/include/cycle.h (modified)
	* kernel/arch/ia64/include/interrupt.h (modified)
	* kernel/arch/ia64/include/mm/page.h (modified)
	* kernel/arch/mips32/include/asm.h (modified)
	* kernel/arch/mips32/include/atomic.h (modified)
	* kernel/arch/mips32/include/barrier.h (modified)
	* kernel/arch/mips32/include/cycle.h (modified)
	* kernel/arch/mips32/include/exception.h (modified)
	* kernel/arch/mips32/include/faddr.h (modified)
	* kernel/arch/mips32/include/mm/page.h (modified)
	* kernel/arch/mips32/include/mm/tlb.h (modified)
	* kernel/arch/ppc32/include/asm.h (modified)
	* kernel/arch/ppc32/include/atomic.h (modified)
	* kernel/arch/ppc32/include/barrier.h (modified)
	* kernel/arch/ppc32/include/cpu.h (modified)
	* kernel/arch/ppc32/include/cycle.h (modified)
	* kernel/arch/ppc32/include/exception.h (modified)
	* kernel/arch/ppc32/include/mm/frame.h (modified)
	* kernel/arch/ppc32/include/mm/page.h (modified)
	* kernel/arch/sparc64/include/asm.h (modified)
	* kernel/arch/sparc64/include/atomic.h (modified)
	* kernel/arch/sparc64/include/barrier.h (modified)
	* kernel/arch/sparc64/include/cycle.h (modified)
	* kernel/arch/sparc64/include/faddr.h (modified)
	* kernel/arch/sparc64/include/interrupt.h (modified)
	* kernel/arch/sparc64/include/mm/as.h (modified)
	* kernel/arch/sparc64/include/mm/frame.h (modified)
	* kernel/arch/sparc64/include/mm/sun4u/tlb.h (modified)
	* kernel/arch/sparc64/include/mm/sun4v/tlb.h (modified)
	* kernel/arch/sparc64/include/mm/tlb.h (modified)
	* kernel/arch/sparc64/include/sun4u/asm.h (modified)
	* kernel/arch/sparc64/include/sun4u/cpu.h (modified)
	* kernel/arch/sparc64/include/sun4v/asm.h (modified)
	* kernel/arch/sparc64/include/sun4v/cpu.h (modified)
	* kernel/generic/include/adt/avl.h (modified)
	* kernel/generic/include/adt/list.h (modified)
	* kernel/generic/include/atomic.h (modified)
	* kernel/generic/include/bitops.h (modified)
	* kernel/generic/include/context.h (modified)
	* kernel/generic/include/macros.h (modified)
	* kernel/generic/include/main/main.h (modified)
	* kernel/generic/include/main/version.h (modified)
	* kernel/generic/include/mm/frame.h (modified)
	* kernel/generic/include/security/cap.h (modified)
	* kernel/generic/include/smp/smp.h (modified)
	* kernel/generic/include/synch/spinlock.h (modified)
	* kernel/generic/include/syscall/sysarg64.h (modified)
	* kernel/generic/include/trace.h (added)
	* kernel/generic/include/udebug/udebug_ipc.h (modified)
	* kernel/generic/include/udebug/udebug_ops.h (modified)
	* kernel/generic/src/adt/btree.c (modified)
	* kernel/generic/src/console/kconsole.c (modified)
	* kernel/generic/src/ddi/ddi.c (modified)
	* kernel/generic/src/interrupt/interrupt.c (modified)
	* kernel/generic/src/main/main.c (modified)
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/mm/frame.c (modified)
	* kernel/generic/src/mm/page.c (modified)
	* kernel/generic/src/mm/slab.c (modified)
	* kernel/generic/src/proc/the.c (modified)
	* kernel/generic/src/sysinfo/sysinfo.c (modified)
	* uspace/lib/c/include/trace.h (added)

	Merge from mainline.


Tue, 06 Jul 2010 23:27:57 GMT Martin Decky <martin@…> [22c3444]
	* kernel/arch/amd64/src/asm.S (modified)
	* kernel/arch/amd64/src/boot/boot.S (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia32/src/boot/boot.S (modified)

	improve early printout scrolling speed


Tue, 06 Jul 2010 23:21:36 GMT Martin Decky <martin@…> [97bdb4a]
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/mm/frame.c (modified)
	* kernel/generic/src/mm/page.c (modified)

	avoid tracing of several memory-related functions which are called ...


Fri, 02 Jul 2010 22:37:00 GMT Martin Decky <martin@…> [04e3d9f]
	* kernel/generic/src/interrupt/interrupt.c (modified)

	remove an overly bold assumption about the validity of CPU
	(some ...


Fri, 02 Jul 2010 20:01:03 GMT Martin Decky <martin@…> [fef504a]
	* kernel/arch/amd64/src/boot/boot.S (modified)

	OK, fixing yet another totally brain-dead bug


Fri, 02 Jul 2010 19:59:57 GMT Martin Decky <martin@…> [ca8f84f]
	* kernel/arch/amd64/src/asm.S (modified)
	* kernel/arch/ia32/src/asm.S (modified)

	it might be handy for early_putchar to also interpret backspace ...


Fri, 02 Jul 2010 19:58:34 GMT Martin Decky <martin@…> [bbfdf62]
	* kernel/generic/include/mm/frame.h (modified)
	* kernel/generic/src/mm/frame.c (modified)

	size_t as a return type of zone_conf_size() is more natural than ...


Fri, 02 Jul 2010 15:42:19 GMT Martin Decky <martin@…> [7a0359b]
	* kernel/Makefile (modified)
	* kernel/arch/abs32le/include/asm.h (modified)
	* kernel/arch/abs32le/include/atomic.h (modified)
	* kernel/arch/abs32le/include/cycle.h (modified)
	* kernel/arch/abs32le/include/interrupt.h (modified)
	* kernel/arch/abs32le/include/mm/page.h (modified)
	* kernel/arch/amd64/include/asm.h (modified)
	* kernel/arch/amd64/include/atomic.h (modified)
	* kernel/arch/amd64/include/cycle.h (modified)
	* kernel/arch/amd64/include/interrupt.h (modified)
	* kernel/arch/amd64/include/mm/frame.h (modified)
	* kernel/arch/amd64/include/mm/page.h (modified)
	* kernel/arch/arm32/include/asm.h (modified)
	* kernel/arch/arm32/include/atomic.h (modified)
	* kernel/arch/arm32/include/cycle.h (modified)
	* kernel/arch/arm32/include/exception.h (modified)
	* kernel/arch/arm32/include/faddr.h (modified)
	* kernel/arch/arm32/include/interrupt.h (modified)
	* kernel/arch/arm32/include/mm/page.h (modified)
	* kernel/arch/arm32/include/mm/tlb.h (modified)
	* kernel/arch/ia32/include/asm.h (modified)
	* kernel/arch/ia32/include/atomic.h (modified)
	* kernel/arch/ia32/include/barrier.h (modified)
	* kernel/arch/ia32/include/cycle.h (modified)
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/include/mm/page.h (modified)
	* kernel/arch/ia64/include/asm.h (modified)
	* kernel/arch/ia64/include/atomic.h (modified)
	* kernel/arch/ia64/include/cpu.h (modified)
	* kernel/arch/ia64/include/cycle.h (modified)
	* kernel/arch/ia64/include/interrupt.h (modified)
	* kernel/arch/ia64/include/mm/page.h (modified)
	* kernel/arch/mips32/include/asm.h (modified)
	* kernel/arch/mips32/include/atomic.h (modified)
	* kernel/arch/mips32/include/barrier.h (modified)
	* kernel/arch/mips32/include/cycle.h (modified)
	* kernel/arch/mips32/include/exception.h (modified)
	* kernel/arch/mips32/include/faddr.h (modified)
	* kernel/arch/mips32/include/mm/page.h (modified)
	* kernel/arch/mips32/include/mm/tlb.h (modified)
	* kernel/arch/ppc32/include/asm.h (modified)
	* kernel/arch/ppc32/include/atomic.h (modified)
	* kernel/arch/ppc32/include/barrier.h (modified)
	* kernel/arch/ppc32/include/cpu.h (modified)
	* kernel/arch/ppc32/include/cycle.h (modified)
	* kernel/arch/ppc32/include/exception.h (modified)
	* kernel/arch/ppc32/include/mm/frame.h (modified)
	* kernel/arch/ppc32/include/mm/page.h (modified)
	* kernel/arch/sparc64/include/asm.h (modified)
	* kernel/arch/sparc64/include/atomic.h (modified)
	* kernel/arch/sparc64/include/barrier.h (modified)
	* kernel/arch/sparc64/include/cycle.h (modified)
	* kernel/arch/sparc64/include/faddr.h (modified)
	* kernel/arch/sparc64/include/interrupt.h (modified)
	* kernel/arch/sparc64/include/mm/as.h (modified)
	* kernel/arch/sparc64/include/mm/frame.h (modified)
	* kernel/arch/sparc64/include/mm/sun4u/tlb.h (modified)
	* kernel/arch/sparc64/include/mm/sun4v/tlb.h (modified)
	* kernel/arch/sparc64/include/mm/tlb.h (modified)
	* kernel/arch/sparc64/include/sun4u/asm.h (modified)
	* kernel/arch/sparc64/include/sun4u/cpu.h (modified)
	* kernel/arch/sparc64/include/sun4v/asm.h (modified)
	* kernel/arch/sparc64/include/sun4v/cpu.h (modified)
	* kernel/generic/include/adt/avl.h (modified)
	* kernel/generic/include/adt/list.h (modified)
	* kernel/generic/include/atomic.h (modified)
	* kernel/generic/include/bitops.h (modified)
	* kernel/generic/include/context.h (modified)
	* kernel/generic/include/macros.h (modified)
	* kernel/generic/include/main/main.h (modified)
	* kernel/generic/include/main/version.h (modified)
	* kernel/generic/include/mm/frame.h (modified)
	* kernel/generic/include/security/cap.h (modified)
	* kernel/generic/include/smp/smp.h (modified)
	* kernel/generic/include/synch/spinlock.h (modified)
	* kernel/generic/include/syscall/sysarg64.h (modified)
	* kernel/generic/include/trace.h (added)
	* kernel/generic/include/udebug/udebug_ipc.h (modified)
	* kernel/generic/include/udebug/udebug_ops.h (modified)
	* kernel/generic/src/adt/btree.c (modified)
	* kernel/generic/src/console/kconsole.c (modified)
	* kernel/generic/src/ddi/ddi.c (modified)
	* kernel/generic/src/interrupt/interrupt.c (modified)
	* kernel/generic/src/main/main.c (modified)
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/mm/frame.c (modified)
	* kernel/generic/src/mm/slab.c (modified)
	* kernel/generic/src/proc/the.c (modified)
	* kernel/generic/src/sysinfo/sysinfo.c (modified)
	* uspace/lib/c/include/trace.h (added)

	improve kernel function tracing
	 - add support for more generic ...


Fri, 02 Jul 2010 14:22:35 GMT Jakub Jermar <jakub@…> [e2ea4ab1]
	* HelenOS.config (modified)
	* boot/arch/ia64/src/asm.S (modified)
	* defaults/amd64/Makefile.config (modified)
	* defaults/arm32/Makefile.config (modified)
	* defaults/ia32/Makefile.config (modified)
	* defaults/ia64/Makefile.config (modified)
	* defaults/mips32/Makefile.config (modified)
	* defaults/ppc32/Makefile.config (modified)
	* defaults/sparc64/Makefile.config (modified)
	* defaults/special/Makefile.config (modified)
	* kernel/Makefile (modified)
	* kernel/arch/abs32le/include/interrupt.h (modified)
	* kernel/arch/abs32le/src/abs32le.c (modified)
	* kernel/arch/amd64/Makefile.inc (modified)
	* kernel/arch/amd64/src/asm.S (added)
	* kernel/arch/amd64/src/asm_utils.S (deleted)
	* kernel/arch/amd64/src/boot/boot.S (modified)
	* kernel/arch/amd64/src/boot/vesa_ret.inc (modified)
	* kernel/arch/amd64/src/debugger.c (modified)
	* kernel/arch/arm32/src/asm.S (modified)
	* kernel/arch/ia32/include/smp/apic.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia32/src/boot/boot.S (modified)
	* kernel/arch/ia32/src/boot/vesa_prot.inc (modified)
	* kernel/arch/ia32/src/boot/vesa_real.inc (modified)
	* kernel/arch/ia32/src/boot/vesa_ret.inc (modified)
	* kernel/arch/ia32/src/smp/apic.c (modified)
	* kernel/arch/ia32/src/smp/mps.c (modified)
	* kernel/arch/ia32/src/smp/smp.c (modified)
	* kernel/arch/ia64/src/asm.S (modified)
	* kernel/arch/ia64/src/start.S (modified)
	* kernel/arch/mips32/src/asm.S (modified)
	* kernel/arch/ppc32/src/asm.S (modified)
	* kernel/arch/sparc64/src/asm.S (modified)
	* kernel/arch/sparc64/src/trap/sun4v/interrupt.c (modified)
	* kernel/genarch/src/acpi/madt.c (modified)
	* kernel/generic/include/console/console.h (modified)
	* kernel/generic/include/context.h (modified)
	* kernel/generic/include/debug.h (modified)
	* kernel/generic/include/macros.h (modified)
	* kernel/generic/include/sort.h (modified)
	* kernel/generic/src/adt/btree.c (modified)
	* kernel/generic/src/console/console.c (modified)
	* kernel/generic/src/cpu/cpu.c (modified)
	* kernel/generic/src/debug/debug.c (added)
	* kernel/generic/src/debug/stacktrace.c (modified)
	* kernel/generic/src/lib/sort.c (modified)
	* kernel/generic/src/main/main.c (modified)
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/mm/page.c (modified)
	* kernel/generic/src/proc/the.c (modified)
	* uspace/lib/c/arch/ia64/src/entry.s (modified)
	* uspace/lib/c/arch/ia64/src/thread_entry.s (modified)
	* uspace/lib/c/generic/sort.c (modified)
	* uspace/lib/c/include/sort.h (modified)

	Merge mainline changes.


Fri, 02 Jul 2010 12:44:00 GMT Martin Decky <martin@…> [e3ee9b9]
	* kernel/generic/src/adt/btree.c (modified)
	* kernel/generic/src/cpu/cpu.c (modified)
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/mm/page.c (modified)
	* kernel/generic/src/proc/the.c (modified)

	remove forward static function declarations and reorder functions ...


Fri, 02 Jul 2010 11:02:45 GMT Martin Decky <martin@…> [b5382d4f]
	* kernel/arch/amd64/src/asm.S (modified)
	* kernel/arch/ia32/src/asm.S (modified)

	fix off-by-one mistake when interpreting newline


Fri, 02 Jul 2010 10:16:38 GMT Martin Decky <martin@…> [da52547]
	* kernel/Makefile (modified)
	* kernel/arch/abs32le/src/abs32le.c (modified)
	* kernel/arch/amd64/Makefile.inc (modified)
	* kernel/arch/amd64/src/asm.S (moved)
	* kernel/arch/amd64/src/boot/boot.S (modified)
	* kernel/arch/arm32/src/asm.S (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia64/src/asm.S (modified)
	* kernel/arch/mips32/src/asm.S (modified)
	* kernel/arch/ppc32/src/asm.S (modified)
	* kernel/arch/sparc64/src/asm.S (modified)
	* kernel/generic/include/console/console.h (modified)
	* kernel/generic/include/context.h (modified)
	* kernel/generic/include/debug.h (modified)
	* kernel/generic/include/macros.h (modified)
	* kernel/generic/src/console/console.c (modified)
	* kernel/generic/src/debug/debug.c (modified)
	* kernel/generic/src/main/main.c (modified)

	add early_putchar() which can be used to do early kernel console ...


Fri, 02 Jul 2010 10:11:33 GMT Martin Decky <martin@…> [ad8f03d2]
	* HelenOS.config (modified)
	* defaults/amd64/Makefile.config (modified)
	* defaults/arm32/Makefile.config (modified)
	* defaults/ia32/Makefile.config (modified)
	* defaults/ia64/Makefile.config (modified)
	* defaults/mips32/Makefile.config (modified)
	* defaults/ppc32/Makefile.config (modified)
	* defaults/sparc64/Makefile.config (modified)
	* defaults/special/Makefile.config (modified)

	split CONFIG_LOG into CONFIG_LOG and CONFIG_TRACE (displaying the ...


Fri, 02 Jul 2010 10:08:51 GMT Martin Decky <martin@…> [e837f30]
	* kernel/arch/abs32le/include/interrupt.h (modified)

	add missing include


Fri, 02 Jul 2010 09:59:49 GMT Martin Decky <martin@…> [dbd4ae5]
	* kernel/arch/sparc64/src/asm.S (modified)

	switch to C-style comments
	improve indentation


Thu, 01 Jul 2010 22:27:45 GMT Martin Decky <martin@…> [eedf4c5]
	* kernel/arch/ppc32/src/asm.S (modified)

	switch to C-style comments


Thu, 01 Jul 2010 22:17:50 GMT Martin Decky <martin@…> [d5042d28]
	* kernel/arch/mips32/src/asm.S (modified)

	switch to C-style comments


Thu, 01 Jul 2010 22:00:23 GMT Martin Decky <martin@…> [54171e8]
	* kernel/arch/ia64/src/asm.S (modified)

	switch to C-style comments
	improve indentation


Thu, 01 Jul 2010 21:29:43 GMT Martin Decky <martin@…> [6dce6af]
	* kernel/arch/ia32/src/asm.S (modified)

	switch to C-style comments
	improve indentation


Thu, 01 Jul 2010 20:50:31 GMT Martin Decky <martin@…> [c685fc8]
	* kernel/arch/arm32/src/asm.S (modified)

	cstyle


Thu, 01 Jul 2010 20:44:16 GMT Martin Decky <martin@…> [75c9852]
	* kernel/generic/src/lib/sort.c (modified)

	remove forgotten debugging output


Thu, 01 Jul 2010 19:07:57 GMT Jakub Jermar <jakub@…> [4d1be48]
	* kernel/generic/src/interrupt/interrupt.c (modified)

	Use more specific panic type.


Thu, 01 Jul 2010 18:39:48 GMT Martin Decky <martin@…> [64bbf13]
	* kernel/arch/amd64/src/asm_utils.S (modified)

	switch to C-style comments


Thu, 01 Jul 2010 18:33:34 GMT Jakub Jermar <jakub@…> [fc14438]
	* boot/arch/ia64/src/asm.S (modified)
	* kernel/arch/ia64/src/start.S (modified)
	* uspace/lib/c/arch/ia64/src/entry.s (modified)
	* uspace/lib/c/arch/ia64/src/thread_entry.s (modified)

	Merge progress from lp:~jakub/helenos/ia64-revival.


Thu, 01 Jul 2010 18:11:39 GMT Martin Decky <martin@…> [49ace23]
	* kernel/arch/amd64/src/debugger.c (modified)
	* kernel/arch/sparc64/src/trap/sun4v/interrupt.c (modified)
	* kernel/generic/src/debug/stacktrace.c (modified)

	use PRIp as a portable way of printing pointer-like numbers


Thu, 01 Jul 2010 16:33:58 GMT Jakub Jermar <jakub@…> [90ed058]
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia32/src/interrupt.c (modified)
	* kernel/generic/src/debug/stacktrace.c (modified)

	Merge ia32 interrupt handler and trap frame improvements.


Thu, 01 Jul 2010 16:29:48 GMT Martin Decky <martin@…> [873c681]
	* kernel/arch/amd64/src/boot/boot.S (modified)
	* kernel/arch/amd64/src/boot/vesa_ret.inc (modified)
	* kernel/arch/ia32/src/boot/boot.S (modified)
	* kernel/arch/ia32/src/boot/vesa_prot.inc (modified)
	* kernel/arch/ia32/src/boot/vesa_real.inc (modified)
	* kernel/arch/ia32/src/boot/vesa_ret.inc (modified)

	initial support for early kernel debugging prints
	use C comments in ...


Thu, 01 Jul 2010 16:27:26 GMT Jakub Jermar <jakub@…> [eee047c]
	* kernel/arch/ia32/src/asm.S (modified)

	Interrupt handlers should clear the direction flag too.


Thu, 01 Jul 2010 16:26:53 GMT Jakub Jermar <jakub@…> [5cca935]
	* kernel/arch/ia32/src/asm.S (modified)

	Optimize CLEAR_NT_FLAG.


Thu, 01 Jul 2010 16:20:29 GMT Jakub Jermar <jakub@…> [9110ff0]
	* kernel/arch/ia32/src/asm.S (modified)

	Bump up INTERRUPT_ALIGN as the new interrupt handler would not fit in ...


Wed, 30 Jun 2010 20:42:42 GMT Martin Decky <martin@…> [99718a2e]
	* kernel/arch/ia32/include/smp/apic.h (modified)
	* kernel/arch/ia32/src/smp/apic.c (modified)
	* kernel/arch/ia32/src/smp/smp.c (modified)
	* kernel/genarch/src/acpi/madt.c (modified)

	improve code readability


Wed, 30 Jun 2010 20:36:48 GMT Martin Decky <martin@…> [50f4b95]
	* kernel/genarch/src/acpi/madt.c (modified)
	* kernel/generic/include/sort.h (modified)
	* kernel/generic/src/lib/sort.c (modified)

	Merge (hopefully) final fix for ia32/amd64 SMP issues.


Wed, 30 Jun 2010 20:29:25 GMT Martin Decky <martin@…> [e9f4b59]
	* kernel/genarch/src/acpi/madt.c (modified)

	Fix two blatant bugs which were present in the MADT parsing code for ...


Wed, 30 Jun 2010 20:27:10 GMT Martin Decky <martin@…> [4babe62]
	* kernel/generic/include/sort.h (modified)
	* kernel/generic/src/lib/sort.c (modified)

	port uspace sorting improvements back to kernel


Wed, 30 Jun 2010 20:23:52 GMT Martin Decky <martin@…> [0a79ad9]
	* kernel/arch/ia32/src/smp/mps.c (modified)

	rename functions for consistency


Wed, 30 Jun 2010 20:21:53 GMT Martin Decky <martin@…> [0c3e63f]
	* kernel/arch/ia32/src/smp/smp.c (modified)

	map Local APIC and I/O APIC using hw_map()


Wed, 30 Jun 2010 20:17:27 GMT Martin Decky <martin@…> [c6c49de]
	* uspace/lib/c/generic/sort.c (modified)
	* uspace/lib/c/include/sort.h (modified)

	replace bubble sort with gnome sort
	improve quicksort readability ...


Wed, 30 Jun 2010 09:25:07 GMT Martin Decky <martin@…> [4edd57fd]
	* kernel/arch/ia32/src/smp/mps.c (modified)
	* kernel/genarch/src/acpi/madt.c (modified)

	the limit in the APIC driver is on CPU ids, not APIC ids
	(however, I ...


Wed, 30 Jun 2010 09:10:04 GMT Martin Decky <martin@…> [263bda2]
	* kernel/Makefile (modified)
	* kernel/generic/include/debug.h (modified)
	* kernel/generic/src/debug/debug.c (added)
	* kernel/generic/src/main/main.c (modified)

	remove LOG_EXEC() macro, use compile-time instrumentation for ...


Tue, 29 Jun 2010 21:23:54 GMT Jakub Jermar <jakub@…> [9a683150]
	* kernel/generic/src/debug/stacktrace.c (modified)

	Print only the necessary width of the offset.


Tue, 29 Jun 2010 21:03:01 GMT Jakub Jermar <jakub@…> [c9eb31c2]
	* kernel/arch/ia32/src/interrupt.c (modified)

	Print all potentially interesting information about an ia32 trap ...


Tue, 29 Jun 2010 20:19:09 GMT Jakub Jermar <jakub@…> [6473d41]
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)

	Alter the ia32 istate_t so that the stack trace printed upon a panic ...


Tue, 29 Jun 2010 17:43:38 GMT Jakub Jermar <jakub@…> [f56e897f]
	* kernel/arch/abs32le/include/atomic.h (modified)
	* kernel/arch/abs32le/include/interrupt.h (modified)
	* kernel/arch/abs32le/include/mm/page.h (modified)
	* kernel/arch/amd64/Makefile.inc (modified)
	* kernel/arch/amd64/_link.ld.in (modified)
	* kernel/arch/amd64/include/arch.h (modified)
	* kernel/arch/amd64/include/boot/boot.h (modified)
	* kernel/arch/amd64/include/context.h (modified)
	* kernel/arch/amd64/include/elf.h (modified)
	* kernel/arch/amd64/include/faddr.h (modified)
	* kernel/arch/amd64/include/interrupt.h (modified)
	* kernel/arch/amd64/include/mm/as.h (modified)
	* kernel/arch/amd64/include/mm/page.h (modified)
	* kernel/arch/amd64/include/mm/ptl.h (modified)
	* kernel/arch/amd64/include/mm/tlb.h (modified)
	* kernel/arch/amd64/include/pm.h (modified)
	* kernel/arch/amd64/include/proc/thread.h (modified)
	* kernel/arch/amd64/src/amd64.c (modified)
	* kernel/arch/amd64/src/asm_utils.S (modified)
	* kernel/arch/amd64/src/boot/boot.S (modified)
	* kernel/arch/amd64/src/context.S (modified)
	* kernel/arch/amd64/src/cpu/cpu.c (modified)
	* kernel/arch/amd64/src/debug/stacktrace.c (modified)
	* kernel/arch/amd64/src/delay.S (modified)
	* kernel/arch/amd64/src/fpu_context.c (modified)
	* kernel/arch/amd64/src/interrupt.c (modified)
	* kernel/arch/amd64/src/mm/page.c (modified)
	* kernel/arch/amd64/src/proc/scheduler.c (modified)
	* kernel/arch/amd64/src/proc/task.c (modified)
	* kernel/arch/amd64/src/proc/thread.c (modified)
	* kernel/arch/amd64/src/smp/ap.S (modified)
	* kernel/arch/ia32/include/bios/bios.h (modified)
	* kernel/arch/ia32/include/drivers/i8259.h (modified)
	* kernel/arch/ia32/include/fpu_context.h (modified)
	* kernel/arch/ia32/include/mm/asid.h (modified)
	* kernel/arch/ia32/include/smp/mps.h (modified)
	* kernel/arch/ia32/include/smp/smp.h (modified)
	* kernel/arch/ia32/src/bios/bios.c (modified)
	* kernel/arch/ia32/src/ia32.c (modified)
	* kernel/arch/ia32/src/mm/as.c (modified)
	* kernel/arch/ia32/src/mm/frame.c (modified)
	* kernel/arch/ia32/src/mm/tlb.c (modified)
	* kernel/arch/ia32/src/smp/mps.c (modified)
	* kernel/arch/ia32/src/smp/smp.c (modified)
	* kernel/arch/ppc32/src/mm/frame.c (modified)
	* kernel/arch/sparc64/src/mm/sun4u/frame.c (modified)
	* kernel/arch/sparc64/src/mm/sun4v/frame.c (modified)
	* kernel/genarch/include/acpi/acpi.h (modified)
	* kernel/genarch/include/acpi/madt.h (modified)
	* kernel/genarch/src/acpi/acpi.c (modified)
	* kernel/genarch/src/acpi/madt.c (modified)
	* kernel/generic/include/atomic.h (modified)
	* kernel/generic/include/config.h (modified)
	* kernel/generic/include/smp/ipi.h (modified)
	* kernel/generic/include/verify.h (modified)
	* kernel/generic/src/debug/symtab.c (modified)
	* kernel/generic/src/interrupt/interrupt.c (modified)
	* kernel/generic/src/ipc/sysipc.c (modified)
	* kernel/generic/src/main/kinit.c (modified)
	* kernel/generic/src/mm/frame.c (modified)
	* kernel/generic/src/mm/tlb.c (modified)
	* kernel/generic/src/proc/program.c (modified)
	* kernel/generic/src/smp/ipi.c (modified)
	* tools/checkers/vcc.h (added)
	* tools/checkers/vcc.py (modified)

	Merge mainlnie changes.


Tue, 29 Jun 2010 15:38:52 GMT Martin Decky <martin@…> [793cf029]
	* kernel/genarch/src/acpi/acpi.c (modified)

	ACPI code cleanup


Tue, 29 Jun 2010 15:38:08 GMT Martin Decky <martin@…> [c5da138]
	* kernel/genarch/src/acpi/acpi.c (modified)

	fix bug in configure_via_xsdt(): actually use XSDT, not RSDT


Tue, 29 Jun 2010 15:29:53 GMT Martin Decky <martin@…> [fa3b8e4]
	* kernel/generic/src/ipc/sysipc.c (modified)
	* kernel/generic/src/proc/program.c (modified)

	LOG() adds newline already


Tue, 29 Jun 2010 15:29:29 GMT Martin Decky <martin@…> [724d643]
	* kernel/genarch/include/acpi/acpi.h (modified)

	remove double semicollon


Tue, 29 Jun 2010 14:58:38 GMT Martin Decky <martin@…> [c19aa612]
	* kernel/generic/src/debug/symtab.c (modified)

	Return "unknown" instead of "Not found". The capitalization and space ...


Tue, 29 Jun 2010 00:08:48 GMT Martin Decky <martin@…> [fe32163]
	* kernel/arch/ia32/include/smp/smp.h (modified)
	* kernel/arch/ia32/src/smp/mps.c (modified)
	* kernel/arch/ia32/src/smp/smp.c (modified)
	* kernel/genarch/src/acpi/madt.c (modified)
	* kernel/generic/src/smp/ipi.c (modified)

	improve support for inactive CPUs
	major revision of MADT and MPS ...


Tue, 29 Jun 2010 00:08:26 GMT Martin Decky <martin@…> [9a21f9d]
	* kernel/generic/include/config.h (modified)

	align comments


Mon, 28 Jun 2010 23:58:20 GMT Martin Decky <martin@…> [49eb681]
	* kernel/arch/ia32/include/smp/mps.h (modified)
	* kernel/arch/ia32/src/ia32.c (modified)
	* kernel/genarch/include/acpi/acpi.h (modified)
	* kernel/genarch/include/acpi/madt.h (modified)
	* kernel/generic/include/smp/ipi.h (modified)
	* kernel/generic/src/main/kinit.c (modified)
	* kernel/generic/src/mm/tlb.c (modified)

	code cleanup (no change in functionality)


Mon, 28 Jun 2010 22:45:51 GMT Jakub Jermar <jakub@…> [e3038b4]
	* kernel/Makefile (modified)
	* kernel/arch/abs32le/src/abs32le.c (modified)
	* kernel/arch/amd64/include/interrupt.h (modified)
	* kernel/arch/amd64/include/types.h (modified)
	* kernel/arch/amd64/src/asm_utils.S (modified)
	* kernel/arch/amd64/src/interrupt.c (modified)
	* kernel/arch/amd64/src/mm/page.c (modified)
	* kernel/arch/arm32/Makefile.inc (modified)
	* kernel/arch/arm32/include/exception.h (modified)
	* kernel/arch/arm32/src/exc_handler.S (modified)
	* kernel/arch/arm32/src/exception.c (modified)
	* kernel/arch/arm32/src/mm/page.c (modified)
	* kernel/arch/arm32/src/mm/page_fault.c (modified)
	* kernel/arch/arm32/src/panic.S (deleted)
	* kernel/arch/ia32/Makefile.inc (modified)
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia32/src/debug/panic.s (deleted)
	* kernel/arch/ia32/src/interrupt.c (modified)
	* kernel/arch/ia32/src/mm/page.c (modified)
	* kernel/arch/ia64/src/asm.S (modified)
	* kernel/arch/ia64/src/interrupt.c (modified)
	* kernel/arch/ia64/src/mm/tlb.c (modified)
	* kernel/arch/mips32/Makefile.inc (modified)
	* kernel/arch/mips32/src/exception.c (modified)
	* kernel/arch/mips32/src/mm/tlb.c (modified)
	* kernel/arch/mips32/src/panic.S (deleted)
	* kernel/arch/ppc32/Makefile.inc (modified)
	* kernel/arch/ppc32/include/types.h (modified)
	* kernel/arch/ppc32/src/debug/panic.s (deleted)
	* kernel/arch/ppc32/src/interrupt.c (modified)
	* kernel/arch/ppc32/src/mm/tlb.c (modified)
	* kernel/arch/sparc64/Makefile.inc (modified)
	* kernel/arch/sparc64/include/types.h (modified)
	* kernel/arch/sparc64/src/mm/sun4u/tlb.c (modified)
	* kernel/arch/sparc64/src/mm/sun4v/tlb.c (modified)
	* kernel/arch/sparc64/src/panic.S (deleted)
	* kernel/arch/sparc64/src/trap/exception.c (modified)
	* kernel/generic/include/debug.h (modified)
	* kernel/generic/include/interrupt.h (modified)
	* kernel/generic/include/panic.h (modified)
	* kernel/generic/src/debug/panic.c (added)
	* kernel/generic/src/debug/stacktrace.c (modified)

	Merge unified panic architecture (Phase 1).

	Note that this is still ...


Mon, 28 Jun 2010 22:35:53 GMT Jakub Jermar <jakub@…> [e4a4b44]
	* kernel/arch/ia64/src/asm.S (modified)
	* kernel/arch/mips32/Makefile.inc (modified)
	* kernel/arch/mips32/src/panic.S (deleted)
	* kernel/arch/ppc32/Makefile.inc (modified)
	* kernel/arch/ppc32/src/debug/panic.s (deleted)
	* kernel/arch/sparc64/Makefile.inc (modified)
	* kernel/arch/sparc64/src/panic.S (deleted)

	Remove left-over panic_printf()'s.


Mon, 28 Jun 2010 22:33:08 GMT Jakub Jermar <jakub@…> [4fe907b9]
	* kernel/arch/abs32le/src/abs32le.c (modified)

	Fix abs32le: remove panic_printf() and add istate_decode().


Mon, 28 Jun 2010 22:28:19 GMT Jakub Jermar <jakub@…> [22a28a69]
	* kernel/arch/amd64/include/interrupt.h (modified)
	* kernel/arch/amd64/src/interrupt.c (modified)
	* kernel/arch/arm32/include/exception.h (modified)
	* kernel/arch/arm32/src/exception.c (modified)
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/src/interrupt.c (modified)
	* kernel/arch/ia64/include/interrupt.h (modified)
	* kernel/arch/ia64/src/interrupt.c (modified)
	* kernel/arch/mips32/include/exception.h (modified)
	* kernel/arch/mips32/src/exception.c (modified)
	* kernel/arch/ppc32/include/exception.h (modified)
	* kernel/arch/ppc32/src/interrupt.c (modified)
	* kernel/arch/sparc64/include/interrupt.h (modified)
	* kernel/arch/sparc64/src/trap/exception.c (modified)
	* kernel/generic/include/interrupt.h (modified)
	* kernel/generic/src/debug/panic.c (modified)

	Rename decode_istate() to istate_decode() and declare it only once in ...


Mon, 28 Jun 2010 21:42:28 GMT Jakub Jermar <jakub@…> [7008097]
	* kernel/arch/sparc64/include/interrupt.h (modified)
	* kernel/arch/sparc64/src/mm/sun4u/tlb.c (modified)
	* kernel/arch/sparc64/src/mm/sun4v/tlb.c (modified)
	* kernel/arch/sparc64/src/trap/exception.c (modified)

	Switch sparc64 to use the unified panic architecture.


Mon, 28 Jun 2010 20:32:07 GMT Martin Decky <martin@…> [05e3cb8]
	* kernel/generic/src/mm/tlb.c (modified)

	cstyle changes (no change in functionality)


Mon, 28 Jun 2010 19:48:50 GMT Jakub Jermar <jakub@…> [5b8016d]
	* kernel/arch/ppc32/include/exception.h (modified)
	* kernel/arch/ppc32/src/interrupt.c (modified)
	* kernel/arch/ppc32/src/mm/tlb.c (modified)

	Switch ppc32 to use the unified panic architecture. Untested as ppc32 ...


Mon, 28 Jun 2010 19:40:03 GMT Jakub Jermar <jakub@…> [7c31d20]
	* kernel/generic/src/debug/panic.c (modified)

	Check CPU before doing CPU->id.


Mon, 28 Jun 2010 19:05:39 GMT Jakub Jermar <jakub@…> [ac11ac7]
	* kernel/arch/mips32/include/exception.h (modified)
	* kernel/arch/mips32/src/exception.c (modified)
	* kernel/arch/mips32/src/mm/tlb.c (modified)

	Switch mips32 to use the unified panic architecture. No stack traces ...


Mon, 28 Jun 2010 18:12:48 GMT Jakub Jermar <jakub@…> [38e5675b]
	* kernel/arch/ia64/include/interrupt.h (modified)
	* kernel/arch/ia64/src/interrupt.c (modified)
	* kernel/arch/ia64/src/mm/tlb.c (modified)

	Switch ia64 to use the unified panic architecture. No stack traces so ...


Sun, 27 Jun 2010 23:54:45 GMT Martin Decky <martin@…> [64f6ef04]
	* kernel/arch/amd64/include/interrupt.h (modified)
	* kernel/arch/amd64/src/boot/boot.S (modified)
	* kernel/arch/amd64/src/interrupt.c (modified)
	* kernel/arch/amd64/src/mm/page.c (modified)
	* kernel/arch/ia32/src/mm/frame.c (modified)

	amd64: create identity mapping of the first 8 GB of physical memory ...


Sun, 27 Jun 2010 23:04:20 GMT Martin Decky <martin@…> [a1f60f3]
	* kernel/arch/amd64/Makefile.inc (modified)
	* kernel/arch/amd64/include/mm/as.h (modified)
	* kernel/arch/amd64/include/mm/page.h (modified)
	* kernel/arch/amd64/src/asm_utils.S (modified)
	* kernel/arch/amd64/src/boot/boot.S (modified)
	* kernel/arch/amd64/src/context.S (modified)
	* kernel/arch/amd64/src/fpu_context.c (modified)
	* kernel/arch/amd64/src/mm/page.c (modified)
	* kernel/arch/amd64/src/smp/ap.S (modified)

	move from "kernel" memory model to "large" memory model
	get rid of ...


Sun, 27 Jun 2010 23:03:44 GMT Martin Decky <martin@…> [33dac7d]
	* kernel/arch/ia32/src/mm/frame.c (modified)

	improve printouts


Sun, 27 Jun 2010 23:02:55 GMT Martin Decky <martin@…> [2ddcc7b]
	* kernel/arch/amd64/_link.ld.in (modified)
	* kernel/arch/amd64/include/arch.h (modified)
	* kernel/arch/amd64/include/boot/boot.h (modified)
	* kernel/arch/amd64/include/context.h (modified)
	* kernel/arch/amd64/include/elf.h (modified)
	* kernel/arch/amd64/include/faddr.h (modified)
	* kernel/arch/amd64/include/mm/ptl.h (modified)
	* kernel/arch/amd64/include/mm/tlb.h (modified)
	* kernel/arch/amd64/include/pm.h (modified)
	* kernel/arch/amd64/include/proc/thread.h (modified)
	* kernel/arch/amd64/src/amd64.c (modified)
	* kernel/arch/amd64/src/cpu/cpu.c (modified)
	* kernel/arch/amd64/src/debug/stacktrace.c (modified)
	* kernel/arch/amd64/src/delay.S (modified)
	* kernel/arch/amd64/src/proc/scheduler.c (modified)
	* kernel/arch/amd64/src/proc/task.c (modified)
	* kernel/arch/amd64/src/proc/thread.c (modified)
	* kernel/arch/ia32/include/bios/bios.h (modified)
	* kernel/arch/ia32/include/drivers/i8259.h (modified)
	* kernel/arch/ia32/include/fpu_context.h (modified)
	* kernel/arch/ia32/include/mm/asid.h (modified)
	* kernel/arch/ia32/src/bios/bios.c (modified)
	* kernel/arch/ia32/src/mm/as.c (modified)
	* kernel/arch/ia32/src/mm/tlb.c (modified)

	cstyle cleanup (no change in functionality)


Sun, 27 Jun 2010 16:37:28 GMT Martin Decky <martin@…> [74c5a1ca]
	* kernel/generic/src/mm/frame.c (modified)

	compact printouts


Sat, 26 Jun 2010 23:42:26 GMT Martin Decky <martin@…> [68667ce]
	* kernel/arch/ia32/src/mm/frame.c (modified)

	add physical memory workaround for amd64


Sat, 26 Jun 2010 23:00:54 GMT Martin Decky <martin@…> [720db0c]
	* kernel/arch/ia32/src/mm/frame.c (modified)
	* kernel/arch/ppc32/src/mm/frame.c (modified)
	* kernel/arch/sparc64/src/mm/sun4u/frame.c (modified)
	* kernel/arch/sparc64/src/mm/sun4v/frame.c (modified)

	fix erroneous resizing of physical zones (ticket #240)


Sat, 26 Jun 2010 21:59:52 GMT Martin Decky <martin@…> [cae5404]
	* kernel/arch/ia32/src/mm/frame.c (modified)

	add simple temporary workaround (far from any proper solution) for ...


Sat, 26 Jun 2010 21:42:59 GMT Martin Decky <martin@…> [decfbe56]
	* kernel/generic/src/interrupt/interrupt.c (modified)

	be paranoid and update exception statistics in a critical section ...


Sat, 26 Jun 2010 12:00:12 GMT Jakub Jermar <jakub@…> [62baed17]
	* kernel/arch/ia32/Makefile.inc (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia32/src/debug/panic.s (deleted)
	* kernel/arch/ia32/src/interrupt.c (modified)
	* kernel/arch/ia32/src/mm/page.c (modified)

	Switch ia32 to use the unified panic architecture.


Fri, 25 Jun 2010 14:49:42 GMT Martin Decky <martin@…> [fc81981]
	* kernel/arch/abs32le/include/interrupt.h (modified)
	* kernel/arch/abs32le/include/mm/page.h (modified)
	* kernel/generic/include/verify.h (modified)
	* tools/checkers/vcc.h (modified)

	add and improve annotations


Fri, 25 Jun 2010 13:38:30 GMT Martin Decky <martin@…> [33c4f72]
	* kernel/arch/abs32le/include/atomic.h (modified)
	* kernel/generic/include/atomic.h (modified)
	* kernel/generic/include/verify.h (modified)
	* tools/checkers/vcc.h (added)
	* tools/checkers/vcc.py (modified)

	improve annotations
	move to the newest VCC syntax
	use VCC ...


Fri, 25 Jun 2010 05:02:56 GMT Jakub Jermar <jakub@…> [8e374ea7]
	* kernel/arch/arm32/Makefile.inc (modified)
	* kernel/arch/arm32/include/exception.h (modified)
	* kernel/arch/arm32/src/exc_handler.S (modified)
	* kernel/arch/arm32/src/exception.c (modified)
	* kernel/arch/arm32/src/mm/page.c (modified)
	* kernel/arch/arm32/src/mm/page_fault.c (modified)
	* kernel/arch/arm32/src/panic.S (deleted)

	Switch arm32 to use the unified panic architecture.


Fri, 25 Jun 2010 04:23:47 GMT Jakub Jermar <jakub@…> [a043e39]
	* kernel/arch/amd64/include/interrupt.h (modified)
	* kernel/arch/amd64/src/asm_utils.S (modified)
	* kernel/arch/amd64/src/interrupt.c (modified)
	* kernel/arch/amd64/src/mm/page.c (modified)

	Switch amd64 to use the unified panic architecture.


Fri, 25 Jun 2010 04:22:36 GMT Jakub Jermar <jakub@…> [06737a0]
	* kernel/Makefile (modified)
	* kernel/generic/include/debug.h (modified)
	* kernel/generic/include/panic.h (modified)
	* kernel/generic/src/debug/panic.c (added)

	Foundations for the unified panic architecture.


Fri, 25 Jun 2010 04:14:42 GMT Jakub Jermar <jakub@…> [5c8de00]
	* kernel/generic/src/debug/stacktrace.c (modified)

	Add missing include.


Fri, 25 Jun 2010 00:37:41 GMT Jakub Jermar <jakub@…> [2d03471]
	* kernel/arch/amd64/include/types.h (modified)
	* kernel/arch/ppc32/include/types.h (modified)
	* kernel/arch/sparc64/include/types.h (modified)

	Fix comments.


Thu, 24 Jun 2010 13:00:16 GMT Martin Decky <martin@…> [09a0bd4a]
	* kernel/arch/abs32le/include/atomic.h (modified)
	* kernel/arch/abs32le/include/types.h (modified)
	* kernel/generic/include/atomic.h (modified)
	* kernel/generic/include/verify.h (added)
	* tools/checkers/vcc.py (modified)

	initial properties annotation and verification support
	(does not do ...


Thu, 24 Jun 2010 12:04:34 GMT Martin Decky <martin@…> [e821e49]
	* boot/Makefile.empty (added)
	* boot/arch/abs32le/Makefile.inc (added)

	add empty boot infrastructure for abs32le


Thu, 24 Jun 2010 11:31:03 GMT Martin Decky <martin@…> [172aad6]
	* uspace/app/top/screen.c (modified)
	* uspace/app/top/top.c (modified)
	* uspace/app/top/top.h (modified)

	add initial support for sorting the output of top


Thu, 24 Jun 2010 11:30:09 GMT Martin Decky <martin@…> [549012c]
	* uspace/lib/c/Makefile (modified)
	* uspace/lib/c/generic/sort.c (added)
	* uspace/lib/c/include/sort.h (added)

	port sorting functions from kernel to libc


Thu, 24 Jun 2010 09:56:58 GMT Martin Decky <martin@…> [ccb426c]
	* kernel/arch/amd64/src/debugger.c (modified)
	* kernel/arch/ia32/src/mm/frame.c (modified)
	* kernel/arch/mips32/src/debugger.c (modified)
	* kernel/arch/mips32/src/mm/frame.c (modified)
	* kernel/arch/mips32/src/mm/tlb.c (modified)
	* kernel/arch/ppc32/src/mm/frame.c (modified)
	* kernel/generic/src/mm/frame.c (modified)
	* kernel/generic/src/mm/slab.c (modified)

	improve other kernel printouts


Thu, 24 Jun 2010 09:07:32 GMT Martin Decky <martin@…> [851f33a]
	* kernel/generic/src/console/cmd.c (modified)

	merge "tests" and "test" kconsole commands


Tue, 22 Jun 2010 21:36:41 GMT Jakub Jermar <jakub@…> [fe7abd0]
	* boot/arch/ia64/src/asm.S (modified)
	* kernel/arch/ia64/src/start.S (modified)

	Use r2 instead of gp to pass the bootinfo address. Group the code ...


Tue, 22 Jun 2010 21:09:53 GMT Jakub Jermar <jakub@…> [1e3c2f1]
	* kernel/arch/ia64/src/start.S (modified)
	* uspace/lib/c/arch/ia64/src/entry.s (modified)
	* uspace/lib/c/arch/ia64/src/thread_entry.s (modified)

	Use gp instead of r1.