Package com.io7m.waxmill.machines

Interface WXMBootConfigurationType.WXMGRUBKernelOpenBSDType

All Superinterfaces:

WXMBootConfigurationType.WXMGRUBKernelInstructionsType

All Known Implementing Classes:

WXMGRUBKernelOpenBSD

Enclosing interface:

WXMBootConfigurationType

@Immutable
public static interface WXMBootConfigurationType.WXMGRUBKernelOpenBSDType
extends WXMBootConfigurationType.WXMGRUBKernelInstructionsType

OpenBSD kernel instructions.

Nested Class Summary

Nested classes/interfaces inherited from interface com.io7m.waxmill.machines.WXMBootConfigurationType.WXMGRUBKernelInstructionsType

WXMBootConfigurationType.WXMGRUBKernelInstructionsType.Kind

Method Summary

Modifier and Type	Method	Description
WXMDeviceSlot	bootDevice()
default void	checkPreconditions()	Check preconditions for the type.
java.nio.file.Path	kernelPath()
default WXMBootConfigurationType.WXMGRUBKernelInstructionsType.Kind	kind()
default java.util.Set<WXMDeviceSlot>	requiredDevices()

Method Details

kind

default WXMBootConfigurationType.WXMGRUBKernelInstructionsType.Kind kind()

Specified by:

kind in interface WXMBootConfigurationType.WXMGRUBKernelInstructionsType

Returns:

The kind of underlying kernel

bootDevice

WXMDeviceSlot bootDevice()

Returns:

The device from which booting will occur

kernelPath

java.nio.file.Path kernelPath()

Returns:

The path to the kernel on the guest filesystem

requiredDevices

default java.util.Set<WXMDeviceSlot> requiredDevices()

Specified by:

requiredDevices in interface WXMBootConfigurationType.WXMGRUBKernelInstructionsType

Returns:

The slots required to have assigned storage

checkPreconditions

@Check default void checkPreconditions()

Check preconditions for the type.