Hi there,
I was wondering if Basilisk provided a cFS wrapper and some documentation on how to use it. I found the paper "An End-To-End Flight Software Development Approach Using Micropython and The Basilisk Software Testbed" by Dr. Cols-Margenet.
Hence, is there a recommended integration method of BSK into a Core Flight System or even a wrapper you could point us to?
Thanks