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()
java.lang.String	partition()	The name of the partition within which to find the kernel.
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

partition

java.lang.String partition()

The name of the partition within which to find the kernel. This is typically openbsd1 if the defaults are picked in the OpenBSD installer.

Returns:

The name of the partition

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.