{'fraction_non_alphanumeric': 0.025974025974025976, 'fraction_numerical': 0.010822510822510822, 'mean_word_length': 5.012987012987013, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
The design and implementation of the open Ravenscar kernel

This paper describes the design and implementation of Open Ravenscar Kernel (ORK), an open-source real-time kernel of reduced size and complexity, for which users can seek certification for mission-critical space applications. The kernel supports Ada 95 tasking on an ERC32 (SPARC v7) architecture in an efficient and compact way. It is closely integrated with the GNAT runtime library and other tools.