+ if (i == 0)
+ check_name(opt, "Fedora");
+ else
+ check_name(opt, "Fedora, "
+ "with Linux 3.6.10-4.fc18.ppc64p7");
+ }
+
+ /* hotplug a device with a maching UUID, and check that our
+ * resources become resolved */
+ dev = test_create_device(test, "external");
+ dev->uuid = "773653a7-660e-490e-9a74-d9fdfc9bbbf6";
+ test_hotplug_device(test, dev);
+
+ for (i = 0; i < 2; i++) {
+ opt = get_boot_option(ctx, i);
+
+ check_resolved_local_resource(opt->boot_image, dev,
+ "/vmlinuz-3.6.10-4.fc18.ppc64p7");
+ check_resolved_local_resource(opt->initrd, dev,
+ "/initramfs-3.6.10-4.fc18.ppc64p7.img");