Also checkout DragonflyBSD. They, at least at one time, where gunning for the HPC use case.I don't keep up with it enough to know the current state today, to know if they are still hard charging in that direction since they forked from FreeBSD years and years ago.