Is fedora coreos the right one? It mainly reads as if it was for clusters of servers or something like that.