gokrazy is not bare metal as it bundles a Linux kernel, so it's basically a mini-Linux distro and therefore quite different.