#
# ChangeLog for kernel/generic in mainline
#
# Generated by Trac 1.6
# 2025-08-25T00:38:31Z

Tue, 13 Jul 2010 21:12:11 GMT Jakub Jermar <jakub@…> [a7199c2]
	* kernel/generic/src/console/kconsole.c (modified)

	Reduce kconsole stack space consumption by about 2.5KiB by using ...


Tue, 13 Jul 2010 20:54:51 GMT Jakub Jermar <jakub@…> [b62d5614]
	* kernel/generic/src/console/kconsole.c (modified)

	Fix typo.


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.


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: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 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 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 ...


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: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.


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 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 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 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: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 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:40:03 GMT Jakub Jermar <jakub@…> [7c31d20]
	* kernel/generic/src/debug/panic.c (modified)

	Check CPU before doing CPU->id.


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 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 ...


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 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.


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 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 14:13:55 GMT Martin Decky <martin@…> [9539be6]
	* boot/genarch/src/multiplication.c (modified)
	* boot/generic/include/stdint.h (moved)
	* boot/generic/include/typedefs.h (modified)
	* kernel/generic/include/stdint.h (moved)
	* kernel/generic/include/typedefs.h (modified)
	* tools/autotool.py (modified)
	* uspace/lib/c/arch/abs32le/include/limits.h (deleted)
	* uspace/lib/c/arch/abs32le/include/types.h (modified)
	* uspace/lib/c/arch/amd64/include/types.h (modified)
	* uspace/lib/c/arch/arm32/include/limits.h (deleted)
	* uspace/lib/c/arch/arm32/include/types.h (modified)
	* uspace/lib/c/arch/ia32/include/limits.h (deleted)
	* uspace/lib/c/arch/ia32/include/types.h (modified)
	* uspace/lib/c/arch/ia64/include/types.h (modified)
	* uspace/lib/c/arch/mips32/include/limits.h (deleted)
	* uspace/lib/c/arch/mips32/include/types.h (modified)
	* uspace/lib/c/arch/mips32eb/include/limits.h (deleted)
	* uspace/lib/c/arch/ppc32/include/limits.h (deleted)
	* uspace/lib/c/arch/ppc32/include/types.h (modified)
	* uspace/lib/c/arch/sparc64/include/limits.h (deleted)
	* uspace/lib/c/arch/sparc64/include/types.h (modified)
	* uspace/lib/c/generic/str.c (modified)
	* uspace/lib/c/include/limits.h (deleted)
	* uspace/lib/c/include/stdint.h (modified)
	* uspace/lib/pci/types.h (modified)
	* uspace/lib/socket/generic/socket_client.c (modified)
	* uspace/lib/socket/generic/socket_core.c (modified)
	* uspace/lib/softfloat/generic/conversion.c (modified)
	* uspace/lib/softint/generic/multiplication.c (modified)
	* uspace/srv/fs/tmpfs/tmpfs_ops.c (modified)
	* uspace/srv/net/tl/icmp/icmp.c (modified)
	* uspace/srv/vfs/vfs_ops.c (modified)

	autotool now also detects values of UINT_MAX and friends


Tue, 22 Jun 2010 12:19:45 GMT Jakub Jermar <jakub@…> [402eda5]
	* kernel/genarch/src/mm/asid.c (modified)
	* kernel/generic/include/mm/tlb.h (modified)
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/mm/tlb.c (modified)

	Fix a newly introduced deadlock in the TLB shootdown algorithm.


Tue, 22 Jun 2010 11:35:06 GMT Jakub Jermar <jakub@…> [a49a1a1]
	* kernel/generic/src/synch/futex.c (modified)

	Do not disable interrupts in sys_futex_wakeup().


