TOSes

type TOSes = set of (

  osNone,

No specific operating system

  linux,

Linux operating system

  go32v2,

DOS 32-bit extender operating system

  win32,

Windows 32-bit operating system

  os2,

IBM OS/2 operating system

  freebsd,

FreeBSD operating system

  beos,

BeOS operating system

  netbsd,

NetBSD operating system

  amiga,

Amiga operating system

  atari,

Atari TOS operating system

  solaris,

Solaris operating system

  qnx,

QNX real-time operating system

  netware,

Novell NetWare operating system

  openbsd,

OpenBSD operating system

  wdosx,

WDOSX DOS extender

  palmos,

Palm OS operating system

  macosclassic,

Classic Mac OS operating system

  darwin,

macOS (Darwin) operating system

  emx,

EMX DOS/OS2 extender

  watcom,

Watcom DOS extender

  morphos,

MorphOS operating system

  netwlibc,

NetWare with LibC

  win64,

Windows 64-bit operating system

  wince,

Windows CE operating system

  gba,

Nintendo Game Boy Advance

  nds,

Nintendo DS handheld system

  embedded,

Generic embedded system

  symbian,

Symbian mobile operating system

  haiku,

Haiku operating system

  iphonesim,

iOS Simulator environment

  aix,

IBM AIX operating system

  java,

Java Virtual Machine platform

  android,

Android mobile operating system

  nativent,

Windows Native NT

  msdos,

MS-DOS operating system

  wii,

Nintendo Wii gaming console

  aros,

AROS Research Operating System

  dragonfly,

DragonFly BSD operating system

  win16,

Windows 16-bit operating system

  freertos,

FreeRTOS real-time operating system

  zxspectrum,

ZX Spectrum home computer

  msxdos,

MSX-DOS operating system

  ios,

Apple iOS mobile operating system

  amstradcpc,

Amstrad CPC home computer

  sinclairql,

Sinclair QL computer system

  wasip1,

WebAssembly System Interface preview 1

  human68k,

Human68k operating system

  ps1,

Sony PlayStation 1 gaming console

  wasip1threads,

WebAssembly System Interface preview 1 with threads

  wasip2

WebAssembly System Interface preview 2

);