Palacios Public Git Repository
To checkout Palacios execute
git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the
devel branch or one of the release branches. To switch to the devel
branch, simply execute
cd palacios
git checkout --track -b devel origin/devel
The other branches are similar.
summary |
shortlog |
log |
commit | commitdiff |
tree
raw (from parent 1:
cad2a42)
Jack Lange [Tue, 17 Mar 2009 20:00:15 +0000 (15:00 -0500)]
// Action Registers
+ case EOI_OFFSET:
+ // do eoi
+ apic_do_eoi(apic);
+ break;
+
case INT_CMD_LO_OFFSET:
case INT_CMD_HI_OFFSET:
- case EOI_OFFSET:
- {
- // do eoi
- apic_do_eoi(apic);
- break;
- }
// Unhandled Registers
case EXT_INT_LOC_VEC_TBL_OFFSET0:
case EXT_INT_LOC_VEC_TBL_OFFSET1: