#
# ChangeLog for kernel/arch in mainline
#
# Generated by Trac 1.6
# 2025-11-05T08:03:37Z

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


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


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


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


Tue, 22 Jun 2010 11:34:00 GMT Martin Decky <martin@…> [6b80696]
	* kernel/arch/abs32le/include/mm/page.h (modified)

	be very specific about the immediate result type


Sun, 20 Jun 2010 15:35:39 GMT Jiri Svoboda <jiri@…> [66fcba2]
	* 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/src/arm32.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)

	Do not decide which machine_ops to use at link time.


Sun, 20 Jun 2010 15:08:35 GMT Jiri Svoboda <jiri@…> [5ac77cc]
	* kernel/arch/arm32/src/exception.c (modified)
	* kernel/arch/arm32/src/interrupt.c (modified)
	* kernel/arch/arm32/src/mm/frame.c (modified)

	Remove more machine-dependent includes.


Sun, 20 Jun 2010 15:01:07 GMT Jiri Svoboda <jiri@…> [25c97174]
	* kernel/arch/arm32/include/machine_func.h (modified)
	* kernel/arch/arm32/src/machine_func.c (modified)

	Remove unused machine_genfunc().


Sun, 20 Jun 2010 14:52:40 GMT Jiri Svoboda <jiri@…> [8ef40329]
	* kernel/arch/arm32/src/arm32.c (modified)

	No need to include machine-specific header.


Thu, 17 Jun 2010 20:58:50 GMT Jakub Jermar <jakub@…> [5387807]
	* boot/arch/ia64/Makefile.inc (modified)
	* boot/arch/ia64/src/asm.S (modified)
	* boot/arch/ia64/src/boot.S (modified)
	* kernel/arch/ia64/src/drivers/ski.c (modified)
	* kernel/arch/ia64/src/smp/smp.c (modified)
	* kernel/arch/ia64/src/start.S (modified)
	* uspace/srv/hid/fb/main.c (modified)

	Merge progress from the ia64-revival branch.


Thu, 17 Jun 2010 20:58:05 GMT Jakub Jermar <jakub@…> [3193c05]
	* kernel/arch/ia64/src/drivers/ski.c (modified)
	* uspace/srv/hid/fb/main.c (modified)

	Fix fb detection for Ski.


Thu, 17 Jun 2010 10:13:09 GMT Jakub Jermar <jakub@…> [fae1647]
	* kernel/arch/ia64/src/start.S (modified)

	Use IP-relative instead of indirect branch to main_bsp().


Wed, 16 Jun 2010 19:43:55 GMT Martin Decky <martin@…> [5954241]
	* kernel/arch/ppc32/include/interrupt.h (modified)
	* kernel/arch/ppc32/include/mm/tlb.h (modified)
	* kernel/arch/ppc32/src/interrupt.c (modified)
	* kernel/arch/ppc32/src/mm/tlb.c (modified)

	fix exception handler prototypes


Wed, 16 Jun 2010 16:30:27 GMT Martin Decky <martin@…> [d46f5cc]
	* kernel/arch/sparc64/include/drivers/tick.h (modified)
	* kernel/arch/sparc64/src/drivers/tick.c (modified)

	fix exception handler prototype


Mon, 14 Jun 2010 22:58:20 GMT Jakub Jermar <jakub@…> [e5c1186]
	* kernel/arch/ia64/src/smp/smp.c (modified)
	* kernel/arch/ia64/src/start.S (modified)

	Remove the poor man's support for SMP.

	Proper SMP support will be ...


Sun, 13 Jun 2010 22:21:51 GMT Jakub Jermar <jakub@…> [4ff284b]
	* boot/arch/ia64/include/arch.h (modified)
	* kernel/arch/ia64/_link.ld.in (modified)

	Make a 4M space between the loader text and the inflate destination
	area.


Sun, 13 Jun 2010 21:39:18 GMT Jakub Jermar <jakub@…> [202dde5]
	* kernel/arch/ia64/include/bootinfo.h (modified)

	Remove loader stuff from the kernel header.