Tue, 22 Jun 2010 11:29:40 GMT Jakub Jermar <jakub@…> [ee42e43]
	* kernel/Makefile (modified)
	* kernel/generic/include/proc/task.h (modified)
	* kernel/generic/include/proc/thread.h (modified)
	* kernel/generic/include/synch/rwlock.h (deleted)
	* kernel/generic/src/proc/scheduler.c (modified)
	* kernel/generic/src/proc/thread.c (modified)
	* kernel/generic/src/synch/futex.c (modified)
	* kernel/generic/src/synch/rwlock.c (deleted)
	* kernel/test/synch/rwlock1.c (deleted)
	* kernel/test/synch/rwlock1.def (deleted)
	* kernel/test/synch/rwlock2.c (deleted)
	* kernel/test/synch/rwlock2.def (deleted)
	* kernel/test/synch/rwlock3.c (deleted)
	* kernel/test/synch/rwlock3.def (deleted)
	* kernel/test/synch/rwlock4.c (deleted)
	* kernel/test/synch/rwlock4.def (deleted)
	* kernel/test/synch/rwlock5.c (deleted)
	* kernel/test/synch/rwlock5.def (deleted)
	* kernel/test/test.c (modified)
	* kernel/test/test.h (modified)

	Retire kernel rwlocks.


Tue, 22 Jun 2010 02:18:35 GMT Jakub Jermar <jakub@…> [fdaad75d]
	* kernel/genarch/src/mm/as_pt.c (modified)
	* kernel/genarch/src/mm/page_ht.c (modified)
	* kernel/genarch/src/mm/page_pt.c (modified)
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/mm/page.c (modified)
	* kernel/generic/src/mm/tlb.c (modified)
	* kernel/generic/src/synch/futex.c (modified)

	Do not disable interrupts unnecessarily.


Wed, 16 Jun 2010 19:44:53 GMT Martin Decky <martin@…> [d0c82c5]
	* kernel/generic/include/cpu.h (modified)
	* kernel/generic/include/sysinfo/abi.h (modified)
	* kernel/generic/src/cpu/cpu.c (modified)
	* kernel/generic/src/interrupt/interrupt.c (modified)
	* kernel/generic/src/proc/scheduler.c (modified)
	* kernel/generic/src/sysinfo/stats.c (modified)
	* kernel/generic/src/time/clock.c (modified)
	* uspace/app/tasks/tasks.c (modified)
	* uspace/app/top/screen.c (modified)
	* uspace/app/top/top.c (modified)

	perfect CPU cycles accounting, cherry-picked and adopted from ...


Mon, 14 Jun 2010 21:51:23 GMT Jiri Svoboda <jiri@…> [2319df3]
	* kernel/generic/src/main/kinit.c (modified)

	Fix uninitialized field in error path. (Found by CSA).


Sat, 12 Jun 2010 00:01:55 GMT Martin Decky <martin@…> [fd3a631f]
	* kernel/generic/src/sysinfo/stats.c (modified)

	Fix weird load average values.
	The fix has been addopted from ...


Fri, 11 Jun 2010 23:56:16 GMT Martin Decky <martin@…> [b584cd4]
	* kernel/generic/src/interrupt/interrupt.c (modified)

	Update thread's last_cycle seems to be actually needed to properly ...


Fri, 11 Jun 2010 16:07:21 GMT Martin Decky <martin@…> [214ec25c]
	* kernel/arch/abs32le/include/mm/page.h (modified)
	* kernel/arch/abs32le/src/mm/page.c (modified)
	* kernel/arch/amd64/include/interrupt.h (modified)
	* kernel/arch/amd64/include/mm/page.h (modified)
	* kernel/arch/amd64/src/debugger.c (modified)
	* kernel/arch/amd64/src/interrupt.c (modified)
	* kernel/arch/amd64/src/mm/page.c (modified)
	* kernel/arch/arm32/include/mach/integratorcp/integratorcp.h (modified)
	* kernel/arch/arm32/include/mach/testarm/testarm.h (modified)
	* kernel/arch/arm32/include/machine_func.h (modified)
	* kernel/arch/arm32/include/mm/page_fault.h (modified)
	* kernel/arch/arm32/src/exception.c (modified)
	* kernel/arch/arm32/src/mach/integratorcp/integratorcp.c (modified)
	* kernel/arch/arm32/src/mach/testarm/testarm.c (modified)
	* kernel/arch/arm32/src/machine_func.c (modified)
	* kernel/arch/arm32/src/mm/page_fault.c (modified)
	* kernel/arch/ia32/include/mm/page.h (modified)
	* kernel/arch/ia32/src/drivers/i8259.c (modified)
	* kernel/arch/ia32/src/interrupt.c (modified)
	* kernel/arch/ia32/src/mm/page.c (modified)
	* kernel/arch/ia32/src/smp/apic.c (modified)
	* kernel/arch/mips32/src/exception.c (modified)
	* kernel/arch/sparc64/src/trap/interrupt.c (modified)
	* kernel/generic/include/interrupt.h (modified)
	* kernel/generic/src/interrupt/interrupt.c (modified)

	use unsigned integers for exception and interrupt numbers


