Thu, 09 Oct 2008 20:53:23 +0200 | wenzelm | added enabled; | file | diff | annotate |
Thu, 02 Oct 2008 14:22:45 +0200 | wenzelm | max_threads_value always 1 for dummy version; | file | diff | annotate |
Tue, 09 Sep 2008 23:48:36 +0200 | wenzelm | proper values of no_interrupts, regular_interrupts; | file | diff | annotate |
Mon, 08 Sep 2008 20:33:29 +0200 | wenzelm | removed unused sync_interrupts; | file | diff | annotate |
Sun, 07 Sep 2008 22:20:11 +0200 | wenzelm | added sync_interrupts, regular_interrupts; | file | diff | annotate |
Sun, 07 Sep 2008 17:46:40 +0200 | wenzelm | added no_interrupts; | file | diff | annotate |
Thu, 04 Sep 2008 16:03:46 +0200 | wenzelm | provide dummy thread structures, including proper Thread.getLocal/setLocal; | file | diff | annotate |