FOLLOW US ON:
HEADQUARTER POSTAL ADDRESS:
OUR OFFICE IS LOCATED HERE:
Serving as a secure substitute for Embedded Linux, TRENTOS-G offers an open architecture (e.g. POSIX interfaces) for easy integration and use while at the same time benefitting from seL4 security principles. Customizations and the development of new solutions can be undertaken within the familiar Linux environment and the abundance of relevant platform drivers makes TRENTOS-G a versatile tool for hardening industrial systems.
Isolated components, application-specific TCBs
Accounting, trading and tracking of physical resources
Recursive system structure