genode/ports/run
Christian Prochaska e39200d8c6 Noux: update GCC to version 4.6.1
This patch updates GCC to version 4.6.1 and enables tool chain support for
x86_64 and ARM.

Fixes #266.
2012-07-04 14:56:58 +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_net_netcat.run Enable Noux for ARM 2012-06-20 10:17:23 +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