| Sat, 16 Feb 2008 16:43:57 +0100 | wenzelm | export deny_secure; | changeset | files |
| Sat, 16 Feb 2008 16:43:56 +0100 | wenzelm | setmp: uninterruptible; | changeset | files |
| Sat, 16 Feb 2008 16:43:54 +0100 | wenzelm | System shell processes, with static input/output and propagation of interrupts. | changeset | files |