cubesatlab / cubedos

A flight software framework in SPARK/Ada
48 stars 5 forks source link

The CubedOS documentation lacks information about the multi-domain architecture #8

Open pchapin opened 6 years ago

pchapin commented 6 years ago

The CubedOS documentation is now out of date since it doesn't discuss the multi-domain architecture at all.