Dhan
If the secondary core is running Linux for compatibility, what distro do we want to use? There are many options, but one that fits our needs is necessary.
Important design question: system architecture of our powerful processor? If we're using ARM, it allows for more modern distros, but if we're stuck on x86 or PowerPC (or something older/more niche) it limits choices
ARM is probably better in terms of lower power usage, but may be harder to find something radiation hardened and spaceworthy
Also only need a CLI which makes things simpler and more complicated at the same time
https://www.nasa.gov/smallsat-institute/sst-soa-2020/flight-software
https://www.linux.com/news/6-excellent-lightweight-linuxes-x86-and-arm/
https://unix.stackexchange.com/questions/162947/command-line-only-unix-linux-os
Also heard gentoo is very configurable for being lightweight from someone in SE
Yocto Linux, Arch, Ubuntu, and Gentoo are what we should look further into, but we need to know CPU architecture in order to finalize