Re: [PATCH] bios: Makefile ACPI DSDT generation

2008-06-21 Thread Avi Kivity
Alex Williamson wrote: Hi Avi, This builds on your preprocessor work for cleaning up the DSDT and makes it trivially easy to change the CPU and PCI hotplug slot count. I'm thinking about splitting a few SSDTs out of the monolithic DSDT, and generating some of the code at compile time should mak

Re: [PATCH] bios: Makefile ACPI DSDT generation

2008-06-18 Thread Marcelo Tosatti
On Wed, Jun 18, 2008 at 09:29:22PM -0600, Alex Williamson wrote: > Hi Avi, > > This builds on your preprocessor work for cleaning up the DSDT and makes > it trivially easy to change the CPU and PCI hotplug slot count. I'm > thinking about splitting a few SSDTs out of the monolithic DSDT, and > ge

[PATCH] bios: Makefile ACPI DSDT generation

2008-06-18 Thread Alex Williamson
Hi Avi, This builds on your preprocessor work for cleaning up the DSDT and makes it trivially easy to change the CPU and PCI hotplug slot count. I'm thinking about splitting a few SSDTs out of the monolithic DSDT, and generating some of the code at compile time should make that easier. This gener