#
# ChangeLog for kernel/arch/abs32le/include in mainline
#
# Generated by Trac 1.6
# 2026-04-05T11:12:38Z

Thu, 19 May 2011 16:47:49 GMT Martin Decky <martin@…> [26aafe8]
	* kernel/arch/abs32le/include/mm/as.h (modified)
	* kernel/arch/amd64/include/mm/as.h (modified)
	* kernel/arch/amd64/src/proc/scheduler.c (modified)
	* kernel/arch/amd64/src/userspace.c (modified)
	* kernel/arch/arm32/include/mm/as.h (modified)
	* kernel/arch/arm32/src/arm32.c (modified)
	* kernel/arch/arm32/src/userspace.c (modified)
	* kernel/arch/ia32/include/mm/as.h (modified)
	* kernel/arch/ia32/src/proc/scheduler.c (modified)
	* kernel/arch/ia32/src/userspace.c (modified)
	* kernel/arch/ia64/include/arch.h (modified)
	* kernel/arch/ia64/include/asm.h (modified)
	* kernel/arch/ia64/include/mm/as.h (modified)
	* kernel/arch/ia64/include/mm/frame.h (modified)
	* kernel/arch/ia64/src/ia64.c (modified)
	* kernel/arch/ia64/src/proc/scheduler.c (modified)
	* kernel/arch/mips32/include/mm/as.h (modified)
	* kernel/arch/mips32/src/mips32.c (modified)
	* kernel/arch/ppc32/include/boot/boot.h (modified)
	* kernel/arch/ppc32/include/istate.h (modified)
	* kernel/arch/ppc32/include/mm/as.h (modified)
	* kernel/arch/ppc32/src/boot/boot.S (modified)
	* kernel/arch/ppc32/src/mm/tlb.c (modified)
	* kernel/arch/ppc32/src/ppc32.c (modified)
	* kernel/arch/ppc32/src/proc/scheduler.c (modified)
	* kernel/arch/sparc64/include/mm/sun4u/as.h (modified)
	* kernel/arch/sparc64/include/mm/sun4v/as.h (modified)
	* kernel/generic/include/config.h (modified)
	* kernel/generic/include/cpu.h (modified)
	* kernel/generic/include/mm/as.h (modified)
	* kernel/generic/include/mm/frame.h (modified)
	* kernel/generic/include/proc/task.h (modified)
	* kernel/generic/include/proc/thread.h (modified)
	* kernel/generic/include/proc/uarg.h (modified)
	* kernel/generic/include/typedefs.h (modified)
	* kernel/generic/src/interrupt/interrupt.c (modified)
	* kernel/generic/src/main/main.c (modified)
	* kernel/generic/src/proc/program.c (modified)
	* kernel/generic/src/proc/scheduler.c (modified)
	* kernel/generic/src/proc/thread.c (modified)

	cleanup the huge mess related to stacks, their sizes and locations ...


Sat, 16 Apr 2011 19:38:27 GMT Jakub Jermar <jakub@…> [8b6930d]
	* kernel/arch/abs32le/include/types.h (modified)
	* kernel/arch/amd64/include/types.h (modified)
	* kernel/arch/arm32/include/types.h (modified)
	* kernel/arch/ia32/include/types.h (modified)
	* kernel/arch/ia64/include/types.h (modified)
	* kernel/arch/mips32/include/types.h (modified)
	* kernel/arch/ppc32/include/types.h (modified)
	* kernel/arch/sparc64/include/types.h (modified)

	Add ssize_t for kernel.


Mon, 28 Mar 2011 20:53:55 GMT Martin Decky <martin@…> [cb4f078]
	* kernel/arch/abs32le/include/memstr.h (deleted)
	* kernel/arch/amd64/include/memstr.h (deleted)
	* kernel/arch/amd64/src/asm.S (modified)
	* kernel/arch/arm32/include/memstr.h (deleted)
	* kernel/arch/arm32/src/asm.S (modified)
	* kernel/arch/arm32/src/exception.c (modified)
	* kernel/arch/ia32/include/memstr.h (deleted)
	* kernel/arch/ia32/src/asm.S (modified)
	* kernel/arch/ia64/include/memstr.h (deleted)
	* kernel/arch/ia64/src/asm.S (modified)
	* kernel/arch/mips32/include/memstr.h (deleted)
	* kernel/arch/mips32/src/asm.S (modified)
	* kernel/arch/ppc32/include/memstr.h (deleted)
	* kernel/arch/ppc32/src/asm.S (modified)
	* kernel/arch/sparc64/include/memstr.h (deleted)
	* kernel/arch/sparc64/src/asm.S (modified)
	* kernel/arch/sparc64/src/mm/sun4u/as.c (modified)
	* kernel/arch/sparc64/src/mm/sun4v/as.c (modified)
	* kernel/genarch/src/ofw/ebus.c (modified)
	* kernel/genarch/src/ofw/fhc.c (modified)
	* kernel/genarch/src/ofw/ofw_tree.c (modified)
	* kernel/genarch/src/ofw/pci.c (modified)
	* kernel/genarch/src/ofw/upa.c (modified)
	* kernel/generic/include/memstr.h (modified)
	* kernel/generic/src/lib/memstr.c (modified)

	unify kernel byte string implementations


