os_kernel

os_kernel is the host operating system kernel. Its value is "Windows", "Linux", or "Darwin".

Example

load("@os@1", "os_kernel")

if os_kernel == "Windows":
    print("Running on Windows")