handle RISC-V keyboard interrupts properly
authorAndrew Waterman <waterman@cs.berkeley.edu>
Sat, 23 Mar 2013 23:39:25 +0000 (16:39 -0700)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Sat, 23 Mar 2013 23:39:25 +0000 (16:39 -0700)
commit5e9c4aa297b9d8deefeb24e3e999feed9849af42
tree15543b1720b39834ae1add8a6f43e0035f17613f
parentd7582517bb0535c049f09142659ed359617bb904
handle RISC-V keyboard interrupts properly

Rather than piggybacking on the IPI handler, that is.
kern/arch/riscv/console.c
kern/arch/riscv/console.h
kern/arch/riscv/pcr.h
kern/arch/riscv/trap.c