Tue, 14 Dec 2010 12:52:38 GMT Martin Decky <martin@…> [96b02eb9]
	* boot/arch/ia64/include/types.h (modified)
	* boot/arch/ppc32/include/types.h (modified)
	* boot/arch/sparc64/include/types.h (modified)
	* boot/genarch/include/ofw.h (modified)
	* contrib/arch/hadlbppp.py (modified)
	* contrib/arch/kernel/kernel.adl (modified)
	* contrib/arch/uspace/srv/bd/bd.adl (modified)
	* contrib/arch/uspace/srv/console/console.adl (modified)
	* contrib/arch/uspace/srv/devmap/devmap.adl (modified)
	* contrib/arch/uspace/srv/fb/fb.adl (modified)
	* contrib/arch/uspace/srv/kbd/kbd.adl (modified)
	* contrib/arch/uspace/srv/loader/loader.adl (modified)
	* contrib/arch/uspace/srv/ns/ns.adl (modified)
	* contrib/arch/uspace/srv/ns/service.adl (modified)
	* contrib/arch/uspace/srv/vfs/vfs.adl (modified)
	* contrib/highlight/adl.syntax (modified)
	* kernel/arch/abs32le/include/types.h (modified)
	* kernel/arch/abs32le/src/abs32le.c (modified)
	* kernel/arch/amd64/include/asm.h (modified)
	* kernel/arch/amd64/include/proc/thread.h (modified)
	* kernel/arch/amd64/include/types.h (modified)
	* kernel/arch/amd64/src/amd64.c (modified)
	* kernel/arch/amd64/src/debugger.c (modified)
	* kernel/arch/arm32/include/types.h (modified)
	* kernel/arch/arm32/src/mach/testarm/testarm.c (modified)
	* kernel/arch/ia32/include/asm.h (modified)
	* kernel/arch/ia32/include/proc/thread.h (modified)
	* kernel/arch/ia32/include/types.h (modified)
	* kernel/arch/ia32/src/ia32.c (modified)
	* kernel/arch/ia64/include/bootinfo.h (modified)
	* kernel/arch/ia64/include/types.h (modified)
	* kernel/arch/ia64/src/ia64.c (modified)
	* kernel/arch/mips32/include/debugger.h (modified)
	* kernel/arch/mips32/include/fpu_context.h (modified)
	* kernel/arch/mips32/include/types.h (modified)
	* kernel/arch/mips32/src/debugger.c (modified)
	* kernel/arch/mips32/src/mips32.c (modified)
	* kernel/arch/ppc32/include/exception.h (modified)
	* kernel/arch/ppc32/include/types.h (modified)
	* kernel/arch/sparc64/include/mm/sun4u/tlb.h (modified)
	* kernel/arch/sparc64/include/mm/sun4v/tlb.h (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/genarch/src/acpi/acpi.c (modified)
	* kernel/genarch/src/acpi/madt.c (modified)
	* kernel/genarch/src/mm/page_ht.c (modified)
	* kernel/generic/include/adt/hash_table.h (modified)
	* kernel/generic/include/console/console.h (modified)
	* kernel/generic/include/console/kconsole.h (modified)
	* kernel/generic/include/ddi/ddi.h (modified)
	* kernel/generic/include/ddi/device.h (modified)
	* kernel/generic/include/ddi/irq.h (modified)
	* kernel/generic/include/ipc/event.h (modified)
	* kernel/generic/include/ipc/ipc.h (modified)
	* kernel/generic/include/ipc/ipcrsc.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/proc/program.h (modified)
	* kernel/generic/include/proc/task.h (modified)
	* kernel/generic/include/proc/thread.h (modified)
	* kernel/generic/include/security/cap.h (modified)
	* kernel/generic/include/synch/futex.h (modified)
	* kernel/generic/include/synch/smc.h (modified)
	* kernel/generic/include/syscall/syscall.h (modified)
	* kernel/generic/include/sysinfo/sysinfo.h (modified)
	* kernel/generic/include/time/clock.h (modified)
	* kernel/generic/include/udebug/udebug.h (modified)
	* kernel/generic/include/udebug/udebug_ops.h (modified)
	* kernel/generic/src/adt/hash_table.c (modified)
	* kernel/generic/src/console/cmd.c (modified)
	* kernel/generic/src/console/console.c (modified)
	* kernel/generic/src/console/kconsole.c (modified)
	* kernel/generic/src/ddi/ddi.c (modified)
	* kernel/generic/src/ddi/device.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/sysipc.c (modified)
	* kernel/generic/src/lib/memstr.c (modified)
	* kernel/generic/src/lib/rd.c (modified)
	* kernel/generic/src/mm/as.c (modified)
	* kernel/generic/src/mm/slab.c (modified)
	* kernel/generic/src/proc/program.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/futex.c (modified)
	* kernel/generic/src/synch/smc.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/udebug/udebug.c (modified)
	* kernel/generic/src/udebug/udebug_ipc.c (modified)
	* kernel/generic/src/udebug/udebug_ops.c (modified)
	* kernel/test/fpu/fpu1_ia64.c (modified)
	* kernel/test/fpu/fpu1_x86.c (modified)
	* kernel/test/fpu/mips2.c (modified)
	* kernel/test/fpu/sse1.c (modified)
	* kernel/test/mm/slab1.c (modified)
	* kernel/test/print/print2.c (modified)
	* uspace/app/edit/edit.c (modified)
	* uspace/app/tester/hw/serial/serial1.c (modified)
	* uspace/app/tester/ipc/register.c (modified)
	* uspace/app/tetris/input.c (modified)
	* uspace/app/tetris/screen.c (modified)
	* uspace/app/tetris/screen.h (modified)
	* uspace/app/top/input.c (modified)
	* uspace/app/top/screen.c (modified)
	* uspace/app/trace/ipcp.c (modified)
	* uspace/app/trace/proto.c (modified)
	* uspace/app/trace/trace.c (modified)
	* uspace/drv/ns8250/ns8250.c (modified)
	* uspace/lib/block/libblock.c (modified)
	* uspace/lib/c/arch/abs32le/include/inttypes.h (modified)
	* uspace/lib/c/arch/amd64/include/inttypes.h (modified)
	* uspace/lib/c/arch/arm32/include/inttypes.h (modified)
	* uspace/lib/c/arch/ia32/include/inttypes.h (modified)
	* uspace/lib/c/arch/ia64/include/inttypes.h (modified)
	* uspace/lib/c/arch/mips32/include/inttypes.h (modified)
	* uspace/lib/c/arch/ppc32/include/inttypes.h (modified)
	* uspace/lib/c/arch/sparc64/include/inttypes.h (modified)
	* uspace/lib/c/generic/async.c (modified)
	* uspace/lib/c/generic/clipboard.c (modified)
	* uspace/lib/c/generic/device/char.c (modified)
	* uspace/lib/c/generic/device/hw_res.c (modified)
	* uspace/lib/c/generic/devman.c (modified)
	* uspace/lib/c/generic/devmap.c (modified)
	* uspace/lib/c/generic/event.c (modified)
	* uspace/lib/c/generic/io/console.c (modified)
	* uspace/lib/c/generic/io/screenbuffer.c (modified)
	* uspace/lib/c/generic/ipc.c (modified)
	* uspace/lib/c/generic/loader.c (modified)
	* uspace/lib/c/generic/net/icmp_api.c (modified)
	* uspace/lib/c/generic/net/modules.c (modified)
	* uspace/lib/c/generic/net/socket_client.c (modified)
	* uspace/lib/c/generic/task.c (modified)
	* uspace/lib/c/generic/udebug.c (modified)
	* uspace/lib/c/generic/vfs/vfs.c (modified)
	* uspace/lib/c/include/async.h (modified)
	* uspace/lib/c/include/event.h (modified)
	* uspace/lib/c/include/io/console.h (modified)
	* uspace/lib/c/include/io/screenbuffer.h (modified)
	* uspace/lib/c/include/ipc/devman.h (modified)
	* uspace/lib/c/include/ipc/devmap.h (modified)
	* uspace/lib/c/include/ipc/ip.h (modified)
	* uspace/lib/c/include/ipc/ipc.h (modified)
	* uspace/lib/c/include/ipc/net.h (modified)
	* uspace/lib/c/include/ipc/socket.h (modified)
	* uspace/lib/c/include/net/modules.h (modified)
	* uspace/lib/clui/tinput.c (modified)
	* uspace/lib/clui/tinput.h (modified)
	* uspace/lib/drv/generic/dev_iface.c (modified)
	* uspace/lib/drv/generic/driver.c (modified)
	* uspace/lib/drv/include/driver.h (modified)
	* uspace/lib/fs/libfs.c (modified)
	* uspace/lib/fs/libfs.h (modified)
	* uspace/lib/net/generic/generic.c (modified)
	* uspace/lib/net/generic/packet_remote.c (modified)
	* uspace/lib/net/il/arp_remote.c (modified)
	* uspace/lib/net/il/ip_remote.c (modified)
	* uspace/lib/net/netif/netif_remote.c (modified)
	* uspace/lib/net/tl/icmp_remote.c (modified)
	* uspace/lib/packet/generic/packet_server.c (modified)
	* uspace/srv/bd/ata_bd/ata_bd.c (modified)
	* uspace/srv/bd/file_bd/file_bd.c (modified)
	* uspace/srv/bd/gxe_bd/gxe_bd.c (modified)
	* uspace/srv/bd/part/guid_part/guid_part.c (modified)
	* uspace/srv/bd/part/mbr_part/mbr_part.c (modified)
	* uspace/srv/clip/clip.c (modified)
	* uspace/srv/devman/devman.c (modified)
	* uspace/srv/devman/devman.h (modified)
	* uspace/srv/devman/main.c (modified)
	* uspace/srv/devmap/devmap.c (modified)
	* uspace/srv/fs/devfs/devfs_ops.c (modified)
	* uspace/srv/fs/fat/fat_ops.c (modified)
	* uspace/srv/hid/adb_mouse/adb_dev.c (modified)
	* uspace/srv/hid/char_mouse/chardev.c (modified)
	* uspace/srv/hid/console/console.c (modified)
	* uspace/srv/hid/console/gcons.c (modified)
	* uspace/srv/hid/fb/ega.c (modified)
	* uspace/srv/hid/fb/fb.c (modified)
	* uspace/srv/hid/fb/main.c (modified)
	* uspace/srv/hid/fb/serial_console.c (modified)
	* uspace/srv/hid/fb/serial_console.h (modified)
	* uspace/srv/hid/kbd/port/adb.c (modified)
	* uspace/srv/hid/kbd/port/chardev.c (modified)
	* uspace/srv/hw/bus/cuda_adb/cuda_adb.c (modified)
	* uspace/srv/hw/char/i8042/i8042.c (modified)
	* uspace/srv/hw/char/s3c24xx_uart/s3c24xx_uart.c (modified)
	* uspace/srv/hw/cir/fhc/fhc.c (modified)
	* uspace/srv/hw/cir/obio/obio.c (modified)
	* uspace/srv/hw/netif/dp8390/dp8390_module.c (modified)
	* uspace/srv/loader/main.c (modified)
	* uspace/srv/net/il/arp/arp.c (modified)
	* uspace/srv/net/il/arp/arp_module.c (modified)
	* uspace/srv/net/il/ip/ip.c (modified)
	* uspace/srv/net/il/ip/ip_module.c (modified)
	* uspace/srv/net/net/net.c (modified)
	* uspace/srv/net/netif/lo/lo.c (modified)
	* uspace/srv/net/nil/eth/eth.c (modified)
	* uspace/srv/net/nil/eth/eth_module.c (modified)
	* uspace/srv/net/nil/nildummy/nildummy.c (modified)
	* uspace/srv/net/nil/nildummy/nildummy_module.c (modified)
	* uspace/srv/net/tl/icmp/icmp_module.c (modified)
	* uspace/srv/net/tl/tcp/tcp.c (modified)
	* uspace/srv/net/tl/tcp/tcp_module.c (modified)
	* uspace/srv/net/tl/udp/udp.c (modified)
	* uspace/srv/net/tl/udp/udp_module.c (modified)
	* uspace/srv/ns/clonable.c (modified)
	* uspace/srv/ns/clonable.h (modified)
	* uspace/srv/ns/ns.c (modified)
	* uspace/srv/ns/service.c (modified)
	* uspace/srv/ns/service.h (modified)
	* uspace/srv/ns/task.c (modified)
	* uspace/srv/vfs/vfs.c (modified)
	* uspace/srv/vfs/vfs.h (modified)
	* uspace/srv/vfs/vfs_lookup.c (modified)
	* uspace/srv/vfs/vfs_node.c (modified)
	* uspace/srv/vfs/vfs_ops.c (modified)
	* uspace/srv/vfs/vfs_register.c (modified)

	more unification of basic types
	 - use sysarg_t and native_t ...


Fri, 26 Nov 2010 01:15:00 GMT Martin Decky <martin@…> [5587cf7]
	* boot/generic/include/stdint.h (modified)
	* boot/generic/include/typedefs.h (modified)
	* kernel/arch/abs32le/include/types.h (modified)
	* kernel/arch/amd64/include/types.h (modified)
	* kernel/arch/arm32/include/types.h (modified)
	* kernel/arch/ia32/include/types.h (modified)
	* kernel/arch/ia64/include/types.h (modified)
	* kernel/arch/mips32/include/types.h (modified)
	* kernel/arch/ppc32/include/types.h (modified)
	* kernel/arch/sparc64/include/types.h (modified)
	* kernel/generic/include/typedefs.h (modified)
	* uspace/lib/c/arch/abs32le/include/inttypes.h (modified)
	* uspace/lib/c/arch/amd64/include/inttypes.h (modified)
	* uspace/lib/c/arch/arm32/include/inttypes.h (modified)
	* uspace/lib/c/arch/ia32/include/inttypes.h (modified)
	* uspace/lib/c/arch/ia64/include/inttypes.h (modified)
	* uspace/lib/c/arch/mips32/include/inttypes.h (modified)
	* uspace/lib/c/arch/ppc32/include/inttypes.h (modified)
	* uspace/lib/c/arch/sparc64/include/inttypes.h (modified)
	* uspace/lib/c/include/sys/typefmt.h (modified)

	* use portable constant defines for integer range constants
	* add ...


Wed, 24 Nov 2010 14:23:14 GMT Martin Decky <martin@…> [dc0b964]
	* kernel/arch/abs32le/include/istate.h (modified)
	* kernel/arch/abs32le/include/mm/as.h (modified)
	* kernel/arch/abs32le/include/mm/page.h (modified)
	* kernel/arch/abs32le/include/types.h (modified)
	* kernel/arch/amd64/include/context.h (modified)
	* kernel/arch/amd64/include/context_offset.h (modified)
	* kernel/arch/amd64/include/cpu.h (modified)
	* kernel/arch/amd64/include/debugger.h (modified)
	* kernel/arch/amd64/include/istate.h (modified)
	* kernel/arch/amd64/include/mm/as.h (modified)
	* kernel/arch/amd64/include/mm/page.h (modified)
	* kernel/arch/amd64/include/pm.h (modified)
	* kernel/arch/amd64/include/types.h (modified)
	* kernel/arch/amd64/src/boot/memmap.c (modified)
	* kernel/arch/amd64/src/cpu/cpu.c (modified)
	* kernel/arch/amd64/src/debugger.c (modified)
	* kernel/arch/amd64/src/pm.c (modified)
	* kernel/arch/arm32/include/types.h (modified)
	* kernel/arch/ia32/include/boot/boot.h (modified)
	* kernel/arch/ia32/include/boot/memmap.h (modified)
	* kernel/arch/ia32/include/context.h (modified)
	* kernel/arch/ia32/include/context_offset.h (modified)
	* kernel/arch/ia32/include/cpu.h (modified)
	* kernel/arch/ia32/include/drivers/i8259.h (modified)
	* kernel/arch/ia32/include/istate.h (modified)
	* kernel/arch/ia32/include/mm/as.h (modified)
	* kernel/arch/ia32/include/mm/page.h (modified)
	* kernel/arch/ia32/include/smp/ap.h (modified)
	* kernel/arch/ia32/include/smp/apic.h (modified)
	* kernel/arch/ia32/include/types.h (modified)
	* kernel/arch/ia32/src/bios/bios.c (modified)
	* kernel/arch/ia32/src/boot/memmap.c (modified)
	* kernel/arch/ia32/src/cpu/cpu.c (modified)
	* kernel/arch/ia32/src/debug/stacktrace.c (modified)
	* kernel/arch/ia32/src/drivers/i8254.c (modified)
	* kernel/arch/ia32/src/drivers/i8259.c (modified)
	* kernel/arch/ia32/src/drivers/vesa.c (modified)
	* kernel/arch/ia32/src/mm/frame.c (modified)
	* kernel/arch/ia32/src/smp/apic.c (modified)
	* kernel/arch/ia32/src/smp/mps.c (modified)
	* kernel/arch/ia64/include/types.h (modified)
	* kernel/arch/mips32/include/types.h (modified)
	* kernel/arch/ppc32/include/types.h (modified)
	* kernel/arch/sparc64/include/types.h (modified)
	* tools/autotool.py (modified)
	* uspace/lib/c/arch/abs32le/include/inttypes.h (modified)
	* uspace/lib/c/arch/amd64/include/inttypes.h (modified)
	* uspace/lib/c/arch/arm32/include/inttypes.h (modified)
	* uspace/lib/c/arch/ia32/include/inttypes.h (modified)
	* uspace/lib/c/arch/ia64/include/inttypes.h (modified)
	* uspace/lib/c/arch/mips32/include/inttypes.h (modified)
	* uspace/lib/c/arch/ppc32/include/inttypes.h (modified)
	* uspace/lib/c/arch/sparc64/include/inttypes.h (modified)

	* do not hardwire PRI??? formatting macros in the sources, use ...


Sun, 31 Oct 2010 20:13:16 GMT Jiri Svoboda <jiri@…> [598f90e]
	* kernel/arch/abs32le/include/interrupt.h (modified)
	* kernel/arch/abs32le/include/istate.h (added)
	* kernel/arch/amd64/include/interrupt.h (modified)
	* kernel/arch/amd64/include/istate.h (added)
	* kernel/arch/arm32/include/exception.h (modified)
	* kernel/arch/arm32/include/istate.h (added)
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/include/istate.h (added)
	* kernel/arch/ia64/include/interrupt.h (modified)
	* kernel/arch/ia64/include/istate.h (added)
	* kernel/arch/ia64/include/register.h (modified)
	* kernel/arch/mips32/include/cp0.h (modified)
	* kernel/arch/mips32/include/exception.h (modified)
	* kernel/arch/mips32/include/istate.h (added)
	* kernel/arch/ppc32/include/istate.h (added)
	* kernel/arch/sparc64/include/interrupt.h (modified)
	* kernel/arch/sparc64/include/istate.h (added)
	* uspace/lib/c/arch/abs32le/include/istate.h (modified)
	* uspace/lib/c/arch/amd64/include/istate.h (modified)
	* uspace/lib/c/arch/arm32/include/istate.h (modified)
	* uspace/lib/c/arch/ia32/include/istate.h (modified)
	* uspace/lib/c/arch/ia64/include/istate.h (modified)
	* uspace/lib/c/arch/mips32/include/istate.h (modified)
	* uspace/lib/c/arch/sparc64/include/istate.h (modified)

	Use istate_t definitions from kernel instead of duplicating them.


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 10:08:51 GMT Martin Decky <martin@…> [e837f30]
	* kernel/arch/abs32le/include/interrupt.h (modified)

	add missing include


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


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


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


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


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


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


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

	Add abs32le interrupts_disabled().


Tue, 23 Mar 2010 14:41:06 GMT Martin Decky <martin@…> [d99c1d2]
	* kernel/arch/abs32le/include/asm.h (modified)
	* kernel/arch/abs32le/include/atomic.h (modified)
	* kernel/arch/abs32le/include/faddr.h (modified)
	* kernel/arch/abs32le/include/fpu_context.h (modified)
	* kernel/arch/abs32le/include/interrupt.h (modified)
	* kernel/arch/abs32le/include/mm/asid.h (modified)
	* kernel/arch/abs32le/include/mm/frame.h (modified)
	* kernel/arch/abs32le/include/mm/page.h (modified)
	* kernel/arch/abs32le/include/proc/task.h (modified)
	* kernel/arch/abs32le/include/proc/thread.h (modified)
	* kernel/arch/abs32le/include/types.h (modified)
	* kernel/arch/abs32le/src/abs32le.c (modified)
	* kernel/arch/abs32le/src/cpu/cpu.c (modified)
	* kernel/arch/abs32le/src/ddi/ddi.c (modified)
	* kernel/arch/abs32le/src/debug/stacktrace.c (modified)
	* kernel/arch/abs32le/src/mm/page.c (modified)
	* kernel/arch/abs32le/src/mm/tlb.c (modified)
	* kernel/arch/abs32le/src/userspace.c (modified)
	* kernel/arch/amd64/include/asm.h (modified)
	* kernel/arch/amd64/include/atomic.h (modified)
	* kernel/arch/amd64/include/context.h (modified)
	* kernel/arch/amd64/include/cpuid.h (modified)
	* kernel/arch/amd64/include/debugger.h (modified)
	* kernel/arch/amd64/include/faddr.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/include/pm.h (modified)
	* kernel/arch/amd64/include/proc/task.h (modified)
	* kernel/arch/amd64/include/types.h (modified)
	* kernel/arch/amd64/src/amd64.c (modified)
	* kernel/arch/amd64/src/cpu/cpu.c (modified)
	* kernel/arch/amd64/src/ddi/ddi.c (modified)
	* kernel/arch/amd64/src/debug/stacktrace.c (modified)
	* kernel/arch/amd64/src/proc/task.c (modified)
	* kernel/arch/amd64/src/userspace.c (modified)
	* kernel/arch/arm32/include/asm.h (modified)
	* kernel/arch/arm32/include/context.h (modified)
	* kernel/arch/arm32/include/cpu.h (modified)
	* kernel/arch/arm32/include/exception.h (modified)
	* kernel/arch/arm32/include/faddr.h (modified)
	* kernel/arch/arm32/include/fpu_context.h (modified)
	* kernel/arch/arm32/include/interrupt.h (modified)
	* kernel/arch/arm32/include/machine_func.h (modified)
	* kernel/arch/arm32/include/mm/asid.h (modified)
	* kernel/arch/arm32/include/mm/frame.h (modified)
	* kernel/arch/arm32/include/mm/page_fault.h (modified)
	* kernel/arch/arm32/include/ras.h (modified)
	* kernel/arch/arm32/include/types.h (modified)
	* kernel/arch/arm32/src/ddi/ddi.c (modified)
	* kernel/arch/arm32/src/debug/stacktrace.c (modified)
	* kernel/arch/arm32/src/mm/page.c (modified)
	* kernel/arch/arm32/src/mm/tlb.c (modified)
	* kernel/arch/arm32/src/ras.c (modified)
	* kernel/arch/ia32/include/asm.h (modified)
	* kernel/arch/ia32/include/atomic.h (modified)
	* kernel/arch/ia32/include/bios/bios.h (modified)
	* kernel/arch/ia32/include/boot/memmap.h (modified)
	* kernel/arch/ia32/include/context.h (modified)
	* kernel/arch/ia32/include/cpuid.h (modified)
	* kernel/arch/ia32/include/drivers/i8254.h (modified)
	* kernel/arch/ia32/include/drivers/i8259.h (modified)
	* kernel/arch/ia32/include/drivers/vesa.h (modified)
	* kernel/arch/ia32/include/faddr.h (modified)
	* kernel/arch/ia32/include/fpu_context.h (modified)
	* kernel/arch/ia32/include/interrupt.h (modified)
	* kernel/arch/ia32/include/mm/asid.h (modified)
	* kernel/arch/ia32/include/mm/frame.h (modified)
	* kernel/arch/ia32/include/mm/page.h (modified)
	* kernel/arch/ia32/include/pm.h (modified)
	* kernel/arch/ia32/include/proc/task.h (modified)
	* kernel/arch/ia32/include/proc/thread.h (modified)
	* kernel/arch/ia32/include/smp/apic.h (modified)
	* kernel/arch/ia32/include/smp/mps.h (modified)
	* kernel/arch/ia32/include/smp/smp.h (modified)
	* kernel/arch/ia32/include/types.h (modified)
	* kernel/arch/ia32/src/bios/bios.c (modified)
	* kernel/arch/ia32/src/cpu/cpu.c (modified)
	* kernel/arch/ia32/src/ddi/ddi.c (modified)
	* kernel/arch/ia32/src/debug/stacktrace.c (modified)
	* kernel/arch/ia32/src/drivers/i8254.c (modified)
	* kernel/arch/ia32/src/drivers/i8259.c (modified)
	* kernel/arch/ia32/src/drivers/vesa.c (modified)
	* kernel/arch/ia32/src/ia32.c (modified)
	* kernel/arch/ia32/src/mm/page.c (modified)
	* kernel/arch/ia32/src/mm/tlb.c (modified)
	* kernel/arch/ia32/src/pm.c (modified)
	* kernel/arch/ia32/src/proc/task.c (modified)
	* kernel/arch/ia32/src/smp/apic.c (modified)
	* kernel/arch/ia32/src/smp/mps.c (modified)
	* kernel/arch/ia32/src/syscall.c (modified)
	* kernel/arch/ia32/src/userspace.c (modified)
	* kernel/arch/ia64/include/asm.h (modified)
	* kernel/arch/ia64/include/bootinfo.h (modified)
	* kernel/arch/ia64/include/context.h (modified)
	* kernel/arch/ia64/include/cpu.h (modified)
	* kernel/arch/ia64/include/faddr.h (modified)
	* kernel/arch/ia64/include/fpu_context.h (modified)
	* kernel/arch/ia64/include/interrupt.h (modified)
	* kernel/arch/ia64/include/mm/asid.h (modified)
	* kernel/arch/ia64/include/mm/frame.h (modified)
	* kernel/arch/ia64/include/mm/page.h (modified)
	* kernel/arch/ia64/include/mm/tlb.h (modified)
	* kernel/arch/ia64/include/register.h (modified)
	* kernel/arch/ia64/include/types.h (modified)
	* kernel/arch/ia64/src/ddi/ddi.c (modified)
	* kernel/arch/ia64/src/debug/stacktrace.c (modified)
	* kernel/arch/ia64/src/drivers/ski.c (modified)
	* kernel/arch/ia64/src/ia64.c (modified)
	* kernel/arch/ia64/src/interrupt.c (modified)
	* kernel/arch/ia64/src/mm/page.c (modified)
	* kernel/arch/ia64/src/smp/smp.c (modified)
	* kernel/arch/mips32/include/asm.h (modified)
	* kernel/arch/mips32/include/context.h (modified)
	* kernel/arch/mips32/include/cp0.h (modified)
	* kernel/arch/mips32/include/cpu.h (modified)
	* kernel/arch/mips32/include/debugger.h (modified)
	* kernel/arch/mips32/include/exception.h (modified)
	* kernel/arch/mips32/include/faddr.h (modified)
	* kernel/arch/mips32/include/fpu_context.h (modified)
	* kernel/arch/mips32/include/mm/asid.h (modified)
	* kernel/arch/mips32/include/mm/tlb.h (modified)
	* kernel/arch/mips32/include/types.h (modified)
	* kernel/arch/mips32/src/ddi/ddi.c (modified)
	* kernel/arch/mips32/src/debug/stacktrace.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/boot/boot.h (modified)
	* kernel/arch/ppc32/include/context.h (modified)
	* kernel/arch/ppc32/include/cpuid.h (modified)
	* kernel/arch/ppc32/include/drivers/pic.h (modified)
	* kernel/arch/ppc32/include/exception.h (modified)
	* kernel/arch/ppc32/include/faddr.h (modified)
	* kernel/arch/ppc32/include/fpu_context.h (modified)
	* kernel/arch/ppc32/include/mm/asid.h (modified)
	* kernel/arch/ppc32/include/mm/frame.h (modified)
	* kernel/arch/ppc32/include/mm/tlb.h (modified)
	* kernel/arch/ppc32/include/types.h (modified)
	* kernel/arch/ppc32/src/ddi/ddi.c (modified)
	* kernel/arch/ppc32/src/debug/stacktrace.c (modified)
	* kernel/arch/ppc32/src/interrupt.c (modified)
	* kernel/arch/sparc64/include/asm.h (modified)
	* kernel/arch/sparc64/include/atomic.h (modified)
	* kernel/arch/sparc64/include/boot/boot.h (modified)
	* kernel/arch/sparc64/include/context.h (modified)
	* kernel/arch/sparc64/include/cpu.h (modified)
	* kernel/arch/sparc64/include/drivers/fhc.h (modified)
	* kernel/arch/sparc64/include/drivers/kbd.h (modified)
	* kernel/arch/sparc64/include/drivers/pci.h (modified)
	* kernel/arch/sparc64/include/drivers/scr.h (modified)
	* kernel/arch/sparc64/include/drivers/sgcn.h (modified)
	* kernel/arch/sparc64/include/faddr.h (modified)
	* kernel/arch/sparc64/include/fpu_context.h (modified)
	* kernel/arch/sparc64/include/interrupt.h (modified)
	* kernel/arch/sparc64/include/mm/asid.h (modified)
	* kernel/arch/sparc64/include/mm/sun4u/frame.h (modified)
	* kernel/arch/sparc64/include/mm/sun4u/mmu.h (modified)
	* kernel/arch/sparc64/include/mm/sun4u/tlb.h (modified)
	* kernel/arch/sparc64/include/mm/sun4u/tsb.h (modified)
	* kernel/arch/sparc64/include/mm/sun4u/tte.h (modified)
	* kernel/arch/sparc64/include/mm/sun4v/frame.h (modified)
	* kernel/arch/sparc64/include/mm/sun4v/tlb.h (modified)
	* kernel/arch/sparc64/include/mm/sun4v/tsb.h (modified)
	* kernel/arch/sparc64/include/mm/sun4v/tte.h (modified)
	* kernel/arch/sparc64/include/proc/thread.h (modified)
	* kernel/arch/sparc64/include/register.h (modified)
	* kernel/arch/sparc64/include/sun4u/cpu.h (modified)
	* kernel/arch/sparc64/include/sun4v/hypercall.h (modified)
	* kernel/arch/sparc64/include/sun4v/ipi.h (modified)
	* kernel/arch/sparc64/include/sun4v/register.h (modified)
	* kernel/arch/sparc64/include/trap/trap_table.h (modified)
	* kernel/arch/sparc64/include/types.h (modified)
	* kernel/arch/sparc64/src/console.c (modified)
	* kernel/arch/sparc64/src/ddi/ddi.c (modified)
	* kernel/arch/sparc64/src/debug/stacktrace.c (modified)
	* kernel/arch/sparc64/src/drivers/fhc.c (modified)
	* kernel/arch/sparc64/src/drivers/kbd.c (modified)
	* kernel/arch/sparc64/src/drivers/pci.c (modified)
	* kernel/arch/sparc64/src/drivers/scr.c (modified)
	* kernel/arch/sparc64/src/mm/sun4u/frame.c (modified)
	* kernel/arch/sparc64/src/mm/sun4u/tlb.c (modified)
	* kernel/arch/sparc64/src/mm/sun4u/tsb.c (modified)
	* kernel/arch/sparc64/src/mm/sun4v/frame.c (modified)
	* kernel/arch/sparc64/src/mm/sun4v/tlb.c (modified)
	* kernel/arch/sparc64/src/mm/sun4v/tsb.c (modified)
	* kernel/arch/sparc64/src/smp/sun4u/smp.c (modified)
	* kernel/arch/sparc64/src/smp/sun4v/smp.c (modified)
	* kernel/arch/sparc64/src/trap/interrupt.c (modified)
	* kernel/arch/sparc64/src/trap/sun4u/interrupt.c (modified)
	* kernel/arch/sparc64/src/trap/sun4v/interrupt.c (modified)
	* kernel/arch/sparc64/src/trap/trap.c (modified)
	* kernel/genarch/include/acpi/acpi.h (modified)
	* kernel/genarch/include/drivers/dsrln/dsrlnin.h (modified)
	* kernel/genarch/include/drivers/dsrln/dsrlnout.h (modified)
	* kernel/genarch/include/drivers/ega/ega.h (modified)
	* kernel/genarch/include/drivers/i8042/i8042.h (modified)
	* kernel/genarch/include/drivers/legacy/ia32/io.h (modified)
	* kernel/genarch/include/drivers/ns16550/ns16550.h (modified)
	* kernel/genarch/include/drivers/pl050/pl050.h (modified)
	* kernel/genarch/include/drivers/via-cuda/cuda.h (modified)
	* kernel/genarch/include/drivers/z8530/z8530.h (modified)
	* kernel/genarch/include/fb/fb.h (modified)
	* kernel/genarch/include/fb/logo-196x66.h (modified)
	* kernel/genarch/include/mm/as_ht.h (modified)
	* kernel/genarch/include/mm/page_ht.h (modified)
	* kernel/genarch/include/mm/page_pt.h (modified)
	* kernel/genarch/include/multiboot/multiboot.h (modified)
	* kernel/genarch/include/ofw/ebus.h (modified)
	* kernel/genarch/include/ofw/fhc.h (modified)
	* kernel/genarch/include/ofw/ofw_tree.h (modified)
	* kernel/genarch/include/ofw/pci.h (modified)
	* kernel/genarch/include/ofw/sbus.h (modified)
	* kernel/genarch/include/ofw/upa.h (modified)
	* kernel/genarch/src/acpi/madt.c (modified)
	* kernel/genarch/src/drivers/ega/ega.c (modified)
	* kernel/genarch/src/fb/fb.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/genarch/src/multiboot/multiboot.c (modified)
	* kernel/generic/include/adt/avl.h (modified)
	* kernel/generic/include/adt/bitmap.h (modified)
	* kernel/generic/include/adt/btree.h (modified)
	* kernel/generic/include/adt/hash_table.h (modified)
	* kernel/generic/include/adt/list.h (modified)
	* kernel/generic/include/atomic.h (modified)
	* kernel/generic/include/byteorder.h (modified)
	* kernel/generic/include/config.h (modified)
	* kernel/generic/include/console/chardev.h (modified)
	* kernel/generic/include/console/console.h (modified)
	* kernel/generic/include/context.h (modified)
	* kernel/generic/include/ddi/ddi.h (modified)
	* kernel/generic/include/ddi/device.h (modified)
	* kernel/generic/include/ddi/irq.h (modified)
	* kernel/generic/include/func.h (modified)
	* kernel/generic/include/interrupt.h (modified)
	* kernel/generic/include/ipc/event.h (modified)
	* kernel/generic/include/ipc/irq.h (modified)
	* kernel/generic/include/ipc/sysipc.h (modified)
	* kernel/generic/include/lib/elf.h (modified)
	* kernel/generic/include/lib/rd.h (modified)
	* kernel/generic/include/macros.h (modified)
	* kernel/generic/include/main/main.h (modified)
	* kernel/generic/include/main/uinit.h (modified)
	* kernel/generic/include/memstr.h (modified)
	* kernel/generic/include/mm/as.h (modified)
	* kernel/generic/include/mm/buddy.h (modified)
	* kernel/generic/include/mm/frame.h (modified)
	* kernel/generic/include/mm/page.h (modified)
	* kernel/generic/include/mm/tlb.h (modified)
	* kernel/generic/include/print.h (modified)
	* kernel/generic/include/proc/program.h (modified)
	* kernel/generic/include/proc/scheduler.h (modified)
	* kernel/generic/include/security/cap.h (modified)
	* kernel/generic/include/sort.h (modified)
	* kernel/generic/include/stacktrace.h (modified)
	* kernel/generic/include/symtab.h (modified)
	* kernel/generic/include/synch/condvar.h (modified)
	* kernel/generic/include/synch/futex.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/syscall/copy.h (modified)
	* kernel/generic/include/syscall/syscall.h (modified)
	* kernel/generic/include/sysinfo/sysinfo.h (modified)
	* kernel/generic/include/time/clock.h (modified)
	* kernel/generic/include/time/delay.h (modified)
	* kernel/generic/include/time/timeout.h (modified)
	* kernel/generic/include/typedefs.h (modified)
	* kernel/generic/include/userspace.h (modified)
	* kernel/generic/src/adt/bitmap.c (modified)
	* kernel/generic/src/adt/hash_table.c (modified)
	* kernel/generic/src/console/cmd.c (modified)
	* kernel/generic/src/console/console.c (modified)
	* kernel/generic/src/console/kconsole.c (modified)
	* kernel/generic/src/cpu/cpu.c (modified)
	* kernel/generic/src/ddi/device.c (modified)
	* kernel/generic/src/ddi/irq.c (modified)
	* kernel/generic/src/debug/stacktrace.c (modified)
	* kernel/generic/src/debug/symtab.c (modified)
	* kernel/generic/src/ipc/event.c (modified)
	* kernel/generic/src/lib/elf.c (modified)
	* kernel/generic/src/lib/memstr.c (modified)
	* kernel/generic/src/main/uinit.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/buddy.c (modified)
	* kernel/generic/src/mm/frame.c (modified)
	* kernel/generic/src/mm/page.c (modified)
	* kernel/generic/src/printf/vprintf.c (modified)
	* kernel/generic/src/synch/waitq.c (modified)
	* kernel/generic/src/time/delay.c (modified)
	* kernel/generic/src/time/timeout.c (modified)
	* kernel/test/avltree/avltree1.c (modified)
	* kernel/test/mm/falloc1.c (modified)
	* kernel/test/mm/falloc2.c (modified)
	* kernel/test/mm/mapping1.c (modified)
	* kernel/test/mm/purge1.c (modified)
	* kernel/test/synch/rwlock4.c (modified)
	* kernel/test/synch/semaphore2.c (modified)
	* kernel/test/test.h (modified)

	use [u]int{8|16|32|64}_t type definitions as detected by the autotool ...


Sat, 20 Feb 2010 20:35:45 GMT Martin Decky <martin@…> [b03a666]
	* kernel/arch/abs32le/include/atomic.h (modified)
	* kernel/arch/abs32le/include/types.h (modified)
	* uspace/lib/libc/arch/abs32le/include/atomic.h (modified)
	* uspace/lib/libc/arch/abs32le/include/types.h (modified)

	define atomic_count_t even for abs32le


Tue, 16 Feb 2010 16:41:32 GMT Martin Decky <martin@…> [fb52db8]
	* kernel/arch/abs32le/Makefile.inc (modified)
	* kernel/arch/abs32le/include/asm.h (modified)
	* kernel/arch/abs32le/include/atomic.h (modified)
	* kernel/arch/abs32le/include/barrier.h (modified)
	* kernel/arch/abs32le/include/context.h (modified)
	* kernel/arch/abs32le/include/context_offset.h (modified)
	* kernel/arch/abs32le/include/mm/frame.h (modified)
	* kernel/arch/abs32le/include/mm/page.h (modified)
	* kernel/arch/abs32le/src/abs32le.c (modified)
	* kernel/arch/abs32le/src/debug/stacktrace.c (modified)
	* kernel/arch/abs32le/src/smp/ipi.c (added)
	* uspace/lib/libc/arch/abs32le/Makefile.inc (added)
	* uspace/lib/libc/arch/abs32le/_link.ld.in (added)
	* uspace/lib/libc/arch/abs32le/include/atomic.h (added)
	* uspace/lib/libc/arch/abs32le/include/config.h (added)
	* uspace/lib/libc/arch/abs32le/include/ddi.h (added)
	* uspace/lib/libc/arch/abs32le/include/entry.h (added)
	* uspace/lib/libc/arch/abs32le/include/faddr.h (added)
	* uspace/lib/libc/arch/abs32le/include/fibril.h (added)
	* uspace/lib/libc/arch/abs32le/include/inttypes.h (added)
	* uspace/lib/libc/arch/abs32le/include/istate.h (added)
	* uspace/lib/libc/arch/abs32le/include/limits.h (added)
	* uspace/lib/libc/arch/abs32le/include/syscall.h (added)
	* uspace/lib/libc/arch/abs32le/include/thread.h (added)
	* uspace/lib/libc/arch/abs32le/include/tls.h (added)
	* uspace/lib/libc/arch/abs32le/include/types.h (added)
	* uspace/lib/libc/arch/abs32le/src/entry.c (added)
	* uspace/lib/libc/arch/abs32le/src/fibril.c (added)
	* uspace/lib/libc/arch/abs32le/src/stacktrace.c (added)
	* uspace/lib/libc/arch/abs32le/src/syscall.c (added)
	* uspace/lib/libc/arch/abs32le/src/thread_entry.c (added)
	* uspace/lib/libc/arch/abs32le/src/tls.c (added)
	* uspace/lib/libc/include/stacktrace.h (modified)
	* uspace/lib/softfloat/arch/abs32le/include/functions.h (added)
	* uspace/srv/hid/kbd/Makefile.build (modified)
	* uspace/srv/loader/arch/abs32le/Makefile.inc (added)
	* uspace/srv/loader/arch/abs32le/_link.ld.in (added)
	* uspace/srv/loader/arch/abs32le/abs32le.c (added)
	* uspace/srv/loader/include/arch.h (modified)

	make abs32le compile and link
	abs32le now "works" (at least compiled ...


Tue, 16 Feb 2010 16:31:05 GMT Martin Decky <martin@…> [dabdd1a]
	* kernel/arch/abs32le/include/memstr.h (modified)
	* kernel/arch/amd64/include/memstr.h (modified)
	* kernel/arch/arm32/include/memstr.h (modified)
	* kernel/arch/ia32/include/memstr.h (modified)
	* kernel/arch/ia64/include/memstr.h (modified)
	* kernel/arch/mips32/include/memstr.h (modified)
	* kernel/arch/ppc32/include/memstr.h (modified)
	* kernel/arch/sparc64/include/memstr.h (modified)

	unify memstr.h coding style (no functional change)


Thu, 04 Feb 2010 16:51:36 GMT Martin Decky <martin@…> [b1d3c36]
	* kernel/arch/abs32le/include/context.h (modified)
	* kernel/arch/ia64/include/context.h (modified)
	* kernel/arch/mips32/include/context.h (modified)
	* kernel/arch/ppc32/include/context.h (modified)
	* kernel/arch/sparc64/include/context.h (modified)
	* kernel/generic/include/context.h (modified)
	* uspace/lib/libc/arch/ia64/include/fibril.h (modified)
	* uspace/lib/libc/arch/sparc64/include/fibril.h (modified)
	* uspace/lib/libc/include/fibril.h (modified)

	small arch/generic interface cleanup:
	context_set() should be always ...


Thu, 04 Feb 2010 16:24:32 GMT Martin Decky <martin@…> [d32358f]
	* HelenOS.config (modified)
	* defaults/special/Makefile.config (modified)
	* kernel/arch/abs32le/Makefile.inc (modified)
	* kernel/arch/abs32le/include/context.h (modified)
	* kernel/arch/abs32le/include/interrupt.h (modified)
	* kernel/arch/abs32le/src/abs32le.c (modified)
	* kernel/arch/abs32le/src/ddi/ddi.c (added)
	* kernel/arch/abs32le/src/debug/stacktrace.c (modified)
	* kernel/arch/abs32le/src/smp/smp.c (added)
	* kernel/generic/include/stacktrace.h (modified)

	abs32le: explicitly support SMP configurations
	abs32le: add several ...


Wed, 03 Feb 2010 12:45:26 GMT Martin Decky <martin@…> [82474ef]
	* kernel/arch/abs32le/include/asm.h (modified)
	* kernel/arch/amd64/include/asm.h (modified)
	* kernel/arch/arm32/include/asm.h (modified)
	* kernel/arch/arm32/src/arm32.c (modified)
	* kernel/arch/ia32/include/asm.h (modified)
	* kernel/arch/ia64/include/asm.h (modified)
	* kernel/arch/mips32/include/asm.h (modified)
	* kernel/arch/ppc32/include/asm.h (modified)
	* kernel/arch/sparc64/include/asm.h (modified)
	* kernel/generic/include/func.h (modified)

	improve the GCC contract of halt(), make it explicitly noreturn


Mon, 25 Jan 2010 18:40:21 GMT Martin Decky <martin@…> [50fda24]
	* HelenOS.config (modified)
	* defaults/abs32le/Makefile.config (added)
	* kernel/arch/abs32le/Makefile.inc (added)
	* kernel/arch/abs32le/_link.ld.in (added)
	* kernel/arch/abs32le/include/arch.h (added)
	* kernel/arch/abs32le/include/asm.h (added)
	* kernel/arch/abs32le/include/atomic.h (added)
	* kernel/arch/abs32le/include/barrier.h (added)
	* kernel/arch/abs32le/include/context.h (added)
	* kernel/arch/abs32le/include/context_offset.h (added)
	* kernel/arch/abs32le/include/cpu.h (added)
	* kernel/arch/abs32le/include/cycle.h (added)
	* kernel/arch/abs32le/include/debug.h (added)
	* kernel/arch/abs32le/include/elf.h (added)
	* kernel/arch/abs32le/include/faddr.h (added)
	* kernel/arch/abs32le/include/fpu_context.h (added)
	* kernel/arch/abs32le/include/interrupt.h (added)
	* kernel/arch/abs32le/include/memstr.h (added)
	* kernel/arch/abs32le/include/mm/as.h (added)
	* kernel/arch/abs32le/include/mm/asid.h (added)
	* kernel/arch/abs32le/include/mm/frame.h (added)
	* kernel/arch/abs32le/include/mm/page.h (added)
	* kernel/arch/abs32le/include/mm/tlb.h (added)
	* kernel/arch/abs32le/include/proc/task.h (added)
	* kernel/arch/abs32le/include/proc/thread.h (added)
	* kernel/arch/abs32le/include/types.h (added)
	* kernel/arch/abs32le/src/abs32le.c (added)
	* kernel/arch/abs32le/src/cpu/cpu.c (added)
	* kernel/arch/abs32le/src/debug/stacktrace.c (added)
	* kernel/arch/abs32le/src/mm/as.c (added)
	* kernel/arch/abs32le/src/mm/frame.c (added)
	* kernel/arch/abs32le/src/mm/page.c (added)
	* kernel/arch/abs32le/src/mm/tlb.c (added)
	* kernel/arch/abs32le/src/proc/scheduler.c (added)
	* kernel/arch/abs32le/src/proc/task.c (added)
	* kernel/arch/abs32le/src/proc/thread.c (added)
	* kernel/arch/abs32le/src/userspace.c (added)

	add Abstract32 Little Endian architecture (abs32le)

	the purpose of ...