Module jos

connection to the operating system

Functions

get_operating_system_name

Returns the short name of the underlying operating system.

is_linux

Returns true if the operating system is Linux.

is_windows

Returns true if the operating system is Windows.