Hi Parth,
On 17/05/2015 16:04, Parth Dixit wrote:
+#ifdef CONFIG_ACPI
+static char __initdata acpi_param[10] = "";
+static void __init parse_acpi_param(char *s)
+{
+/* Save the parameter so it can be propagated to domain0. */
+safe_strcpy(acpi_param, s);
This acpi_param is never used w
Hi Parth,
On 17/05/2015 21:04, Parth Dixit wrote:
ACPI will be disabled by default. Define new
command line parameter "acpi" for enabling it.
I don't think this is right. We have to be able to boot platform where
there is only ACPI provided without adding a command line option.
Overall, it
ACPI will be disabled by default. Define new
command line parameter "acpi" for enabling it.
Signed-off-by: Parth Dixit
---
xen/arch/arm/setup.c | 26 ++
1 file changed, 26 insertions(+)
diff --git a/xen/arch/arm/setup.c b/xen/arch/arm/setup.c
index 1b2d74c..80364bb 10064
