On Mon, 2007-03-19 at 15:48 +0100, Christian Ehrhardt wrote:
Jimi Xenidis wrote:
...
There really very little Linux work to do here. We need:
1. An hcall that turn the performance monitor on for the domain
2. Save and restore the relevant registers for any domain that is has
it
On Mon, Mar 19, 2007 at 10:40:18AM +, Derek Murray wrote:
1. gntdev.patch: This is the main driver, and associated header file.
This patch doesn't work on ia64 and ppc because they doesn't support
GNTMAP_application_map which is x86 speicific. The flag doesn't make
sense for ia64 and ppc.
