interrupts on AMD hardware

[Christian Helmuth]

Ben,

On Thu, Apr 12, 2018 at 02:14:04AM -0600, Nobody III wrote:
> What exactly are you referring to, and how do I do it?

Unfortunately, you need to dig through the code, but if you dare it
may be really rewarding. I'm neither the author of the Genode
acpica-library port nor an expert in ACPICA at a whole, but find and
grep yielded me some hints where to look at.

So, navigate to repos/libports/src/lib/acpica and try to find some
appropriate backend functions to instrument. This may not suffice, so
you should also navigate to contrib/acpica-<hash>/src/lib/acpica and
instrument source/components/executer/exregion.c
(AcpiExSystemMemorySpaceHandler). To be honest, from this point it's
up to you to invest more effort to get your platform running.

Good luck
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth