get_kernel_name

Description:

public unowned string get_kernel_name ()

Get the name of the current kernel, e.

g. "Linux"

Parameters:

this

a SystemInfo instance.

Returns:

the current OS kernel name