# # ChangeLog for / in mainline # # Generated by Trac 1.6 # 2024-09-20T08:28:18Z 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 ... 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 ... 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 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. Mon, 14 Jun 2010 16:49:05 GMT Martin Decky [96e7a94] * tools/checkers/howto.txt (added) add simple HOWTO Sun, 13 Jun 2010 22:53:22 GMT Jakub Jermar [5f1fffb] * boot/arch/ia64/Makefile.inc (added) * boot/arch/ia64/_link.ld.in (added) * boot/arch/ia64/include/arch.h (added) * boot/arch/ia64/include/asm.h (added) * boot/arch/ia64/include/main.h (added) * boot/arch/ia64/include/ski.h (added) * boot/arch/ia64/include/types.h (added) * boot/arch/ia64/src/asm.S (added) * boot/arch/ia64/src/boot.S (added) * boot/arch/ia64/src/main.c (added) * boot/arch/ia64/src/putchar.c (added) * boot/arch/ia64/src/ski.c (added) * kernel/arch/ia64/_link.ld.in (modified) * kernel/arch/ia64/include/bootinfo.h (modified) Merge progress from the ia64 revival branch. As of now, the ia64 ... Sun, 13 Jun 2010 22:52:35 GMT Jakub Jermar [0a925a8] * boot/arch/ia64/include/_components.h (deleted) * boot/arch/ia64/include/common.h (deleted) Remove two more accidentally committed generated files. Sun, 13 Jun 2010 22:48:15 GMT Jakub Jermar [66e39b8] * boot/arch/ia64/src/main.c (modified) Remove unneeded macros and fix printing of the loader entry point. Sun, 13 Jun 2010 22:21:51 GMT Jakub Jermar [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 22:19:51 GMT Jakub Jermar [cfb729b0] * boot/arch/ia64/_link.ld (deleted) * boot/arch/ia64/src/_components.c (deleted) Remove accidentally committed generated files. Sun, 13 Jun 2010 21:56:16 GMT Jakub Jermar [807102ca] * boot/arch/ia64/Makefile.inc (added) * boot/arch/ia64/_link.ld (added) * boot/arch/ia64/_link.ld.in (added) * boot/arch/ia64/include/_components.h (added) * boot/arch/ia64/include/arch.h (added) * boot/arch/ia64/include/asm.h (added) * boot/arch/ia64/include/common.h (added) * boot/arch/ia64/include/main.h (added) * boot/arch/ia64/include/ski.h (added) * boot/arch/ia64/include/types.h (added) * boot/arch/ia64/src/_components.c (added) * boot/arch/ia64/src/asm.S (added) * boot/arch/ia64/src/boot.S (added) * boot/arch/ia64/src/main.c (added) * boot/arch/ia64/src/putchar.c (added) * boot/arch/ia64/src/ski.c (added) Revive the ia64's loader. At this stage, the ia64 port builds ... Sun, 13 Jun 2010 21:39:18 GMT Jakub Jermar [202dde5] * kernel/arch/ia64/include/bootinfo.h (modified) Remove loader stuff from the kernel header. Sun, 13 Jun 2010 10:28:35 GMT Jakub Jermar [510bc07] * kernel/Makefile (modified) Fix ordering of [AL]FLAGS initialization and arch Makefile.inc inclusion. Sat, 12 Jun 2010 09:37:54 GMT Martin Decky [1d6c497] * kernel/arch/amd64/include/cycle.h (modified) * kernel/arch/amd64/src/asm_utils.S (modified) amd64: fix wrong usage of rdtsc Sat, 12 Jun 2010 00:01:55 GMT Martin Decky [fd3a631f] * kernel/generic/src/sysinfo/stats.c (modified) Fix weird load average values. The fix has been addopted from ... Fri, 11 Jun 2010 23:56:16 GMT Martin Decky [b584cd4] * kernel/generic/src/interrupt/interrupt.c (modified) Update thread's last_cycle seems to be actually needed to properly ... Fri, 11 Jun 2010 16:07:21 GMT Martin Decky [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 [b3b7e14] * kernel/arch/amd64/src/debugger.c (modified) * kernel/arch/amd64/src/interrupt.c (modified) * kernel/arch/amd64/src/mm/page.c (modified) * kernel/arch/arm32/include/ras.h (modified) * kernel/arch/arm32/src/exc_handler.S (modified) * kernel/arch/arm32/src/exception.c (modified) * kernel/arch/arm32/src/ras.c (modified) * kernel/arch/ia32/src/drivers/i8259.c (modified) * kernel/arch/ia32/src/interrupt.c (modified) * kernel/arch/ia32/src/mm/page.c (modified) * kernel/arch/ia32/src/smp/apic.c (modified) * kernel/arch/mips32/src/exception.c (modified) * kernel/arch/ppc32/src/interrupt.c (modified) * kernel/arch/sparc64/include/sparc64.h (modified) * kernel/arch/sparc64/src/trap/interrupt.c (modified) * kernel/generic/include/console/console.h (modified) * kernel/generic/include/interrupt.h (modified) * kernel/generic/include/sysinfo/abi.h (modified) * kernel/generic/src/interrupt/interrupt.c (modified) * kernel/generic/src/sysinfo/stats.c (modified) * uspace/app/top/screen.c (modified) * uspace/app/top/top.c (modified) * uspace/app/top/top.h (modified) distinguish between "hot" and "cold" exceptions display only "hot" ... Fri, 11 Jun 2010 12:41:35 GMT Martin Decky [be06914] * kernel/genarch/include/drivers/pl050/pl050.h (modified) * kernel/generic/include/sysinfo/abi.h (modified) * kernel/generic/src/ipc/ipc.c (modified) * kernel/generic/src/proc/task.c (modified) * uspace/app/top/screen.c (modified) * uspace/app/top/top.c (modified) * uspace/app/top/top.h (modified) nicer top printouts fix typos (recieved -> received) Fri, 11 Jun 2010 10:52:57 GMT Martin Decky [48dcc69] * kernel/generic/include/proc/thread.h (modified) * kernel/generic/src/console/cmd.c (modified) * kernel/generic/src/proc/task.c (modified) * kernel/generic/src/proc/thread.c (modified) better printouts for threads Thu, 10 Jun 2010 16:04:07 GMT Martin Decky [c0f13d2] * kernel/generic/include/console/kconsole.h (modified) * kernel/generic/include/proc/task.h (modified) * kernel/generic/src/console/cmd.c (modified) * kernel/generic/src/console/kconsole.c (modified) * kernel/generic/src/proc/task.c (modified) introduce more compact and more readable command output to kconsole ... Thu, 10 Jun 2010 14:24:50 GMT Martin Decky [8eec3c8] * kernel/generic/include/interrupt.h (modified) * kernel/generic/include/sysinfo/abi.h (modified) * kernel/generic/src/interrupt/interrupt.c (modified) * kernel/generic/src/sysinfo/stats.c (modified) * uspace/app/top/screen.c (modified) * uspace/app/top/top.c (modified) * uspace/app/top/top.h (modified) * uspace/lib/c/generic/stats.c (modified) * uspace/lib/c/include/stats.h (modified) merge basic exception accounting (this is the last piece missing from ... Wed, 09 Jun 2010 19:03:24 GMT Jiri Svoboda [1113c9e] * uspace/app/sbi/Makefile (modified) * uspace/app/sbi/src/ancr.c (modified) * uspace/app/sbi/src/bigint.c (modified) * uspace/app/sbi/src/bigint.h (modified) * uspace/app/sbi/src/builtin.c (modified) * uspace/app/sbi/src/builtin.h (modified) * uspace/app/sbi/src/builtin/bi_char.c (added) * uspace/app/sbi/src/builtin/bi_char.h (added) * uspace/app/sbi/src/builtin/bi_fun.c (modified) * uspace/app/sbi/src/builtin/bi_int.c (added) * uspace/app/sbi/src/builtin/bi_int.h (added) * uspace/app/sbi/src/builtin/bi_string.c (modified) * uspace/app/sbi/src/imode.c (modified) * uspace/app/sbi/src/input.c (modified) * uspace/app/sbi/src/mytypes.h (modified) * uspace/app/sbi/src/os/helenos.c (modified) * uspace/app/sbi/src/os/os.h (modified) * uspace/app/sbi/src/os/posix.c (modified) * uspace/app/sbi/src/parse.c (modified) * uspace/app/sbi/src/program.c (modified) * uspace/app/sbi/src/rdata.c (modified) * uspace/app/sbi/src/rdata_t.h (modified) * uspace/app/sbi/src/run.c (modified) * uspace/app/sbi/src/run.h (modified) * uspace/app/sbi/src/run_expr.c (modified) * uspace/app/sbi/src/run_expr.h (modified) * uspace/app/sbi/src/run_t.h (modified) * uspace/app/sbi/src/run_texpr.c (modified) * uspace/app/sbi/src/stree.c (modified) * uspace/app/sbi/src/stree.h (modified) * uspace/app/sbi/src/stree_t.h (modified) * uspace/app/sbi/src/stype.c (modified) * uspace/app/sbi/src/stype.h (modified) * uspace/app/sbi/src/stype_expr.c (modified) * uspace/app/sbi/src/stype_t.h (modified) * uspace/app/sbi/src/symbol.c (modified) * uspace/app/sbi/src/symbol.h (modified) * uspace/app/sbi/src/tdata.c (modified) * uspace/app/sbi/src/tdata_t.h (modified) * uspace/dist/src/sysel/demos/arith.sy (modified) * uspace/dist/src/sysel/demos/array.sy (modified) * uspace/dist/src/sysel/demos/autobox.sy (modified) * uspace/dist/src/sysel/demos/count.sy (modified) * uspace/dist/src/sysel/demos/ctor.sy (modified) * uspace/dist/src/sysel/demos/deleg.sy (modified) * uspace/dist/src/sysel/demos/enum.sy (modified) * uspace/dist/src/sysel/demos/except.sy (modified) * uspace/dist/src/sysel/demos/gen.sy (modified) * uspace/dist/src/sysel/demos/hello.sy (modified) * uspace/dist/src/sysel/demos/hexec.sy (modified) * uspace/dist/src/sysel/demos/htxtfile.sy (modified) * uspace/dist/src/sysel/demos/iface.sy (added) * uspace/dist/src/sysel/demos/inherit.sy (modified) * uspace/dist/src/sysel/demos/list.sy (modified) * uspace/dist/src/sysel/demos/map.sy (modified) * uspace/dist/src/sysel/demos/property.sy (modified) * uspace/dist/src/sysel/demos/string.sy (modified) * uspace/dist/src/sysel/demos/svar.sy (added) * uspace/dist/src/sysel/demos/varargs.sy (modified) * uspace/dist/src/sysel/lib/arith.sy (modified) * uspace/dist/src/sysel/lib/boxed.sy (modified) * uspace/dist/src/sysel/lib/ienum.sy (added) * uspace/dist/src/sysel/lib/libflist (modified) * uspace/dist/src/sysel/lib/list.sy (modified) * uspace/dist/src/sysel/lib/map.sy (modified) Merge from lp:~jsvoboda/helenos/sysel. Wed, 09 Jun 2010 19:01:08 GMT Jiri Svoboda [c5cb943d] * uspace/app/sbi/Makefile (modified) * uspace/app/sbi/src/ancr.c (modified) * uspace/app/sbi/src/bigint.c (modified) * uspace/app/sbi/src/bigint.h (modified) * uspace/app/sbi/src/builtin.c (modified) * uspace/app/sbi/src/builtin.h (modified) * uspace/app/sbi/src/builtin/bi_char.c (added) * uspace/app/sbi/src/builtin/bi_char.h (added) * uspace/app/sbi/src/builtin/bi_fun.c (modified) * uspace/app/sbi/src/builtin/bi_int.c (added) * uspace/app/sbi/src/builtin/bi_int.h (added) * uspace/app/sbi/src/builtin/bi_string.c (modified) * uspace/app/sbi/src/imode.c (modified) * uspace/app/sbi/src/input.c (modified) * uspace/app/sbi/src/mytypes.h (modified) * uspace/app/sbi/src/os/helenos.c (modified) * uspace/app/sbi/src/os/os.h (modified) * uspace/app/sbi/src/os/posix.c (modified) * uspace/app/sbi/src/parse.c (modified) * uspace/app/sbi/src/program.c (modified) * uspace/app/sbi/src/rdata.c (modified) * uspace/app/sbi/src/rdata_t.h (modified) * uspace/app/sbi/src/run.c (modified) * uspace/app/sbi/src/run.h (modified) * uspace/app/sbi/src/run_expr.c (modified) * uspace/app/sbi/src/run_expr.h (modified) * uspace/app/sbi/src/run_t.h (modified) * uspace/app/sbi/src/run_texpr.c (modified) * uspace/app/sbi/src/stree.c (modified) * uspace/app/sbi/src/stree.h (modified) * uspace/app/sbi/src/stree_t.h (modified) * uspace/app/sbi/src/stype.c (modified) * uspace/app/sbi/src/stype.h (modified) * uspace/app/sbi/src/stype_expr.c (modified) * uspace/app/sbi/src/stype_t.h (modified) * uspace/app/sbi/src/symbol.c (modified) * uspace/app/sbi/src/symbol.h (modified) * uspace/app/sbi/src/tdata.c (modified) * uspace/app/sbi/src/tdata_t.h (modified) * uspace/dist/src/sysel/demos/arith.sy (modified) * uspace/dist/src/sysel/demos/array.sy (modified) * uspace/dist/src/sysel/demos/autobox.sy (modified) * uspace/dist/src/sysel/demos/count.sy (modified) * uspace/dist/src/sysel/demos/ctor.sy (modified) * uspace/dist/src/sysel/demos/deleg.sy (modified) * uspace/dist/src/sysel/demos/enum.sy (modified) * uspace/dist/src/sysel/demos/except.sy (modified) * uspace/dist/src/sysel/demos/gen.sy (modified) * uspace/dist/src/sysel/demos/hello.sy (modified) * uspace/dist/src/sysel/demos/hexec.sy (modified) * uspace/dist/src/sysel/demos/htxtfile.sy (modified) * uspace/dist/src/sysel/demos/iface.sy (added) * uspace/dist/src/sysel/demos/inherit.sy (modified) * uspace/dist/src/sysel/demos/list.sy (modified) * uspace/dist/src/sysel/demos/map.sy (modified) * uspace/dist/src/sysel/demos/property.sy (modified) * uspace/dist/src/sysel/demos/string.sy (modified) * uspace/dist/src/sysel/demos/svar.sy (added) * uspace/dist/src/sysel/demos/varargs.sy (modified) * uspace/dist/src/sysel/lib/arith.sy (modified) * uspace/dist/src/sysel/lib/boxed.sy (modified) * uspace/dist/src/sysel/lib/ienum.sy (added) * uspace/dist/src/sysel/lib/libflist (modified) * uspace/dist/src/sysel/lib/list.sy (modified) * uspace/dist/src/sysel/lib/map.sy (modified) Update SBI to rev. 291. Tue, 08 Jun 2010 21:26:22 GMT Jakub Jermar [8f80c77] * kernel/arch/mips32/src/mm/tlb.c (modified) * kernel/arch/ppc32/src/mm/tlb.c (modified) * kernel/genarch/src/mm/asid.c (modified) * kernel/genarch/src/mm/page_ht.c (modified) * kernel/genarch/src/mm/page_pt.c (modified) * kernel/generic/src/mm/as.c (modified) * kernel/generic/src/mm/backend_elf.c (modified) * kernel/generic/src/mm/page.c (modified) * kernel/generic/src/sysinfo/stats.c (modified) Lock/interrupt assertions in the code are self-documenting. No need ... Tue, 08 Jun 2010 21:08:44 GMT Jakub Jermar [2d3ddad] * kernel/generic/src/mm/slab.c (modified) * kernel/generic/src/proc/scheduler.c (modified) * kernel/generic/src/proc/thread.c (modified) Add more *_locked() assertions. Tue, 08 Jun 2010 20:12:00 GMT Jakub Jermar [c992538a] * kernel/generic/src/console/cmd.c (modified) Disable interrupts during callN kconsole commands. Wed, 02 Jun 2010 21:59:48 GMT Jakub Jermar [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 ... Wed, 02 Jun 2010 20:36:35 GMT Jiri Svoboda [f8d07859] * kernel/Makefile (modified) Revert accidental change of optimization level from changeset:head,510. Wed, 02 Jun 2010 20:35:44 GMT Jiri Svoboda [0ac99db] * kernel/generic/src/proc/thread.c (modified) Make uspace threads stoppable before they exit. This fixes ticket #244. Wed, 02 Jun 2010 18:47:38 GMT Jiri Svoboda [4acaa7c0] * kernel/Makefile (modified) * kernel/generic/src/ipc/kbox.c (modified) Fix incorrect irq spinlock bracketing in kbox_proc_phone_hungup(). Wed, 02 Jun 2010 06:59:17 GMT Jakub Jermar [179d052] * uspace/srv/vfs/vfs_ops.c (modified) Assert that file is not NULL in vfs_open(). Mon, 31 May 2010 22:33:44 GMT Jakub Jermar [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 [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 [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 [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 [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 [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:11:39 GMT Jakub Jermar [ada559c] * kernel/genarch/src/mm/as_ht.c (modified) * kernel/genarch/src/mm/as_pt.c (modified) * kernel/generic/include/mm/as.h (modified) * kernel/generic/include/mm/page.h (modified) * kernel/generic/src/mm/as.c (modified) Add page_table_locked() interface. Sun, 30 May 2010 21:00:18 GMT Jakub Jermar [c8e99bb] * kernel/arch/sparc64/include/barrier.h (modified) Foolproof version of flush_pipeline(). The %o7 version does not ... Wed, 26 May 2010 18:04:55 GMT Jakub Jermar [313b617] * kernel/generic/include/synch/spinlock.h (modified) * kernel/generic/src/synch/spinlock.c (modified) Remove spinlock_unlocked() and irq_spinlock_unlocked() interfaces ... Wed, 26 May 2010 15:53:56 GMT Martin Decky [3c664d6] * uspace/Makefile.common (modified) fix interpretting variable assignment as a shell command Wed, 26 May 2010 15:36:03 GMT Martin Decky [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+) Wed, 26 May 2010 15:00:24 GMT Martin Decky [938f227] * kernel/Makefile (modified) * uspace/Makefile.common (modified) add indentation Wed, 26 May 2010 14:59:49 GMT Martin Decky [e805e2f] * boot/Makefile.build (modified) * kernel/Makefile (modified) * uspace/Makefile.common (modified) use -Werror only in debug builds Tue, 25 May 2010 22:15:03 GMT Jakub Jermar [ffe4a87] * kernel/generic/include/synch/spinlock.h (modified) * kernel/generic/src/synch/spinlock.c (modified) Add interfaces for testing the status of plain spinlocks and the IRQ ... Tue, 25 May 2010 21:34:41 GMT Jakub Jermar [d7da4284] * kernel/generic/include/synch/mutex.h (modified) * kernel/generic/src/synch/mutex.c (modified) Add interface for testing the state of a mutex. Tue, 25 May 2010 21:33:52 GMT Jakub Jermar [5df7928] * kernel/generic/include/synch/semaphore.h (modified) * kernel/generic/src/synch/semaphore.c (modified) Add interface for determining the semaphore count. Tue, 25 May 2010 21:32:32 GMT Jakub Jermar [b7398c0] * kernel/generic/include/synch/waitq.h (modified) * kernel/generic/src/synch/waitq.c (modified) Add interfaces for getting and setting the waitq missed_wakeups. Tue, 25 May 2010 18:35:36 GMT Jakub Jermar [a9f1372] * kernel/generic/include/synch/spinlock.h (modified) * kernel/generic/src/synch/spinlock.c (modified) Move the irq_spinlock code to spinlock.c for better debuggability. Mon, 24 May 2010 19:26:57 GMT Jakub Jermar [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 [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 [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 [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 [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 [86a3f89b] * kernel/arch/mips32/src/mips32.c (modified) add missing include Sat, 22 May 2010 22:48:43 GMT Martin Decky [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 [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 [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:24:15 GMT Martin Decky [d354d57] * kernel/generic/include/bitops.h (modified) use fnzb32 or fnzb64 according to the platform Sat, 22 May 2010 22:20:37 GMT Martin Decky [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 [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 [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 [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 [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 [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 [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 10:19:02 GMT Jakub Jermar [eb239dc] * kernel/generic/include/arch.h (modified) Add a descriptive comment for THE.