x86: console polling ktasks
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 1 Apr 2014 17:57:05 +0000 (10:57 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 1 Apr 2014 17:57:05 +0000 (10:57 -0700)
commite3e24214f8e7588518a0a3d97433ed91a13cee51
tree7a216ad7d9fbb8d073927741450219779c3e741c
parent972ee96fda1b4b59abbb689a8de4d6682d21e431
x86: console polling ktasks

For the AMD boards from which we can't get IRQs.  Turn on via Kconfig.
kern/arch/x86/Kconfig
kern/arch/x86/init.c