Stefan Lankes 654e91b0a2 add LAPIC support of the 64bit kernel		2012-06-10 21:38:01 +02:00
..
x86	add LAPIC support of the 64bit kernel	2012-06-10 21:38:01 +02:00