Fedora CoreOS は元気にしているのだろうか。
あまり話題を見ない気がする。