Christian Prochaska 55815e4a3a Noux: add support for executing shell scripts ...

With this patch Noux recognizes the '#!' character sequence in executable
files and executes the specified interpreter.

Fixes #255.

2012-07-26 11:22:04 +02:00

..

arora.run

Add a run script for Arora

2012-05-21 10:06:08 +02:00

debug_nitpicker.run

Config option for GDB monitor RAM preservation

2012-04-23 15:32:22 +02:00

gdb_monitor_interactive.run

Config option for GDB monitor RAM preservation

2012-04-23 15:32:22 +02:00

gdb_monitor_target_config.run

Config option for GDB monitor RAM preservation

2012-04-23 15:32:22 +02:00

gdb_monitor.run

Config option for GDB monitor RAM preservation

2012-04-23 15:32:22 +02:00

noux_bash.run

Enable Noux for ARM

2012-06-20 10:17:23 +02:00

noux_fork.run

Enable Noux for ARM

2012-06-20 10:17:23 +02:00

noux_gdb.run

GDB for Noux

2012-07-19 15:42:25 +02:00

noux_net_netcat.run

Enable Noux for ARM

2012-06-20 10:17:23 +02:00

noux_shell_script.run

Noux: add support for executing shell scripts

2012-07-26 11:22:04 +02:00

noux_terminal_fs.run

Noux terminal file system

2012-06-20 10:20:35 +02:00

noux_tool_chain.run

Noux: update GCC to version 4.6.1

2012-07-04 14:56:58 +02:00

noux_vim.run

Enable Noux for ARM

2012-06-20 10:17:23 +02:00

noux.run

Enable Noux for ARM

2012-06-20 10:17:23 +02:00

vancouver.run

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00