ia64/xen-unstable

view config/OpenBSD.mk @ 14440:90d6fe6de04d

hvm vpic: Fix IRQ priority calculation in 8259 device model.
The priority shift should be a right-rotation, not a left-rotation.

From: Trolle Selander <trolle.selander@gmail.com>
Signed-off-by: Keir Fraser <keir@xensource.com>
author kfraser@localhost.localdomain
date Fri Mar 16 16:19:35 2007 +0000 (2007-03-16)
parents 3409c35a0b0e
children
line source
1 include $(XEN_ROOT)/config/StdGNU.mk