Fri, 11 Jun 2010 15:31:03 GMT Martin Decky <martin@…> [b3b7e14a]
	* kernel/arch/amd64/src/debugger.c (modified)
	* kernel/arch/amd64/src/interrupt.c (modified)
	* kernel/arch/amd64/src/mm/page.c (modified)
	* kernel/arch/arm32/include/ras.h (modified)
	* kernel/arch/arm32/src/exc_handler.S (modified)
	* kernel/arch/arm32/src/exception.c (modified)
	* kernel/arch/arm32/src/ras.c (modified)
	* kernel/arch/ia32/src/drivers/i8259.c (modified)
	* kernel/arch/ia32/src/interrupt.c (modified)
	* kernel/arch/ia32/src/mm/page.c (modified)
	* kernel/arch/ia32/src/smp/apic.c (modified)
	* kernel/arch/mips32/src/exception.c (modified)
	* kernel/arch/ppc32/src/interrupt.c (modified)
	* kernel/arch/sparc64/include/sparc64.h (modified)
	* kernel/arch/sparc64/src/trap/interrupt.c (modified)
	* kernel/generic/include/console/console.h (modified)
	* kernel/generic/include/interrupt.h (modified)
	* kernel/generic/include/sysinfo/abi.h (modified)
	* kernel/generic/src/interrupt/interrupt.c (modified)
	* kernel/generic/src/sysinfo/stats.c (modified)
	* uspace/app/top/screen.c (modified)
	* uspace/app/top/top.c (modified)
	* uspace/app/top/top.h (modified)

	distinguish between "hot" and "cold" exceptions
	display only "hot" ...


Fri, 11 Jun 2010 12:41:35 GMT Martin Decky <martin@…> [be06914]
	* kernel/genarch/include/drivers/pl050/pl050.h (modified)
	* kernel/generic/include/sysinfo/abi.h (modified)
	* kernel/generic/src/ipc/ipc.c (modified)
	* kernel/generic/src/proc/task.c (modified)
	* uspace/app/top/screen.c (modified)
	* uspace/app/top/top.c (modified)
	* uspace/app/top/top.h (modified)

	nicer top printouts
	fix typos (recieved -> received)


Fri, 11 Jun 2010 10:52:57 GMT Martin Decky <martin@…> [48dcc69]
	* kernel/generic/include/proc/thread.h (modified)
	* kernel/generic/src/console/cmd.c (modified)
	* kernel/generic/src/proc/task.c (modified)
	* kernel/generic/src/proc/thread.c (modified)

	better printouts for threads


Thu, 10 Jun 2010 16:04:07 GMT Martin Decky <martin@…> [c0f13d2]
	* kernel/generic/include/console/kconsole.h (modified)
	* kernel/generic/include/proc/task.h (modified)
	* kernel/generic/src/console/cmd.c (modified)
	* kernel/generic/src/console/kconsole.c (modified)
	* kernel/generic/src/proc/task.c (modified)

	introduce more compact and more readable command output to kconsole ...


