get_os_list

Description:

public OsList get_os_list ()

Parameters:

this

the database

Returns:

the list of operating systems