set_kernel


Description:

public void set_kernel (string? kernel)

Parameters:

this

a DomainOs

kernel

The kernel path