Won't these conflict with `core.sys.posix.config`? Shouldn't we import that here instead?