tree 8ae742ef999e56af0ab52a185d6431ff4f993b72
parent 369d1d9a68527fe2659f4a21dc4c0aa52533dbc3
author Richard Henderson <rth@twiddle.net> 1304705257 -0700
committer Richard Henderson <rth@twiddle.net> 1304705257 -0700

Add ps2 keyboard initialization.

Which also requires that we properly initialize the i8259 (ISA)
interrupt controller.