L4: sigma0 builds, but atomic functions not implemented