¶

##########################################################
#                     Information                        #
# Due to a change in the delivery format of TRENTOS some # 
# shown paths have changed.                              #
# Unfortunaltely not all documentation is yet updated.   #
# Please feel free to open an issue if problems arise.   #
##########################################################

Overview¶

TRENTOS is an operating system based on the seL4 microkernel and the CAmkES (Component Architecture for microkernel-based Embedded Systems) framework. Developing TRENTOS applications and systems requires a certain understanding of both, so the following sections provide some pointers to background information.

Introduction