get_os

Description:

public unowned Os get_os (string id)

Parameters:

this

the database
id

the unique operating system identifier

Returns:

the operating system, or NULL if none is found