ksb 1658d6b42c Older ELF-loader code, may not work any longer		2009-07-11 14:18:50 +00:00
..
at91sam7s	Older ELF-loader code, may not work any longer	2009-07-11 14:18:50 +00:00