Morten Delenk e818cdf660 x86_64 now loads		2016-06-18 13:16:15 +02:00
..
x86	x86_64 now loads	2016-06-18 13:16:15 +02:00
x86_64	x86_64 now loads	2016-06-18 13:16:15 +02:00
Makefile	Added dummy HAL and a cross compile build script	2016-01-28 19:50:04 +01:00