moved apic init() before the printf of the barrelfish to get the correct apic_id
authorReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 27 Nov 2014 12:27:18 +0000 (13:27 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 4 Dec 2014 13:28:12 +0000 (14:28 +0100)
commitd78a81eb75a8cf4fbf6e96c17217fb845f294b32
treee010f98c15882ec7be7bd495f2aa98733e6060a4
parent1aa3fddfff6bd17b92c4334a9536790aff826058
moved apic init() before the printf of the barrelfish to get the correct apic_id
kernel/arch/x86_64/init.c