ia64 specific parts of mini-os.
Minimal config:
# Kernel image file.
kernel = "mini-os.gz"
# Initial memory allocation (in megabytes) for the new domain.
memory = 64
# A name for your domain.
name = "Mini-OS"
Signed-off-by: Dietmar Hahn <dietmar.hahn@fujitsu-siemens.com>
