docs: coreboot -> image

README.md

@@ -24,9 +24,9 @@ Because ownerboot is written in [nix](https://nixos.org/manual/nix/unstable/), i
 Copypasta:
 
 ```
-nix-build --option trusted-public-keys "" src -A kgpe.coreboot    # kgpe-d16 AMD opteron
-nix-build --option trusted-public-keys "" src -A am1i.coreboot    # am1-i AMD kabini
-nix-build --option trusted-public-keys "" src -A kevin.coreboot   # Samsung chromebook rk3399 arm64
+nix-build --option trusted-public-keys "" src -A kgpe.image    # kgpe-d16 AMD opteron
+nix-build --option trusted-public-keys "" src -A am1i.image    # am1-i AMD kabini
+nix-build --option trusted-public-keys "" src -A kevin.image   # Samsung chromebook rk3399 arm64
 ```
 
 Details: [doc/build.md](doc/build.md).

doc/build.md

@@ -9,9 +9,9 @@ To build ownerboot, execute one of the following three lines,
 depending on which platform you want to build for:
 
 ```
-nix-build --option trusted-public-keys "" src -A kgpe.coreboot    # kgpe-d16 AMD opteron
-nix-build --option trusted-public-keys "" src -A am1i.coreboot    # am1-i AMD kabini
-nix-build --option trusted-public-keys "" src -A kevin.coreboot   # Samsung chromebook rk3399 arm64
+nix-build --option trusted-public-keys "" src -A kgpe.image    # kgpe-d16 AMD opteron
+nix-build --option trusted-public-keys "" src -A am1i.image    # am1-i AMD kabini
+nix-build --option trusted-public-keys "" src -A kevin.image   # Samsung chromebook rk3399 arm64
 ```
 
 The `--option trusted-public-keys ""` tells nix not to trust binaries