Thu, 10 Jun 2010 14:24:50 GMT Martin Decky <martin@…> [8eec3c8]
	* kernel/generic/include/interrupt.h (modified)
	* kernel/generic/include/sysinfo/abi.h (modified)
	* kernel/generic/src/interrupt/interrupt.c (modified)
	* kernel/generic/src/sysinfo/stats.c (modified)
	* uspace/app/top/screen.c (modified)
	* uspace/app/top/top.c (modified)
	* uspace/app/top/top.h (modified)
	* uspace/lib/c/generic/stats.c (modified)
	* uspace/lib/c/include/stats.h (modified)

	merge basic exception accounting (this is the last piece missing from ...


Tue, 08 Jun 2010 21:26:22 GMT Jakub Jermar <jakub@…> [8f80c77]
	* kernel/arch/mips32/src/mm/tlb.c (modified)
	* kernel/arch/ppc32/src/mm/tlb.c (modified)
	* kernel/genarch/src/mm/asid.c (modified)
	* kernel/genarch/src/mm/page_ht.c (modified)
	* kernel/genarch/src/mm/page_pt.c (modified)
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/mm/backend_elf.c (modified)
	* kernel/generic/src/mm/page.c (modified)
	* kernel/generic/src/sysinfo/stats.c (modified)

	Lock/interrupt assertions in the code are self-documenting. No need ...


Tue, 08 Jun 2010 21:08:44 GMT Jakub Jermar <jakub@…> [2d3ddad]
	* kernel/generic/src/mm/slab.c (modified)
	* kernel/generic/src/proc/scheduler.c (modified)
	* kernel/generic/src/proc/thread.c (modified)

	Add more *_locked() assertions.


Tue, 08 Jun 2010 20:12:00 GMT Jakub Jermar <jakub@…> [c992538a]
	* kernel/generic/src/console/cmd.c (modified)

	Disable interrupts during callN kconsole commands.


Wed, 02 Jun 2010 20:35:44 GMT Jiri Svoboda <jiri@…> [0ac99db]
	* kernel/generic/src/proc/thread.c (modified)

	Make uspace threads stoppable before they exit. This fixes ticket
	#244.


Wed, 02 Jun 2010 18:47:38 GMT Jiri Svoboda <jiri@…> [4acaa7c0]
	* kernel/Makefile (modified)
	* kernel/generic/src/ipc/kbox.c (modified)

	Fix incorrect irq spinlock bracketing in kbox_proc_phone_hungup().


Mon, 31 May 2010 22:33:44 GMT Jakub Jermar <jakub@…> [1d432f9]
	* kernel/arch/mips32/src/mm/tlb.c (modified)
	* kernel/arch/ppc32/src/mm/tlb.c (modified)
	* kernel/genarch/src/mm/asid.c (modified)
	* kernel/genarch/src/mm/page_ht.c (modified)
	* kernel/genarch/src/mm/page_pt.c (modified)
	* kernel/generic/src/ipc/irq.c (modified)
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/mm/backend_anon.c (modified)
	* kernel/generic/src/mm/backend_elf.c (modified)
	* kernel/generic/src/mm/backend_phys.c (modified)
	* kernel/generic/src/mm/page.c (modified)
	* kernel/generic/src/proc/task.c (modified)
	* kernel/generic/src/proc/thread.c (modified)
	* kernel/generic/src/synch/waitq.c (modified)
	* kernel/generic/src/sysinfo/stats.c (modified)
	* kernel/generic/src/udebug/udebug.c (modified)

	Reflect assumptions about lock and interrupt state in functions ...


Sun, 30 May 2010 21:11:39 GMT Jakub Jermar <jakub@…> [ada559c]
	* kernel/genarch/src/mm/as_ht.c (modified)
	* kernel/genarch/src/mm/as_pt.c (modified)
	* kernel/generic/include/mm/as.h (modified)
	* kernel/generic/include/mm/page.h (modified)
	* kernel/generic/src/mm/as.c (modified)

	Add page_table_locked() interface.


Wed, 26 May 2010 18:04:55 GMT Jakub Jermar <jakub@…> [313b617]
	* kernel/generic/include/synch/spinlock.h (modified)
	* kernel/generic/src/synch/spinlock.c (modified)

	Remove spinlock_unlocked() and irq_spinlock_unlocked() interfaces ...


Tue, 25 May 2010 22:15:03 GMT Jakub Jermar <jakub@…> [ffe4a87]
	* kernel/generic/include/synch/spinlock.h (modified)
	* kernel/generic/src/synch/spinlock.c (modified)

	Add interfaces for testing the status of plain spinlocks and the IRQ ...


Tue, 25 May 2010 21:34:41 GMT Jakub Jermar <jakub@…> [d7da4284]
	* kernel/generic/include/synch/mutex.h (modified)
	* kernel/generic/src/synch/mutex.c (modified)

	Add interface for testing the state of a mutex.


Tue, 25 May 2010 21:33:52 GMT Jakub Jermar <jakub@…> [5df7928]
	* kernel/generic/include/synch/semaphore.h (modified)
	* kernel/generic/src/synch/semaphore.c (modified)

	Add interface for determining the semaphore count.


Tue, 25 May 2010 21:32:32 GMT Jakub Jermar <jakub@…> [b7398c0]
	* kernel/generic/include/synch/waitq.h (modified)
	* kernel/generic/src/synch/waitq.c (modified)

	Add interfaces for getting and setting the waitq missed_wakeups.


Tue, 25 May 2010 18:35:36 GMT Jakub Jermar <jakub@…> [a9f1372]
	* kernel/generic/include/synch/spinlock.h (modified)
	* kernel/generic/src/synch/spinlock.c (modified)

	Move the irq_spinlock code to spinlock.c for better debuggability.


Mon, 24 May 2010 18:57:31 GMT Martin Decky <martin@…> [da1bafb]
	* kernel/arch/amd64/include/debugger.h (modified)
	* kernel/arch/amd64/src/ddi/ddi.c (modified)
	* kernel/arch/amd64/src/debugger.c (modified)
	* kernel/arch/amd64/src/interrupt.c (modified)
	* kernel/arch/ia32/include/smp/apic.h (modified)
	* kernel/arch/ia32/src/ddi/ddi.c (modified)
	* kernel/arch/ia32/src/drivers/i8254.c (modified)
	* kernel/arch/ia32/src/interrupt.c (modified)
	* kernel/arch/ia32/src/smp/apic.c (modified)
	* kernel/arch/ia64/src/drivers/it.c (modified)
	* kernel/arch/ia64/src/interrupt.c (modified)
	* kernel/arch/mips32/include/asm.h (modified)
	* kernel/arch/mips32/include/debugger.h (modified)
	* kernel/arch/mips32/include/mm/as.h (modified)
	* kernel/arch/mips32/src/debugger.c (modified)
	* kernel/arch/mips32/src/exception.c (modified)
	* kernel/arch/mips32/src/interrupt.c (modified)
	* kernel/arch/ppc32/include/asm.h (modified)
	* kernel/arch/ppc32/include/mm/frame.h (modified)
	* kernel/arch/ppc32/src/debug/stacktrace.c (modified)
	* kernel/arch/ppc32/src/mm/as.c (modified)
	* kernel/arch/ppc32/src/mm/frame.c (modified)
	* kernel/arch/ppc32/src/mm/tlb.c (modified)
	* kernel/arch/sparc64/src/mm/sun4u/as.c (modified)
	* kernel/arch/sparc64/src/mm/sun4v/as.c (modified)
	* kernel/arch/sparc64/src/trap/sun4u/interrupt.c (modified)
	* kernel/genarch/include/mm/page_ht.h (modified)
	* kernel/genarch/include/mm/page_pt.h (modified)
	* kernel/genarch/src/drivers/ega/ega.c (modified)
	* kernel/genarch/src/mm/as_ht.c (modified)
	* kernel/genarch/src/mm/as_pt.c (modified)
	* kernel/genarch/src/mm/page_ht.c (modified)
	* kernel/genarch/src/mm/page_pt.c (modified)
	* kernel/generic/include/console/chardev.h (modified)
	* kernel/generic/include/cpu.h (modified)
	* kernel/generic/include/ddi/ddi.h (modified)
	* kernel/generic/include/ddi/ddi_arg.h (modified)
	* kernel/generic/include/ddi/irq.h (modified)
	* kernel/generic/include/interrupt.h (modified)
	* kernel/generic/include/ipc/ipc.h (modified)
	* kernel/generic/include/ipc/irq.h (modified)
	* kernel/generic/include/ipc/sysipc.h (modified)
	* kernel/generic/include/mm/as.h (modified)
	* kernel/generic/include/mm/frame.h (modified)
	* kernel/generic/include/mm/page.h (modified)
	* kernel/generic/include/mm/slab.h (modified)
	* kernel/generic/include/proc/scheduler.h (modified)
	* kernel/generic/include/proc/task.h (modified)
	* kernel/generic/include/proc/thread.h (modified)
	* kernel/generic/include/stacktrace.h (modified)
	* kernel/generic/include/symtab.h (modified)
	* kernel/generic/include/synch/mutex.h (modified)
	* kernel/generic/include/synch/rwlock.h (modified)
	* kernel/generic/include/synch/semaphore.h (modified)
	* kernel/generic/include/synch/spinlock.h (modified)
	* kernel/generic/include/synch/waitq.h (modified)
	* kernel/generic/include/sysinfo/abi.h (modified)
	* kernel/generic/include/time/timeout.h (modified)
	* kernel/generic/src/console/chardev.c (modified)
	* kernel/generic/src/console/cmd.c (modified)
	* kernel/generic/src/console/console.c (modified)
	* kernel/generic/src/cpu/cpu.c (modified)
	* kernel/generic/src/ddi/ddi.c (modified)
	* kernel/generic/src/ddi/irq.c (modified)
	* kernel/generic/src/interrupt/interrupt.c (modified)
	* kernel/generic/src/ipc/event.c (modified)
	* kernel/generic/src/ipc/ipc.c (modified)
	* kernel/generic/src/ipc/ipcrsc.c (modified)
	* kernel/generic/src/ipc/irq.c (modified)
	* kernel/generic/src/ipc/kbox.c (modified)
	* kernel/generic/src/ipc/sysipc.c (modified)
	* kernel/generic/src/lib/elf.c (modified)
	* kernel/generic/src/main/kinit.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/mm/tlb.c (modified)
	* kernel/generic/src/printf/vprintf.c (modified)
	* kernel/generic/src/proc/scheduler.c (modified)
	* kernel/generic/src/proc/task.c (modified)
	* kernel/generic/src/proc/thread.c (modified)
	* kernel/generic/src/security/cap.c (modified)
	* kernel/generic/src/synch/mutex.c (modified)
	* kernel/generic/src/synch/rwlock.c (modified)
	* kernel/generic/src/synch/semaphore.c (modified)
	* kernel/generic/src/synch/waitq.c (modified)
	* kernel/generic/src/syscall/syscall.c (modified)
	* kernel/generic/src/sysinfo/stats.c (modified)
	* kernel/generic/src/sysinfo/sysinfo.c (modified)
	* kernel/generic/src/time/clock.c (modified)
	* kernel/generic/src/time/timeout.c (modified)
	* kernel/generic/src/udebug/udebug.c (modified)
	* kernel/generic/src/udebug/udebug_ops.c (modified)

	major code revision
	 - replace spinlocks taken with interrupts ...


Mon, 24 May 2010 18:42:44 GMT Martin Decky <martin@…> [666f492]
	* kernel/arch/mips32/src/panic.S (modified)
	* kernel/arch/ppc32/src/ppc32.c (modified)
	* kernel/generic/include/lib/elf.h (modified)

	cstyle changes


Sat, 22 May 2010 22:24:15 GMT Martin Decky <martin@…> [d354d57]
	* kernel/generic/include/bitops.h (modified)

	use fnzb32 or fnzb64 according to the platform


Sat, 22 May 2010 10:19:02 GMT Jakub Jermar <jakub@…> [eb239dc]
	* kernel/generic/include/arch.h (modified)

	Add a descriptive comment for THE.


Fri, 21 May 2010 19:04:58 GMT Martin Decky <martin@…> [31198c12]
	* kernel/arch/abs32le/include/debug.h (deleted)
	* kernel/arch/amd64/include/debug.h (deleted)
	* kernel/arch/arm32/include/debug.h (deleted)
	* kernel/arch/ia32/include/debug.h (deleted)
	* kernel/arch/ia64/include/debug.h (deleted)
	* kernel/arch/ppc32/include/debug.h (deleted)
	* kernel/arch/sparc64/include/debug.h (deleted)
	* kernel/generic/include/debug.h (modified)
	* kernel/generic/include/panic.h (modified)

	get rid of get_ip() and HERE (the functionality is replaced more ...


Fri, 21 May 2010 12:39:05 GMT Martin Decky <martin@…> [8aa9265]
	* kernel/generic/include/synch/spinlock.h (modified)

	improve compatibility of interrupts-disabled spinlocks with non-SMP ...


Thu, 20 May 2010 20:58:40 GMT Jakub Jermar <jakub@…> [769a128]
	* kernel/generic/include/synch/spinlock.h (modified)

	Fix irq_spinlock_t for non-SMP builds.


Thu, 20 May 2010 20:24:08 GMT Jakub Jermar <jakub@…> [42bbbe2]
	* kernel/generic/include/synch/spinlock.h (modified)

	Include arch/asm.h in spinlock.h


Thu, 20 May 2010 19:30:18 GMT Martin Decky <martin@…> [2b4a9f26]
	* kernel/arch/ia32/include/asm.h (modified)
	* kernel/doc/synchronization (modified)
	* kernel/generic/include/synch/spinlock.h (modified)
	* kernel/generic/src/synch/spinlock.c (modified)

	Add interrupts-disabled spinlocks whose purpose is the semantic ...


Thu, 20 May 2010 16:01:00 GMT Martin Decky <martin@…> [b060ca9]
	* kernel/generic/include/debug.h (modified)

	add verbose ASSERT macro
	cleanup


Fri, 14 May 2010 19:33:57 GMT Jiri Svoboda <jiri@…> [f173404]
	* kernel/generic/src/ipc/kbox.c (modified)

	Fix locking in ipc_kbox_cleanup(). This was a leftover from the time ...


Thu, 13 May 2010 09:44:07 GMT Jakub Jermar <jakub@…> [c964521]
	* kernel/generic/src/mm/as.c (modified)

	Lock the page tables before initiating the TLB shootdown, avoiding ...


Thu, 13 May 2010 08:51:36 GMT Martin Decky <martin@…> [2e4e706]
	* kernel/generic/include/arch.h (modified)
	* kernel/generic/include/preemption.h (modified)
	* kernel/generic/src/preempt/preemption.c (modified)
	* kernel/generic/src/synch/mutex.c (modified)
	* kernel/generic/src/synch/waitq.c (modified)
	* kernel/generic/src/time/clock.c (modified)

	cstyle changes (no change in functionality)


Mon, 10 May 2010 19:38:19 GMT Jakub Jermar <jakub@…> [52c60b6]
	* kernel/generic/src/main/kinit.c (modified)

	Fix non-SMP builds.


Mon, 10 May 2010 19:14:45 GMT Jiri Svoboda <jiri@…> [c6f0e3a2]
	* kernel/generic/src/ipc/kbox.c (modified)

	Fix lock ordering in kbox_proc_hone_hungup().


Sun, 09 May 2010 18:36:12 GMT Jakub Jermar <jakub@…> [e2fcdb1]
	* kernel/generic/src/interrupt/interrupt.c (modified)
	* kernel/generic/src/syscall/syscall.c (modified)

	Merge fix for ticket #232.


Sun, 09 May 2010 18:26:39 GMT Jakub Jermar <jakub@…> [cd98e594]
	* kernel/generic/src/interrupt/interrupt.c (modified)

	Lock THREAD before calling thread_update_accounting() from ...


Sun, 09 May 2010 18:23:03 GMT Jakub Jermar <jakub@…> [5e984f2]
	* kernel/generic/src/syscall/syscall.c (modified)

	Disable interrupts and lock THREAD before calling ...


Sun, 09 May 2010 10:47:48 GMT Jakub Jermar <jakub@…> [4039c77]
	* kernel/generic/src/synch/waitq.c (modified)

	Add assertion to detect attempts to block when hodling a spinlock.


Tue, 04 May 2010 11:07:11 GMT Martin Decky <martin@…> [2afb650]
	* boot/generic/src/printf_core.c (modified)
	* kernel/generic/src/printf/printf_core.c (modified)
	* uspace/lib/c/generic/io/printf_core.c (modified)

	unify printf implementations


Sun, 02 May 2010 20:32:21 GMT Jakub Jermar <jakub@…> [1624aae]
	* kernel/generic/src/mm/as.c (modified)

	Assert that as_destroy() is not being called on AS.


Sun, 02 May 2010 18:52:45 GMT Jakub Jermar <jakub@…> [481d4751]
	* kernel/generic/src/proc/scheduler.c (modified)

	Fix a race condition between the scheduler and as_destroy().

	It was ...


Sun, 02 May 2010 16:21:11 GMT Jakub Jermar <jakub@…> [663bb537]
	* kernel/generic/src/mm/as.c (modified)

	Fix comment.


Sun, 02 May 2010 14:59:32 GMT Jakub Jermar <jakub@…> [d3808d3]
	* kernel/generic/src/proc/task.c (modified)

	Do not clear TASK in task_destroy().


Sun, 02 May 2010 14:34:25 GMT Jakub Jermar <jakub@…> [6193351]
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/proc/task.c (modified)

	Deploy as_hold() and as_release().


Sun, 02 May 2010 13:45:44 GMT Jakub Jermar <jakub@…> [0321109]
	* kernel/generic/include/mm/as.h (modified)
	* kernel/generic/src/mm/as.c (modified)

	Add as_hold() and as_release().


Sun, 02 May 2010 10:54:57 GMT Jakub Jermar <jakub@…> [9150781]
	* kernel/generic/include/mm/as.h (modified)

	Remove names of formal parameters from as.h


Sun, 02 May 2010 10:49:19 GMT Jakub Jermar <jakub@…> [7ed8530]
	* kernel/generic/src/proc/thread.c (modified)

	Deploy task_hold() and task_release().


Sun, 02 May 2010 10:41:23 GMT Jakub Jermar <jakub@…> [278b4a30]
	* kernel/generic/include/proc/task.h (modified)
	* kernel/generic/src/proc/task.c (modified)

	Add task_hold() and task_release().


Sun, 02 May 2010 10:32:37 GMT Jakub Jermar <jakub@…> [0c42638]
	* kernel/generic/include/proc/task.h (modified)

	Remove names of formal arguments from task.h.


Fri, 30 Apr 2010 23:10:12 GMT Martin Decky <martin@…> [4ce914d4]
	* kernel/generic/include/func.h (modified)
	* kernel/generic/src/console/cmd.c (modified)
	* kernel/generic/src/console/kconsole.c (modified)
	* kernel/generic/src/lib/func.c (modified)
	* kernel/generic/src/lib/str.c (modified)

	get rid of atoi, use str_uint64


Thu, 29 Apr 2010 19:23:09 GMT Jakub Jermar <jakub@…> [13108f24]
	* kernel/generic/include/synch/spinlock.h (modified)
	* kernel/generic/src/synch/spinlock.c (modified)

	Split spinlock_unlock() into a debug and non-debug version.

	The ...


Wed, 28 Apr 2010 21:04:17 GMT Jakub Jermar <jakub@…> [55821eea]
	* kernel/generic/src/mm/slab.c (modified)

	Do not use blocking malloc() in make_magcache().


Wed, 28 Apr 2010 20:48:05 GMT Jakub Jermar <jakub@…> [a422bc5]
	* kernel/generic/src/ddi/ddi.c (modified)

	Do not hold TASK->lock during the call to as_area_create(TASK->as,
	...).