It would be interesting to learn more about the hardware and CPU platforms used - e.g. radiation hardened SPARC (Gaisler Leon-based?) or PowerPC systems - and if the source code for the satellite platforms' NetBSD port is available.<p>While there's a lot of information about the described satellites online, I was unable to find details on these details.
How active is NetBSD theses days? It seems like pkgsrc is running really well, but the impression I get from the base operating system is that it's very few people working continuously, with major work being contributed by various people and projects in bursts. So yes there's all these features, but are they being maintained... Maybe they don't need to?<p>I should try NetBSD again sometime, it's a fascinating project.