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
..
app	Add support for allocating DMA memory	2012-06-20 09:17:48 +02:00
lib	Noux terminal file system	2012-06-20 10:20:35 +02:00
noux	Catch 'File_system::Lookup_failed' exception	2012-06-20 19:44:07 +02:00
noux-pkg	Noux: update GCC to version 4.6.1	2012-07-04 14:56:58 +02:00
test	GDB monitor target configuration test	2012-04-16 19:04:42 +02:00
vancouver	Use NOVA microkernel from github, add 64bit	2012-06-20 19:44:07 +02:00