There is one small difference, BMC64 uses Circle and circle-stdlib to produce a bare metal image and does not rely on a Linux distribution: https://github.com/smuehlst/circle-stdlib