Pinned Loading

1. AADLib AADLib Public

   Library of AADL models

   Shell 45 17

2. ocarina ocarina Public

   AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

   Ada 70 29

3. polyorb-hi-ada polyorb-hi-ada Public

   PolyORB-HI/Ada runtime for Ocarina

   Ada 9 4

4. ocarina-build ocarina-build Public

   Build script (and more) for Ocarina

   Shell 3 5

5. ocarina-docker ocarina-docker Public

   Dockerfiles to build ocarina

   Dockerfile 1

6. polyorb-hi-c polyorb-hi-c Public

   PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS

   C 13 48