# # ChangeLog for / in mainline # # Generated by Trac 1.6 # 2024-11-29T16:09:09Z Fri, 02 Jul 2010 12:44:00 GMT Martin Decky [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 [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 [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 [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 [e837f30] * kernel/arch/abs32le/include/interrupt.h (modified) add missing include Fri, 02 Jul 2010 09:59:49 GMT Martin Decky [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 [eedf4c5] * kernel/arch/ppc32/src/asm.S (modified) switch to C-style comments Thu, 01 Jul 2010 22:17:50 GMT Martin Decky [d5042d28] * kernel/arch/mips32/src/asm.S (modified) switch to C-style comments Thu, 01 Jul 2010 22:00:23 GMT Martin Decky [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 [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 [c685fc8] * kernel/arch/arm32/src/asm.S (modified) cstyle Thu, 01 Jul 2010 20:44:16 GMT Martin Decky [75c9852] * kernel/generic/src/lib/sort.c (modified) remove forgotten debugging output Thu, 01 Jul 2010 18:39:48 GMT Martin Decky [64bbf13] * kernel/arch/amd64/src/asm_utils.S (modified) switch to C-style comments Thu, 01 Jul 2010 18:33:34 GMT Jakub Jermar [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 [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 [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 [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 [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 [5cca935] * kernel/arch/ia32/src/asm.S (modified) Optimize CLEAR_NT_FLAG. Thu, 01 Jul 2010 16:20:29 GMT Jakub Jermar [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 [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 [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 [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 [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 [0a79ad9] * kernel/arch/ia32/src/smp/mps.c (modified) rename functions for consistency Wed, 30 Jun 2010 20:21:53 GMT Martin Decky [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 [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 [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 [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 [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 [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 [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 [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 [793cf029] * kernel/genarch/src/acpi/acpi.c (modified) ACPI code cleanup Tue, 29 Jun 2010 15:38:08 GMT Martin Decky [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 [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 [724d643] * kernel/genarch/include/acpi/acpi.h (modified) remove double semicollon Tue, 29 Jun 2010 14:58:38 GMT Martin Decky [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 [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 [9a21f9d] * kernel/generic/include/config.h (modified) align comments Mon, 28 Jun 2010 23:58:20 GMT Martin Decky [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 [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 [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 [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 [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 [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 [05e3cb8] * kernel/generic/src/mm/tlb.c (modified) cstyle changes (no change in functionality) Mon, 28 Jun 2010 19:48:50 GMT Jakub Jermar [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 [7c31d20] * kernel/generic/src/debug/panic.c (modified) Check CPU before doing CPU->id. Mon, 28 Jun 2010 19:05:39 GMT Jakub Jermar [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 [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 [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 [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 [33dac7d] * kernel/arch/ia32/src/mm/frame.c (modified) improve printouts Sun, 27 Jun 2010 23:02:55 GMT Martin Decky [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 [74c5a1ca] * kernel/generic/src/mm/frame.c (modified) compact printouts Sat, 26 Jun 2010 23:42:26 GMT Martin Decky [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [5c8de00] * kernel/generic/src/debug/stacktrace.c (modified) Add missing include. Fri, 25 Jun 2010 00:37:41 GMT Jakub Jermar [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 [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 [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 [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 [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 [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 [851f33a] * kernel/generic/src/console/cmd.c (modified) merge "tests" and "test" kconsole commands Tue, 22 Jun 2010 21:36:41 GMT Jakub Jermar [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 [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. Tue, 22 Jun 2010 20:55:40 GMT Jakub Jermar [7f0e7b6] * kernel/arch/ia64/src/start.S (modified) Use sp instead of r12. Tue, 22 Jun 2010 14:13:55 GMT Martin Decky [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 [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 [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 [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 [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. Tue, 22 Jun 2010 11:37:50 GMT Martin Decky [4ca26c9b] * tools/checkers/vcc.py (modified) improve support for Vcc, add basic source preprocessing (thx to ... Tue, 22 Jun 2010 11:34:00 GMT Martin Decky [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 [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 [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 [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 [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 [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 [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 19:42:27 GMT Jakub Jermar [0e54b4a] * boot/arch/ia64/Makefile.inc (modified) Include the i8042 driver in the ia64 RAM disk image. Thu, 17 Jun 2010 10:13:09 GMT Jakub Jermar [fae1647] * kernel/arch/ia64/src/start.S (modified) Use IP-relative instead of indirect branch to main_bsp(). Wed, 16 Jun 2010 19:44:53 GMT Martin Decky [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 ... Wed, 16 Jun 2010 19:43:55 GMT Martin Decky [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 [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 [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 ... Mon, 14 Jun 2010 22:28:21 GMT Jakub Jermar [84d8837] * boot/arch/ia64/src/boot.S (modified) Use IP-relative instead of indirect branch. Mon, 14 Jun 2010 21:51:23 GMT Jiri Svoboda [2319df3] * kernel/generic/src/main/kinit.c (modified) Fix uninitialized field in error path. (Found by CSA). Mon, 14 Jun 2010 20:56:10 GMT Jakub Jermar [ba8d2987] * boot/arch/ia64/src/asm.S (modified) Fix indentation. Mon, 14 Jun 2010 20:12:16 GMT Jakub Jermar [6cb8dba] * boot/arch/ia64/src/boot.S (modified) Unify the comment style.