# filename (aka boot-file-name) and server-name (aka server-hostname) filename "/var/boot/boot1"; server-name "foobar.biz"; # embedded class "foo" { filename "/var/boot/boot2"; server-name "none.biz"; }