とりあえず、

VMware Player on NixOS

の作業は、残り、

1. VMware の Kernel modules をビルド出来る用にする
2. ビルドした Kernel modules を適切に配置する
3. 実際に動作するか確認する

という所まで来ました。 まあ、色々と気合いで作業してきましたが、あともう数歩で作業を完遂出来そうです。はい。