Thanks. I'll certainly check that out.
Funny story. While trying to figure out what happened I noticed that the output of ldm list produced the factory default of 128 VCPUs and 129280M memory, rather than the values I used when following the instructions here (Configuring the Control Domain). As I had pasted what I had done in a personal wiki I checked what I did and noticed this:

Code:

sog01(31)$ sudo ldm add-config initial
Error: Operation failed because a configuration
named "initial" already exists on the system controller.
Before being able to save a new configuration with
this name the existing one must be removed
sog01(32)$ ldm list-config
factory-default
initial [next poweron]

I missed that error at the time. So yesterday I followed the instructions again, this time changing the add-config command to

Code:

sudo ldm add-config main

and then checked that the configuration stuck by shutting down and literally pulling the plug out of the wall. Now:

Code:

sog01(13)$ ldm list-config
factory-default
initial
main [current]

Okay, I'll give that a try.

Andrew