Penny has a computer.
Its operating system is Red Hat.
It isn't ABCenix or ABC GNU/Linux
or Ab Initio or ab/os
or ACIX or Acorn MOS
or ACP or AD
or Adamantix or AdaOS
or ADIOS or Adler Linux
or ADMIRAL or Adrenaline
or AEGIS or AEON
or ÆrieBSD or AerolitheOS
or Agnix or AGNULA
or Aimos or AIOS
or AirOS or AIX
or AIX/ESA or AIX/PS2
or ADIOS or Adler Linux
or ADMIRAL or Adrenaline
or AEGIS or AEON
or ÆrieBSD or AerolitheOS
or Agnix or AGNULA
or Aimos or AIOS
or AirOS or AIX
or AIX/ESA or AIX/PS2
or Alcolix or Alinex
or aLinux or AliXe
or Allegro or AllianceOS
or AlliedWare or Alpha Kernel
or Alt Ctrl Delet or ALT Linux
or AltOSdev or Altos System V
or Amateur OS or AmigaDOS
or AmigaOS or Amiga Unix
or AMIGO/300 or Amoeba
or aLinux or AliXe
or Allegro or AllianceOS
or AlliedWare or Alpha Kernel
or Alt Ctrl Delet or ALT Linux
or AltOSdev or Altos System V
or Amateur OS or AmigaDOS
or AmigaOS or Amiga Unix
or AMIGO/300 or Amoeba
or AMX or andLinux
or ANDOS or Android
or Angel or Ankur
or Annvix or AnNyung
or Anonym.OS or Antarctica
or Antares OS or ANTEMIUM Linux
or AntiX or AO-DOS
or ANDOS or Android
or Angel or Ankur
or Annvix or AnNyung
or Anonym.OS or Antarctica
or Antares OS or ANTEMIUM Linux
or AntiX or AO-DOS
or Arabbix or Arabic Open Source
or archlinux or Ardence RTX
or Arjuna or Ark Linux
or ARMA or Armed Linux
or AROS or Arthur OS
or Artist X or ARTOS
or Arudius or ARX
or Asbestos or AsianLinux
or Asianux or AskoziaPBX
or ASLinux Desktop or ASork
or ASPLinux or Astaro Security
or AsteriskNOW or AsyncOS
or Atari DOS or Atari MultiTOS
or Atari TOS or Atari Unix
or Athene or AtheOS
or ARMA or Armed Linux
or AROS or Arthur OS
or Artist X or ARTOS
or Arudius or ARX
or Asbestos or AsianLinux
or Asianux or AskoziaPBX
or ASLinux Desktop or ASork
or ASPLinux or Astaro Security
or AsteriskNOW or AsyncOS
or Atari DOS or Atari MultiTOS
or Atari TOS or Atari Unix
or Athene or AtheOS
or A3000UX or Atlas I Supervisor
or Atomix or Atomthreads
or Aurora SPARC Linux or AUROS
or Aurox Linux or Austrumi Linux