Sat, 12 Jun 2010 09:37:54 GMT Martin Decky <martin@…> [1d6c497]
	* kernel/arch/amd64/include/cycle.h (modified)
	* kernel/arch/amd64/src/asm_utils.S (modified)

	amd64: fix wrong usage of rdtsc


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


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


Wed, 02 Jun 2010 21:59:48 GMT Jakub Jermar <jakub@…> [bdfd3cdd]
	* kernel/arch/sparc64/include/drivers/scr.h (modified)
	* kernel/arch/sparc64/src/drivers/scr.c (modified)

	Support for QEMU,VGA frame buffer on sparc64.
	(Contributed by Igor ...


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


Mon, 31 May 2010 20:28:52 GMT Jakub Jermar <jakub@…> [3a2b636]
	* kernel/arch/arm32/src/mm/page.c (modified)

	Lock the page tables before working with them on arm32.


Mon, 31 May 2010 19:38:05 GMT Jakub Jermar <jakub@…> [b0b2ac1]
	* kernel/arch/amd64/src/mm/page.c (modified)

	Lock the page tables before working with them on amd64.


Mon, 31 May 2010 19:09:07 GMT Jakub Jermar <jakub@…> [6e2bf29]
	* kernel/arch/ppc32/src/mm/page.c (modified)

	Lock the page tables before working with them on ppc32.


Mon, 31 May 2010 19:08:26 GMT Jakub Jermar <jakub@…> [e3ce39b]
	* kernel/arch/ia32/src/mm/page.c (modified)
	* kernel/arch/ia32/src/smp/smp.c (modified)
	* kernel/genarch/src/acpi/acpi.c (modified)

	Lock the page tables before working with them on ia32.


Mon, 31 May 2010 19:02:12 GMT Jakub Jermar <jakub@…> [a820bf7]
	* kernel/arch/ppc32/src/mm/tlb.c (modified)

	The kernel address space must locked in find_mapping_and_check() too.


Sun, 30 May 2010 21:00:18 GMT Jakub Jermar <jakub@…> [c8e99bb]
	* kernel/arch/sparc64/include/barrier.h (modified)

	Foolproof version of flush_pipeline().

	The %o7 version does not ...


Wed, 26 May 2010 15:36:03 GMT Martin Decky <martin@…> [cf84f1bf]
	* HelenOS.config (modified)
	* kernel/Makefile (modified)
	* kernel/arch/ia64/Makefile.inc (modified)
	* kernel/arch/ppc32/Makefile.inc (modified)
	* kernel/arch/sparc64/Makefile.inc (modified)

	add kernel support for link-time optimization (GCC 4.5+)


Mon, 24 May 2010 19:26:57 GMT Jakub Jermar <jakub@…> [0095368]
	* kernel/arch/mips32/src/panic.S (modified)

	Use the commented-out code for panic_printf(). It appears to work ...


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:58:10 GMT Martin Decky <martin@…> [c555155]
	* kernel/arch/ppc32/include/asm.h (modified)

	remove duplicate msr_read() and msr_write()


Sat, 22 May 2010 22:56:00 GMT Martin Decky <martin@…> [ffe276f]
	* kernel/arch/ppc32/include/asm.h (modified)
	* kernel/arch/ppc32/include/asm/regname.h (modified)
	* kernel/arch/ppc32/include/drivers/pic.h (modified)
	* kernel/arch/ppc32/include/exception.h (modified)
	* kernel/arch/ppc32/include/regutils.h (deleted)
	* kernel/arch/ppc32/src/asm.S (modified)
	* kernel/arch/ppc32/src/drivers/pic.c (modified)
	* kernel/arch/ppc32/src/exception.S (modified)
	* kernel/arch/ppc32/src/interrupt.c (modified)

	restructure constants
	change the return type of pic_get_pending() ...


Sat, 22 May 2010 22:49:25 GMT Martin Decky <martin@…> [86a3f89b]
	* kernel/arch/mips32/src/mips32.c (modified)

	add missing include


Sat, 22 May 2010 22:48:43 GMT Martin Decky <martin@…> [0cb47cf]
	* kernel/arch/mips32/src/start.S (modified)

	replace shebang comments with C comments to avoid conflicts with the ...


Sat, 22 May 2010 22:33:00 GMT Martin Decky <martin@…> [ba7371f9]
	* kernel/arch/sparc64/src/smp/sun4v/smp.c (modified)
	* kernel/genarch/src/drivers/via-cuda/cuda.c (modified)
	* kernel/genarch/src/fb/fb.c (modified)
	* kernel/genarch/src/kbrd/kbrd.c (modified)
	* kernel/genarch/src/kbrd/kbrd_pl050.c (modified)

	rename spinlocks to be more descriptive


Sat, 22 May 2010 22:31:17 GMT Martin Decky <martin@…> [d92bf462]
	* kernel/arch/mips32/include/cp0.h (modified)
	* kernel/arch/mips32/src/start.S (modified)
	* kernel/arch/ppc32/include/atomic.h (modified)
	* kernel/arch/ppc32/include/barrier.h (modified)
	* kernel/arch/ppc32/include/cycle.h (modified)
	* kernel/arch/ppc32/src/proc/scheduler.c (modified)

	coding style changes, no change in functionality


Sat, 22 May 2010 22:20:37 GMT Martin Decky <martin@…> [b8230b9]
	* kernel/arch/amd64/include/ddi/ddi.h (modified)
	* kernel/arch/ia32/include/ddi/ddi.h (modified)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia32/src/proc/scheduler.c (modified)
	* kernel/arch/mips32/include/asm.h (modified)
	* kernel/arch/mips32/include/debug.h (modified)
	* kernel/arch/mips32/src/context.S (modified)
	* kernel/arch/ppc32/include/elf.h (modified)
	* kernel/arch/ppc32/include/faddr.h (modified)
	* kernel/arch/ppc32/include/fpu_context.h (modified)
	* kernel/arch/ppc32/include/interrupt.h (modified)
	* kernel/arch/ppc32/include/mm/as.h (modified)
	* kernel/arch/ppc32/include/mm/asid.h (modified)
	* kernel/arch/ppc32/include/mm/page.h (modified)
	* kernel/arch/ppc32/include/mm/tlb.h (modified)
	* kernel/arch/ppc32/src/context.S (modified)
	* kernel/arch/ppc32/src/ddi/ddi.c (modified)
	* kernel/arch/ppc32/src/debug/panic.s (modified)
	* kernel/arch/ppc32/src/fpu_context.S (modified)

	coding style changes, no change in functionality


Sat, 22 May 2010 22:10:51 GMT Martin Decky <martin@…> [3d6beaa]
	* kernel/arch/abs32le/include/asm.h (modified)
	* kernel/arch/amd64/include/asm.h (modified)
	* kernel/arch/ia32/include/asm.h (modified)

	get rid of get_ip()


Sat, 22 May 2010 19:56:02 GMT Jakub Jermar <jakub@…> [4bd675d]
	* kernel/arch/sparc64/src/trap/sun4v/trap_table.S (modified)

	Fix one more use of an obsolete branch instruction.


Sat, 22 May 2010 19:04:16 GMT Jakub Jermar <jakub@…> [40239b9]
	* kernel/arch/sparc64/include/atomic.h (modified)
	* kernel/arch/sparc64/src/trap/sun4u/trap_table.S (modified)
	* kernel/arch/sparc64/src/trap/sun4v/trap_table.S (modified)

	Fix a couple of occurrences of obsolete branch instruction with ...


Sat, 22 May 2010 16:09:50 GMT Jakub Jermar <jakub@…> [0d9dc6b]
	* boot/arch/sparc64/Makefile.inc (modified)
	* kernel/arch/sparc64/Makefile.inc (modified)
	* uspace/lib/c/arch/sparc64/Makefile.common (modified)

	Explicitly specify the medlow mcmodel instead of merely relying on ...


Sat, 22 May 2010 15:49:10 GMT Jakub Jermar <jakub@…> [af24629]
	* kernel/arch/sparc64/src/drivers/sgcn.c (modified)

	Fix sparc64 debug build.
	(Contributed by Igor Kovalenko.)


Sat, 22 May 2010 15:48:42 GMT Jakub Jermar <jakub@…> [c6f6adc]
	* kernel/arch/sparc64/include/trap/sun4v/mmu.h (modified)

	Use proper SPARC V9 branch instruction and kill one dispensable NOP.


Sat, 22 May 2010 09:24:05 GMT Jakub Jermar <jakub@…> [ecbd287d]
	* kernel/arch/sparc64/src/sun4u/start.S (modified)
	* kernel/arch/sparc64/src/sun4v/start.S (modified)
	* uspace/lib/c/arch/sparc64/src/thread_entry.s (modified)

	Merge sparc64 kernel stack tracing improvements.


Sat, 22 May 2010 09:22:00 GMT Jakub Jermar <jakub@…> [7f1d897]
	* kernel/arch/sparc64/src/sun4u/start.S (modified)

	Create initial stack frames for main_bsp() and main_ap().


Sat, 22 May 2010 09:15:09 GMT Jakub Jermar <jakub@…> [d806ce1]
	* kernel/arch/sparc64/src/sun4u/start.S (modified)

	Kill more dispensable NOPs.


Sat, 22 May 2010 09:09:24 GMT Jakub Jermar <jakub@…> [c92af69b]
	* kernel/arch/sparc64/src/sun4v/start.S (modified)

	Create initial stack frames for main_bsp() and main_ap().


Sat, 22 May 2010 08:56:01 GMT Jakub Jermar <jakub@…> [34bf3d5]
	* kernel/arch/sparc64/src/sun4v/start.S (modified)

	Kill some of the dispensable NOPs.


Fri, 21 May 2010 23:02:10 GMT Jakub Jermar <jakub@…> [7c8e1e1]
	* kernel/arch/sparc64/include/asm.h (modified)
	* kernel/arch/sparc64/include/trap/trap_table.h (modified)
	* kernel/arch/sparc64/src/debug/stacktrace.c (modified)
	* kernel/arch/sparc64/src/debug/stacktrace_asm.S (modified)
	* kernel/arch/sparc64/src/sun4u/asm.S (modified)
	* kernel/arch/sparc64/src/sun4v/start.S (modified)
	* kernel/arch/sparc64/src/trap/sun4v/trap_table.S (modified)

	Merge initial support for sparc64 kernel stack tracing.


Fri, 21 May 2010 22:57:52 GMT Jakub Jermar <jakub@…> [0242621]
	* kernel/arch/sparc64/src/sun4v/start.S (modified)
	* kernel/arch/sparc64/src/trap/sun4v/trap_table.S (modified)

	Use proper SPARC V9 branch instructions.


Fri, 21 May 2010 22:50:45 GMT Martin Decky <martin@…> [3500f75]
	* kernel/arch/ppc32/include/asm.h (modified)
	* kernel/arch/ppc32/include/cpu.h (modified)
	* kernel/arch/ppc32/include/cpuid.h (deleted)
	* kernel/arch/ppc32/src/cpu/cpu.c (modified)

	ppc32: add interrupts_disabled(), simplify CPU identification


Fri, 21 May 2010 22:34:33 GMT Jakub Jermar <jakub@…> [819a768]
	* kernel/arch/sparc64/include/trap/trap_table.h (modified)
	* kernel/arch/sparc64/src/debug/stacktrace.c (modified)

	On sparc64, we have a problem with determining the end of the kernel ...


Fri, 21 May 2010 21:30:07 GMT Jakub Jermar <jakub@…> [2ee907e]
	* kernel/arch/sparc64/include/asm.h (modified)
	* kernel/arch/sparc64/src/sun4u/asm.S (modified)

	Add read_from_ag_g6().


Fri, 21 May 2010 20:25:59 GMT Jakub Jermar <jakub@…> [989d3c2]
	* kernel/arch/sparc64/include/trap/trap_table.h (modified)

	Use proper SPARC V9 branch instruction.


Fri, 21 May 2010 19:07:00 GMT Martin Decky <martin@…> [5f0e39e8]
	* kernel/arch/ia32/src/smp/apic.c (modified)

	add missing semicolon


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 18:53:26 GMT Martin Decky <martin@…> [7de7cde]
	* kernel/arch/ppc32/src/debug/stacktrace.c (modified)
	* kernel/arch/ppc32/src/debug/stacktrace_asm.S (modified)

	ppc32: add basic support for generating stack traces
	(this does not ...


Thu, 20 May 2010 21:25:35 GMT Jakub Jermar <jakub@…> [d0ee0de]
	* kernel/arch/amd64/include/asm.h (modified)

	Add amd64 interrupts_disabled().


Thu, 20 May 2010 21:18:29 GMT Jakub Jermar <jakub@…> [3d948be]
	* kernel/arch/abs32le/include/asm.h (modified)

	Add abs32le interrupts_disabled().


Thu, 20 May 2010 21:11:51 GMT Jakub Jermar <jakub@…> [b7aa7c5]
	* kernel/arch/mips32/include/asm.h (modified)
	* kernel/arch/mips32/src/interrupt.c (modified)

	Add mips32 interrupts_disabled().


Thu, 20 May 2010 20:59:05 GMT Jakub Jermar <jakub@…> [f34c09e]
	* kernel/arch/arm32/include/interrupt.h (modified)
	* kernel/arch/arm32/src/interrupt.c (modified)

	Add arm32 interrupts_disabled().


Thu, 20 May 2010 20:50:45 GMT Jakub Jermar <jakub@…> [dbd5df1b]
	* kernel/arch/ia64/include/asm.h (modified)

	The condition in ia64 interrupts_disabled() must be actually negated.


Thu, 20 May 2010 20:40:57 GMT Jakub Jermar <jakub@…> [fdb8c17]
	* kernel/arch/ia64/include/asm.h (modified)

	Add ia64 interrupts_disabled().


Thu, 20 May 2010 20:31:27 GMT Jakub Jermar <jakub@…> [bcdc185]
	* kernel/arch/sparc64/include/asm.h (modified)

	Add sparc64 interrupts_disabled().


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


Fri, 14 May 2010 17:29:52 GMT Jakub Jermar <jakub@…> [ba4a63b8]
	* kernel/arch/ia32/src/mm/frame.c (modified)

	Coding style fix.


Wed, 12 May 2010 23:55:14 GMT Jakub Jermar <jakub@…> [08c88b84]
	* kernel/arch/sparc64/src/debug/stacktrace.c (modified)
	* kernel/arch/sparc64/src/debug/stacktrace_asm.S (modified)

	sparc64 kernel hooks for stack tracing.


Wed, 12 May 2010 21:23:29 GMT Jakub Jermar <jakub@…> [be6cef1b]
	* HelenOS.config (modified)
	* kernel/arch/sparc64/src/sun4u/start.S (modified)

	Do not optically separate the branch and the branch delay slot ...


Wed, 12 May 2010 20:00:19 GMT Martin Decky <martin@…> [b97b348]
	* boot/arch/ppc32/src/main.c (modified)
	* boot/arch/sparc64/include/asm.h (modified)
	* boot/arch/sparc64/src/asm.S (modified)
	* boot/arch/sparc64/src/main.c (modified)
	* kernel/arch/sparc64/Makefile.inc (modified)
	* kernel/arch/sparc64/include/boot/boot.h (modified)
	* kernel/arch/sparc64/include/mm/cache_spec.h (modified)
	* kernel/arch/sparc64/src/mm/cache.S (deleted)
	* kernel/arch/sparc64/src/smp/sun4v/smp.c (modified)
	* kernel/arch/sparc64/src/sun4u/start.S (modified)
	* kernel/arch/sparc64/src/sun4v/start.S (modified)

	do not use ofw_quiesce() (it can actually make more harm than good) ...


Wed, 05 May 2010 17:23:54 GMT Martin Decky <martin@…> [1317380]
	* boot/arch/arm32/include/arch.h (modified)
	* contrib/conf/arm32-qe.sh (added)
	* kernel/arch/arm32/_link.ld.in (modified)

	move boot offset 2 MB further away to avoid conflicts with ...


Tue, 04 May 2010 22:56:33 GMT Martin Decky <martin@…> [b781cb29]
	* kernel/arch/sparc64/src/mm/sun4v/frame.c (modified)

	fix forgotten operator