-
SYSGO GmbH is a
German information technologies company that
supplies operating systems and
services for
embedded systems with high
safety and security-related...
-
Security certification standards according to:
Common Criteria SAR (?)
SYSGO is
committed to
establish the
technology and
business partnerships that...
-
Thales ****an
Thales Training &
Simulation Thales Alenia Space Thales Elektronic Systems GmbH
Edisoft SYSGO Vormetric Imperva Website thalesgroup.com...
- free
operating system.
ELinOS Linux distribution for
embedded systems by
SYSGO.
ELinOS focuses on
industrial application and
provides real-time extensions...
-
press release".
sysgo.com. 16
April 2024.
Brief ELinOS description "Immutable
Linux in a box".
Supported Hardware for
ELinOS "
SYSGO Supports RISC-V with...
- not yet common.
Operating systems formally verified include seL4, and
SYSGO's PikeOS – but
these make up a very
small percentage of the market. It is...
- This is a list of
operating systems.
Computer operating systems can be
categorized by technology, ownership, licensing,
working state, usage, and by many...
-
Green Hills Software's
Integrity operating system;[citation needed] and
SYSGO's PikeOS. In 2016, a team led by
Zhong Shao at Yale
developed a formally...
-
Cisco IOS
Cisco AireOS LynxOS PikeOS RTOS and
virtualization platform from
SYSGO ELinOS embedded Linux eCos
Broadcom BCM Tech
RTEMS BlueCat embedded Linux...
- Windows, Linux, OS X, FreeBSD,
NetBSD Mac OS X, Darwin,
Linux GPL
PikeOS SYSGO PowerPC, x86, ARM, MIPS, SPARC, RISC-V Same as host No host OS,
Linux or...
