diff --git a/.changeset/clear-falcons-wonder.md b/.changeset/clear-falcons-wonder.md
new file mode 100644
index 00000000..6538ce2a
--- /dev/null
+++ b/.changeset/clear-falcons-wonder.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/cli": patch
+---
+
+Fix the cartesi-machine version check ignoring its `forceDocker` option, which made it report the version of the host binary instead of the one inside the SDK image.
diff --git a/.changeset/every-banks-sleep.md b/.changeset/every-banks-sleep.md
new file mode 100644
index 00000000..90d11beb
--- /dev/null
+++ b/.changeset/every-banks-sleep.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/sdk": patch
+---
+
+Bump cartesi-base-image debian:trixie to latest version.
diff --git a/.changeset/free-facts-stare.md b/.changeset/free-facts-stare.md
new file mode 100644
index 00000000..fd37ed00
--- /dev/null
+++ b/.changeset/free-facts-stare.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/cli": patch
+---
+
+`build` and `shell` now check the cartesi-machine version before booting and stop with an explicit message when it is unsupported, instead of surfacing the emulator's `unrecognized option` traceback.
diff --git a/.changeset/fresh-pumas-clap.md b/.changeset/fresh-pumas-clap.md
new file mode 100644
index 00000000..fc3707ef
--- /dev/null
+++ b/.changeset/fresh-pumas-clap.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/sdk": patch
+---
+
+Bump anvil and foundry to 1.5.1, and the cartesi-rollups-prt release providing the anvil state to 3.0.0-alpha.5.
diff --git a/.changeset/lucky-pandas-wave.md b/.changeset/lucky-pandas-wave.md
new file mode 100644
index 00000000..1afe2c06
--- /dev/null
+++ b/.changeset/lucky-pandas-wave.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/sdk": patch
+---
+
+Bump cartesi-rollups-node to 2.0.0-alpha.13, which requires machine-emulator 0.21.0.
diff --git a/.changeset/small-carrots-rush.md b/.changeset/small-carrots-rush.md
new file mode 100644
index 00000000..b8664dfc
--- /dev/null
+++ b/.changeset/small-carrots-rush.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/sdk": patch
+---
+
+Bump image-kernel to 0.21.0, linux-kernel to 6.5.13-ctsi-2-v0.21.0 and machine-emulator to 0.21.0. Add machine-emulator dependency lua-lpeg
diff --git a/.changeset/tidy-owls-shave.md b/.changeset/tidy-owls-shave.md
new file mode 100644
index 00000000..134ccdad
--- /dev/null
+++ b/.changeset/tidy-owls-shave.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/sdk": patch
+---
+
+Drop the @cartesi/devnet dependency from the image. The anvil state dump is now downloaded directly from the cartesi/dave release selected by CARTESI_PRT_VERSION, so the image no longer ships /usr/share/cartesi/deployments nor DEVNET_VERSION. A PRT_VERSION file is written instead.
diff --git a/.changeset/tired-lights-worry.md b/.changeset/tired-lights-worry.md
new file mode 100644
index 00000000..b89a36e6
--- /dev/null
+++ b/.changeset/tired-lights-worry.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/cli": patch
+---
+
+Add support for `nvrams` in `cartesi.toml`. An nvram is a raw range of bytes the guest reaches through a `/dev/uio*` device, with no filesystem and no mount point, so writes are visible to the emulator without a page cache in between. Declare one with `[nvrams.<label>]` and either `size`, for a range filled with zeros, or `filename`, pointing at an existing raw image whose size defines the range. Add `shared` so guest writes are persisted to the image, and `user` so the unprivileged entrypoint user can write to it. Up to 8 nvrams are supported, their labels cannot collide with drive labels, and sizes must be a multiple of 4Ki.
diff --git a/.changeset/violet-flies-rest.md b/.changeset/violet-flies-rest.md
new file mode 100644
index 00000000..e425731e
--- /dev/null
+++ b/.changeset/violet-flies-rest.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/cli": patch
+---
+
+Require cartesi-machine 0.21.0. The `nvrams` configuration depends on its `--nvram` option, so the default SDK image has to be bumped to one shipping 0.21.0, and a host install of previous version will no longer work.
diff --git a/.changeset/wild-camels-sink.md b/.changeset/wild-camels-sink.md
new file mode 100644
index 00000000..879ff10c
--- /dev/null
+++ b/.changeset/wild-camels-sink.md
@@ -0,0 +1,5 @@
+---
+"@cartesi/cli": patch
+---
+
+`doctor` now reports the cartesi-machine version and fails when it does not satisfy the version required by the CLI.
diff --git a/.github/workflows/cli.yaml b/.github/workflows/cli.yaml
index 1898d4f2..15074123 100644
--- a/.github/workflows/cli.yaml
+++ b/.github/workflows/cli.yaml
@@ -4,6 +4,7 @@ on:
         paths:
             - ".github/workflows/cli.yaml"
             - "apps/cli/**"
+            - "packages/sdk/**"
             - "packages/tsconfig/**"
 concurrency:
     group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
@@ -18,6 +19,9 @@ jobs:
         env:
             TURBO_TOKEN: ${{ secrets.TURBO_TOKEN }}
             TURBO_TEAM: ${{ vars.TURBO_TEAM }}
+            # TEMPORARY: run the integration tests against the SDK image sdk.yaml
+            # builds for this PR, instead of the released cartesi/sdk version.
+            CARTESI_TEST_SDK: ghcr.io/cartesi/sdk:pr-${{ github.event.number }}
         steps:
             - name: Checkout
               uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
@@ -41,6 +45,14 @@ jobs:
             - name: Build
               run: bun run build --filter @cartesi/cli
 
+            # TEMPORARY: needed to pull the PR-tagged SDK image referenced by CARTESI_TEST_SDK.
+            - name: Login to GitHub Container Registry
+              uses: docker/login-action@dbcb813823bdd20940b903addbd779551569679f # v4.6.0
+              with:
+                  registry: ghcr.io
+                  username: ${{ github.actor }}
+                  password: ${{ secrets.GITHUB_TOKEN }}
+
             - name: Test
               run: bun test apps/cli/
 
diff --git a/apps/cli/src/builder/index.ts b/apps/cli/src/builder/index.ts
index cf1a5225..4b01710b 100644
--- a/apps/cli/src/builder/index.ts
+++ b/apps/cli/src/builder/index.ts
@@ -2,4 +2,5 @@ export { build as buildDirectory } from "./directory.js";
 export { build as buildDocker } from "./docker.js";
 export { build as buildEmpty } from "./empty.js";
 export { build as buildNone } from "./none.js";
+export { build as buildNvram } from "./nvram.js";
 export { build as buildTar } from "./tar.js";
diff --git a/apps/cli/src/builder/nvram.ts b/apps/cli/src/builder/nvram.ts
new file mode 100644
index 00000000..5ef5e8b7
--- /dev/null
+++ b/apps/cli/src/builder/nvram.ts
@@ -0,0 +1,47 @@
+import fs from "fs-extra";
+import path from "node:path";
+import {
+    MissingNvramSourceError,
+    NVRAM_ALIGNMENT,
+    type NvramConfig,
+    nvramHasImage,
+    nvramImageFilename,
+} from "../config.js";
+
+export const build = async (
+    label: string,
+    nvram: NvramConfig,
+    destination: string,
+): Promise<void> => {
+    // a pristine nvram needs no image, cartesi-machine fills its range with zeros
+    if (!nvramHasImage(nvram)) {
+        return;
+    }
+
+    const target = path.join(destination, nvramImageFilename(label));
+    const source = nvram.filename;
+
+    if (source === undefined) {
+        // shared with no image of its own, start it filled with zeros
+        if (nvram.size === undefined) {
+            throw new MissingNvramSourceError(label);
+        }
+        await fs.writeFile(target, Buffer.alloc(nvram.size));
+        return;
+    }
+
+    const { size } = await fs.stat(source);
+    if (nvram.size !== undefined && nvram.size !== size) {
+        throw new Error(
+            `Size ${nvram.size} of nvram '${label}' does not match the ${size} bytes of ${source}`,
+        );
+    }
+    if (size % NVRAM_ALIGNMENT !== 0) {
+        throw new Error(
+            `Image ${source} of nvram '${label}' has ${size} bytes, which is not a multiple of ${NVRAM_ALIGNMENT}`,
+        );
+    }
+
+    // copy it into the destination, so it is reachable when running inside the sdk image
+    await fs.copyFile(source, target);
+};
diff --git a/apps/cli/src/commands/build.ts b/apps/cli/src/commands/build.ts
index fa6cdde9..e805da9d 100755
--- a/apps/cli/src/commands/build.ts
+++ b/apps/cli/src/commands/build.ts
@@ -10,9 +10,10 @@ import {
     buildDocker,
     buildEmpty,
     buildNone,
+    buildNvram,
     buildTar,
 } from "../builder/index.js";
-import type { Config, DriveConfig, ImageInfo } from "../config.js";
+import type { Config, DriveConfig, ImageInfo, NvramConfig } from "../config.js";
 import { bootMachine } from "../machine.js";
 
 // context for Listr build tasks
@@ -79,6 +80,17 @@ const buildDriveTask = (
     },
 });
 
+const buildNvramTask = (
+    label: string,
+    nvram: NvramConfig,
+): ListrTask<BuildContext> => ({
+    title: `Building nvram ${chalk.cyan(label)}`,
+    task: async (ctx, task) => {
+        await buildNvram(label, nvram, ctx.destination);
+        task.title = `Build nvram ${chalk.cyan(label)}`;
+    },
+});
+
 export const createBuildCommand = () => {
     return new Command("build")
         .description(
@@ -129,23 +141,45 @@ export const createBuildCommand = () => {
                 ([name, drive]) => buildDriveTask(name, drive),
             );
 
-            const builds = new Listr(
-                [
-                    {
-                        title: "Build drives",
-                        task: async (_ctx, task) => {
-                            return task.newListr(driveTasks, {
-                                concurrent: true,
-                                rendererOptions: {
-                                    collapseSubtasks: false,
-                                },
-                                ctx,
-                            });
-                        },
-                    },
-                ],
-                { ctx, renderer: verbose ? "verbose" : "default" },
+            // tasks to build the images backing nvrams, pristine ones need none
+            const nvramTasks = Object.entries(config.nvrams).map(
+                ([label, nvram]) => buildNvramTask(label, nvram),
             );
+
+            const groups: ListrTask<BuildContext>[] = [
+                {
+                    title: "Build drives",
+                    task: async (_ctx, task) => {
+                        return task.newListr(driveTasks, {
+                            concurrent: true,
+                            rendererOptions: {
+                                collapseSubtasks: false,
+                            },
+                            ctx,
+                        });
+                    },
+                },
+            ];
+
+            if (nvramTasks.length > 0) {
+                groups.push({
+                    title: "Build nvrams",
+                    task: async (_ctx, task) => {
+                        return task.newListr(nvramTasks, {
+                            concurrent: true,
+                            rendererOptions: {
+                                collapseSubtasks: false,
+                            },
+                            ctx,
+                        });
+                    },
+                });
+            }
+
+            const builds = new Listr(groups, {
+                ctx,
+                renderer: verbose ? "verbose" : "default",
+            });
             const result = await builds.run();
 
             // if only build drives, quit here
diff --git a/apps/cli/src/commands/doctor.ts b/apps/cli/src/commands/doctor.ts
index bb3bb951..c54c1d72 100755
--- a/apps/cli/src/commands/doctor.ts
+++ b/apps/cli/src/commands/doctor.ts
@@ -3,6 +3,8 @@ import chalk from "chalk";
 import { execa } from "execa";
 import ora, { type Ora } from "ora";
 import semver from "semver";
+import { DEFAULT_SDK_IMAGE, DEFAULT_SDK_VERSION } from "../config.js";
+import { cartesiMachine } from "../exec/index.js";
 
 const MINIMUM_DOCKER_VERSION = "25.0.0"; // Replace with our minimum required Docker version
 const MINIMUM_DOCKER_COMPOSE_VERSION = "2.24.0"; // Replace with our minimum required Docker Compose version
@@ -119,6 +121,30 @@ const checkBuildx = async (progress: Ora): Promise<true | never> => {
     return true;
 };
 
+const checkCartesiMachine = async (progress: Ora): Promise<true | never> => {
+    progress.start("Checking Cartesi Machine version...");
+
+    // doctor does not read cartesi.toml, so check against the default sdk image. the host binary
+    // still takes precedence, which is the install most likely to be out of date
+    const v = await cartesiMachine.version({
+        image: `${DEFAULT_SDK_IMAGE}:${DEFAULT_SDK_VERSION}`,
+    });
+
+    if (v === null) {
+        throw new Error(
+            "Could not determine the Cartesi Machine version. Check that Docker is running.",
+        );
+    }
+    if (!semver.satisfies(v.format(), cartesiMachine.requiredVersion)) {
+        throw new Error(
+            `Unsupported Cartesi Machine version. Required version is ${cartesiMachine.requiredVersion.raw}. Installed version is ${v.format()}.`,
+        );
+    }
+    progress.succeed(`Cartesi Machine ${chalk.cyan(v.format())}`);
+
+    return true;
+};
+
 export const createDoctorCommand = () => {
     return new Command("doctor").action(async () => {
         const progress = ora();
@@ -126,6 +152,7 @@ export const createDoctorCommand = () => {
             await checkDocker(progress);
             await checkCompose(progress);
             await checkBuildx(progress);
+            await checkCartesiMachine(progress);
             progress.succeed("Your system is ready.");
         } catch (e: unknown) {
             progress.fail((e as Error).message);
diff --git a/apps/cli/src/commands/shell.ts b/apps/cli/src/commands/shell.ts
index 9ffaa8c8..fb071a86 100755
--- a/apps/cli/src/commands/shell.ts
+++ b/apps/cli/src/commands/shell.ts
@@ -3,6 +3,7 @@ import { ExecaError } from "execa";
 import fs from "fs-extra";
 import path from "node:path";
 import { getApplicationConfig, getContextPath } from "../base.js";
+import { nvramHasImage, nvramImageFilename } from "../config.js";
 import { bootMachine } from "../machine.js";
 
 export const createShellCommand = () => {
@@ -33,6 +34,17 @@ export const createShellCommand = () => {
                 }
             }
 
+            // check if all nvrams backed by an image are built, pristine ones have none
+            for (const [label, nvram] of Object.entries(config.nvrams)) {
+                if (!nvramHasImage(nvram)) {
+                    continue;
+                }
+                const pathname = getContextPath(nvramImageFilename(label));
+                if (!fs.existsSync(pathname)) {
+                    throw new Error(`nvram '${label}' not built, run 'build'`);
+                }
+            }
+
             // create shell entrypoint
             config.machine.entrypoint = command;
 
diff --git a/apps/cli/src/config.ts b/apps/cli/src/config.ts
index 7096f8ff..c78506db 100644
--- a/apps/cli/src/config.ts
+++ b/apps/cli/src/config.ts
@@ -3,6 +3,9 @@ import { extname } from "node:path";
 import { parse as parseToml, type TomlPrimitive } from "smol-toml";
 import { getAddress, isAddress, isHex, type Address } from "viem";
 
+export const NVRAM_ALIGNMENT = 4096; // cartesi-machine requires length % 4Ki == 0
+const MAX_NVRAMS = 8; // guest exposes nvrams as /dev/uio0 to /dev/uio7
+
 /**
  * Typed Errors
  */
@@ -85,6 +88,36 @@ export class InvalidEnvError extends Error {
     }
 }
 
+export class MissingNvramSourceError extends Error {
+    constructor(label: string) {
+        super(`Nvram '${label}' must define either 'size' or 'filename'`);
+        this.name = "MissingNvramSourceError";
+    }
+}
+
+export class InvalidNvramSizeError extends Error {
+    constructor(label: string, size: number) {
+        super(
+            `Invalid size ${size} for nvram '${label}': must be a positive multiple of ${NVRAM_ALIGNMENT}`,
+        );
+        this.name = "InvalidNvramSizeError";
+    }
+}
+
+export class TooManyNvramsError extends Error {
+    constructor(count: number) {
+        super(`Too many nvrams: ${count}, maximum is ${MAX_NVRAMS}`);
+        this.name = "TooManyNvramsError";
+    }
+}
+
+export class DuplicateLabelError extends Error {
+    constructor(label: string) {
+        super(`Label '${label}' is used by both a drive and an nvram`);
+        this.name = "DuplicateLabelError";
+    }
+}
+
 /**
  * Configuration for drives of a Cartesi Machine. A drive may already exist or be built by a builder
  */
@@ -156,6 +189,18 @@ export type DriveConfig = (
     user?: string; // default given by cartesi-machine
 };
 
+/**
+ * Configuration for an NVRAM of a Cartesi Machine. Unlike a flash drive, an nvram is a raw
+ * range of bytes exposed to the guest as a /dev/uio* device, with no filesystem and no mount
+ * point. Either `size` or `filename` must be defined.
+ */
+export type NvramConfig = {
+    filename?: string; // path to an existing raw image with the initial contents
+    size?: number; // in bytes, a positive multiple of 4Ki
+    shared?: boolean; // default given by cartesi-machine
+    user?: string; // default given by cartesi-machine
+};
+
 export type MachineConfig = {
     assertRollingTemplate?: boolean; // default given by cartesi-machine
     bootargs: string[];
@@ -186,6 +231,7 @@ export type WithdrawalConfig = {
 export type Config = {
     drives: Record<string, DriveConfig>;
     machine: MachineConfig;
+    nvrams: Record<string, NvramConfig>;
     sdk: string;
     withdrawalConfig?: WithdrawalConfig;
 };
@@ -218,6 +264,7 @@ export const defaultMachineConfig = (): MachineConfig => ({
 export const defaultConfig = (): Config => ({
     drives: { root: defaultRootDriveConfig() },
     machine: defaultMachineConfig(),
+    nvrams: {},
     sdk: `${DEFAULT_SDK_IMAGE}:${DEFAULT_SDK_VERSION}`,
     withdrawalConfig: undefined,
 });
@@ -394,6 +441,97 @@ const parseBytes = (value: TomlPrimitive, defaultValue: number): number => {
     throw new InvalidBytesValueError(value);
 };
 
+const IEC_MULTIPLIERS: Record<string, number> = {
+    "": 1,
+    b: 1,
+    k: 1024,
+    ki: 1024,
+    kb: 1024,
+    kib: 1024,
+    m: 1024 ** 2,
+    mi: 1024 ** 2,
+    mb: 1024 ** 2,
+    mib: 1024 ** 2,
+    g: 1024 ** 3,
+    gi: 1024 ** 3,
+    gb: 1024 ** 3,
+    gib: 1024 ** 3,
+};
+
+/**
+ * Parses a byte size, accepting both the IEC suffixes used by cartesi-machine ("4Ki", "1MiB")
+ * and the ones understood by the `bytes` package ("4kb", "100Mb"). Not to be confused with
+ * `parseBytes`, which delegates to `bytes.parse` and reads "4Ki" as 4 bytes.
+ */
+const parseNvramSize = (value: TomlPrimitive): number | undefined => {
+    if (value === undefined) {
+        return undefined;
+    }
+    if (typeof value === "bigint") {
+        return Number(value);
+    }
+    if (typeof value === "number") {
+        return value;
+    }
+    if (typeof value === "string") {
+        const match = /^\s*(\d+(?:\.\d+)?)\s*([a-z]*)\s*$/i.exec(value);
+        const multiplier = match
+            ? IEC_MULTIPLIERS[match[2].toLowerCase()]
+            : undefined;
+        if (match && multiplier !== undefined) {
+            return Number(match[1]) * multiplier;
+        }
+    }
+    throw new InvalidBytesValueError(value);
+};
+
+const parseNvram = (label: string, value: TomlPrimitive): NvramConfig => {
+    const toml = isTomlTable(value) ? value : {};
+    const size = parseNvramSize(toml.size);
+    const filename = parseOptionalString(toml.filename);
+
+    if (size === undefined && filename === undefined) {
+        throw new MissingNvramSourceError(label);
+    }
+    if (size !== undefined && (size <= 0 || size % NVRAM_ALIGNMENT !== 0)) {
+        throw new InvalidNvramSizeError(label, size);
+    }
+
+    return {
+        filename,
+        size,
+        shared: parseOptionalBoolean(toml.shared),
+        user: parseOptionalString(toml.user),
+    };
+};
+
+const parseNvrams = (config: TomlPrimitive): Record<string, NvramConfig> => {
+    const entries = Object.entries((config as TomlTable) ?? {});
+    if (entries.length > MAX_NVRAMS) {
+        throw new TooManyNvramsError(entries.length);
+    }
+    return entries.reduce<Record<string, NvramConfig>>(
+        (acc, [label, nvram]) => {
+            acc[label] = parseNvram(label, nvram);
+            return acc;
+        },
+        {},
+    );
+};
+
+/**
+ * Filename, relative to the build destination directory, of the image backing an nvram.
+ */
+export const nvramImageFilename = (label: string): string => `${label}.raw`;
+
+/**
+ * Whether an nvram is backed by an image file. A pristine nvram needs no image, as
+ * cartesi-machine fills its range with zeros. A `shared` one does, as there must be a file for
+ * the guest writes to be persisted to.
+ */
+export const nvramHasImage = (nvram: NvramConfig): boolean =>
+    nvram.filename !== undefined || nvram.shared === true;
+
 const parseBuilder = (value: TomlPrimitive): Builder => {
     if (value === undefined) {
         return "docker";
@@ -639,10 +777,21 @@ export const parse = (str: string[]): Config => {
         toml = mergeTomlTables(toml, parseToml(s));
     }
 
+    const drives = parseDrives(toml.drives);
+    const nvrams = parseNvrams(toml.nvrams);
+
+    // drives and nvrams share the DTB /aliases namespace, so labels cannot collide
+    for (const label of Object.keys(nvrams)) {
+        if (drives[label] !== undefined) {
+            throw new DuplicateLabelError(label);
+        }
+    }
+
     const config: Config = {
         withdrawalConfig: parseOptionalWithdrawalConfig(toml.withdrawal),
-        drives: parseDrives(toml.drives),
+        drives,
         machine: parseMachine(toml.machine),
+        nvrams,
         sdk: parseString(
             toml.sdk,
             `${DEFAULT_SDK_IMAGE}:${DEFAULT_SDK_VERSION}`,
diff --git a/apps/cli/src/exec/cartesi-machine-stored-hash.ts b/apps/cli/src/exec/cartesi-machine-stored-hash.ts
index 6c360f3f..4a9bb8d4 100644
--- a/apps/cli/src/exec/cartesi-machine-stored-hash.ts
+++ b/apps/cli/src/exec/cartesi-machine-stored-hash.ts
@@ -29,7 +29,7 @@ export const computeHash = async (
         );
 
         if (undefined !== stdout) {
-            const hash = `0x${stdout.toString().trim()}`;
+            const hash = stdout.toString().trim();
 
             if (isHash(hash)) {
                 return hash;
diff --git a/apps/cli/src/exec/cartesi-machine.ts b/apps/cli/src/exec/cartesi-machine.ts
index 2a27ab0f..19f261be 100644
--- a/apps/cli/src/exec/cartesi-machine.ts
+++ b/apps/cli/src/exec/cartesi-machine.ts
@@ -1,11 +1,10 @@
-import { parse, Range, type SemVer } from "semver";
+import { parse, Range, satisfies, type SemVer } from "semver";
 import {
     execaDockerFallback,
-    type DockerFallbackOptions,
     type ExecaOptionsDockerFallback,
 } from "./util.js";
 
-export const requiredVersion = new Range("^0.20.0");
+export const requiredVersion = new Range("^0.21.0");
 
 export const boot = (
     args: readonly string[],
@@ -13,14 +12,14 @@ export const boot = (
 ) => execaDockerFallback("cartesi-machine", args, options);
 
 export const version = async (
-    options?: DockerFallbackOptions,
+    options?: ExecaOptionsDockerFallback,
 ): Promise<SemVer | null> => {
-    const { image } = options || {};
     try {
         const { stdout } = await execaDockerFallback(
             "cartesi-machine",
             ["--version-json"],
-            { image },
+            // cwd is interpolated into the docker volume mount, so it must be defined
+            { ...options, cwd: options?.cwd ?? process.cwd() },
         );
         if (typeof stdout === "string") {
             const output = JSON.parse(stdout);
@@ -31,3 +30,26 @@ export const version = async (
         return null;
     }
 };
+
+export class UnsupportedVersionError extends Error {
+    constructor(found: SemVer) {
+        super(
+            `cartesi-machine ${found.format()} found, but ${requiredVersion.raw} is required`,
+        );
+        this.name = "UnsupportedVersionError";
+    }
+}
+
+/**
+ * Throws if the cartesi-machine that would be used does not satisfy `requiredVersion`. A version
+ * that cannot be determined is not an error, as `version` also returns null when the binary is
+ * missing or docker is unavailable, and booting reports those on its own.
+ */
+export const assertVersion = async (
+    options?: ExecaOptionsDockerFallback,
+): Promise<void> => {
+    const found = await version(options);
+    if (found !== null && !satisfies(found.format(), requiredVersion)) {
+        throw new UnsupportedVersionError(found);
+    }
+};
diff --git a/apps/cli/src/machine.ts b/apps/cli/src/machine.ts
index b7f347ee..853e208e 100644
--- a/apps/cli/src/machine.ts
+++ b/apps/cli/src/machine.ts
@@ -1,6 +1,13 @@
 import dotenv from "dotenv";
 import fs from "node:fs";
-import type { Config, DriveConfig, ImageInfo } from "./config.js";
+import {
+    type Config,
+    type DriveConfig,
+    type ImageInfo,
+    type NvramConfig,
+    nvramHasImage,
+    nvramImageFilename,
+} from "./config.js";
 import { cartesiMachine } from "./exec/index.js";
 import type { ExecaOptionsDockerFallback } from "./exec/util.js";
 
@@ -21,18 +28,36 @@ const flashDrive = (label: string, drive: DriveConfig): string => {
     return `--flash-drive=${vars.join(",")}`;
 };
 
+const nvram = (label: string, config: NvramConfig): string => {
+    const { shared, size, user } = config;
+    const vars = [`label:${label}`];
+    if (size !== undefined) {
+        vars.push(`length:${size}`);
+    }
+    if (nvramHasImage(config)) {
+        vars.push(`data_filename:${nvramImageFilename(label)}`);
+    }
+    if (user) {
+        vars.push(`user:${user}`);
+    }
+    if (shared) {
+        vars.push("shared");
+    }
+    // don't specify start, let cartesi-machine place it
+    return `--nvram=${vars.join(",")}`;
+};
+
 export type BootMachineOptions = {
     finalHash?: boolean;
     interactive?: boolean;
     store?: string;
 };
 
-export const bootMachine = (
+export const buildMachineArgs = (
     config: Config,
     info: ImageInfo | undefined,
     bootOptions: BootMachineOptions,
-    options?: ExecaOptionsDockerFallback,
-) => {
+): string[] => {
     const { machine } = config;
     const {
         assertRollingTemplate,
@@ -106,11 +131,17 @@ export const bootMachine = (
         flashDrive(label, drive),
     );
 
+    // keep the order the labels were declared in, as it affects the machine layout
+    const nvrams = Object.entries(config.nvrams).map(([label, nvramConfig]) =>
+        nvram(label, nvramConfig),
+    );
+
     // command to change working directory if WORKDIR is defined
     const args = [
         ...bootargs,
         ...envs,
         ...flashDrives,
+        ...nvrams,
         `--ram-length=${ramLength}`,
     ];
     if (ramImage) {
@@ -140,6 +171,20 @@ export const bootMachine = (
     args.push("--");
     args.push(entrypoint);
 
+    return args;
+};
+
+export const bootMachine = async (
+    config: Config,
+    info: ImageInfo | undefined,
+    bootOptions: BootMachineOptions,
+    options?: ExecaOptionsDockerFallback,
+) => {
+    // build the args first, so a configuration error is reported without spawning anything
+    const args = buildMachineArgs(config, info, bootOptions);
+
+    await cartesiMachine.assertVersion({ image: config.sdk });
+
     return cartesiMachine.boot(args, {
         image: config.sdk,
         ...options,
diff --git a/apps/cli/tests/integration/builder/nvram.test.ts b/apps/cli/tests/integration/builder/nvram.test.ts
new file mode 100644
index 00000000..64dbe22c
--- /dev/null
+++ b/apps/cli/tests/integration/builder/nvram.test.ts
@@ -0,0 +1,76 @@
+import { afterEach, beforeEach, describe, expect, it } from "bun:test";
+import fs from "fs-extra";
+import path from "node:path";
+import { build } from "../../../src/builder/nvram.js";
+import type { NvramConfig } from "../../../src/config.js";
+import { cleanupTempDir, createTempDir } from "./tmpdirTest.js";
+
+describe("when building an nvram", () => {
+    let destination: string;
+    let source: string;
+
+    beforeEach(async () => {
+        destination = await createTempDir();
+        source = await createTempDir();
+    });
+
+    afterEach(async () => {
+        await cleanupTempDir(destination);
+        await cleanupTempDir(source);
+    });
+
+    // writes a raw image of the given size in the source directory
+    const writeImage = async (name: string, size: number) => {
+        const filename = path.join(source, name);
+        await fs.writeFile(filename, Buffer.alloc(size, 1));
+        return filename;
+    };
+
+    it("should not build an image for a pristine nvram", async () => {
+        const nvram: NvramConfig = { size: 4096 };
+        await build("input", nvram, destination);
+        expect(fs.existsSync(path.join(destination, "input.raw"))).toBeFalsy();
+    });
+
+    it("should build a zero filled image for a shared nvram", async () => {
+        const nvram: NvramConfig = { size: 8192, shared: true };
+        await build("output", nvram, destination);
+
+        const filename = path.join(destination, "output.raw");
+        const stat = await fs.stat(filename);
+        expect(stat.isFile()).toBeTruthy();
+        expect(stat.size).toEqual(8192);
+        expect(await fs.readFile(filename)).toEqual(Buffer.alloc(8192));
+    });
+
+    it("should copy an existing image", async () => {
+        const filename = await writeImage("seed.raw", 4096);
+        await build("seed", { filename }, destination);
+
+        const copy = path.join(destination, "seed.raw");
+        expect(await fs.readFile(copy)).toEqual(await fs.readFile(filename));
+    });
+
+    it("should fail for a missing image", async () => {
+        const filename = path.join(source, "missing.raw");
+        await expect(build("seed", { filename }, destination)).rejects.toThrow(
+            "no such file or directory",
+        );
+    });
+
+    it("should fail when the size does not match the image", async () => {
+        const filename = await writeImage("seed.raw", 4096);
+        await expect(
+            build("seed", { filename, size: 8192 }, destination),
+        ).rejects.toThrow(
+            `Size 8192 of nvram 'seed' does not match the 4096 bytes of ${filename}`,
+        );
+    });
+
+    it("should fail when the image size is not a multiple of 4096", async () => {
+        const filename = await writeImage("seed.raw", 5000);
+        await expect(build("seed", { filename }, destination)).rejects.toThrow(
+            "which is not a multiple of 4096",
+        );
+    });
+});
diff --git a/apps/cli/tests/integration/config.ts b/apps/cli/tests/integration/config.ts
index 57ebadce..61af6c9a 100644
--- a/apps/cli/tests/integration/config.ts
+++ b/apps/cli/tests/integration/config.ts
@@ -4,7 +4,10 @@ import path from "node:path";
 import tmp from "tmp";
 import { DEFAULT_SDK_IMAGE, DEFAULT_SDK_VERSION } from "../../src/config.js";
 
-export const TEST_SDK = `${DEFAULT_SDK_IMAGE}:${DEFAULT_SDK_VERSION}`;
+// CARTESI_TEST_SDK points the suite at another image, e.g. one baked from packages/sdk
+export const TEST_SDK =
+    process.env.CARTESI_TEST_SDK ??
+    `${DEFAULT_SDK_IMAGE}:${DEFAULT_SDK_VERSION}`;
 
 /**
  * Ensures the required Docker image is available locally.
@@ -39,7 +42,10 @@ export async function ensureDockerImage(image: string): Promise<void> {
  *
  * @returns {Promise<{ appDir: string, machineDir: string, cleanup: () => void }>}
  */
-export async function createTemporaryCartesiApplication(): Promise<{
+export async function createTemporaryCartesiApplication(options?: {
+    /** contents of a cartesi.toml written after create and before build */
+    config?: string;
+}): Promise<{
     appDir: string;
     machineDir: string;
     cleanup: () => void;
@@ -83,6 +89,11 @@ export async function createTemporaryCartesiApplication(): Promise<{
         //  Change directory into the created application
         process.chdir(appDir);
 
+        if (options?.config !== undefined) {
+            fs.writeFileSync(path.join(appDir, "cartesi.toml"), options.config);
+            console.log(`✓ Wrote a custom cartesi.toml`);
+        }
+
         console.log(`! Building the temporary Cartesi application...`);
 
         //  Programmatically BUILD the application
diff --git a/apps/cli/tests/integration/exec/cartesi-machine-stored-hash.test.ts b/apps/cli/tests/integration/exec/cartesi-machine-stored-hash.test.ts
index 31686b6d..bbfc348a 100644
--- a/apps/cli/tests/integration/exec/cartesi-machine-stored-hash.test.ts
+++ b/apps/cli/tests/integration/exec/cartesi-machine-stored-hash.test.ts
@@ -16,7 +16,9 @@ let cleanupTempApplication: () => void;
 beforeAll(
     async () => {
         await setupIntegrationTests();
-        const result = await createTemporaryCartesiApplication();
+        const result = await createTemporaryCartesiApplication({
+            config: `sdk = "${TEST_SDK}"`,
+        });
         machineDir = result.machineDir;
         cleanupTempApplication = result.cleanup;
     },
@@ -31,14 +33,15 @@ afterAll(() => {
 
 describe("cartesi-machine-stored-hash", () => {
     it("should return a computed hash", async () => {
-        const machineHash = await cartesiMachineStoredHash.computeHash(".", {
+        const machineHash = await cartesiMachineStoredHash.computeHash("./", {
             forceDocker: true,
             image: TEST_SDK,
             cwd: machineDir,
         });
 
         expect(machineHash).toBeDefined();
-        expect(isHash(machineHash!)).toBeTrue();
+        // @ts-expect-error - the above assertion ensures that machineHash is not undefined, so this type assertion is safe
+        expect(isHash(machineHash)).toBeTrue();
     });
 
     it("should return undefined for a non-existent machine directory", async () => {
diff --git a/apps/cli/tests/integration/machine/nvram.test.ts b/apps/cli/tests/integration/machine/nvram.test.ts
new file mode 100644
index 00000000..da9fb6c6
--- /dev/null
+++ b/apps/cli/tests/integration/machine/nvram.test.ts
@@ -0,0 +1,110 @@
+import { afterAll, beforeAll, describe, expect, it } from "bun:test";
+import fs from "fs-extra";
+import path from "node:path";
+import { satisfies } from "semver";
+import { parse } from "../../../src/config.js";
+import { cartesiMachine } from "../../../src/exec/index.js";
+import { bootMachine } from "../../../src/machine.js";
+import {
+    createTemporaryCartesiApplication,
+    ensureDockerImage,
+    TEST_SDK,
+} from "../config.js";
+
+await ensureDockerImage(TEST_SDK);
+
+// --nvram only exists from cartesi-machine 0.21.0. gating on the version rather than on
+// CARTESI_TEST_SDK means this starts running on its own once DEFAULT_SDK_VERSION points at an
+// image that supports it.
+const found = await cartesiMachine.version({
+    image: TEST_SDK,
+    forceDocker: true,
+});
+
+const supported =
+    found !== null && satisfies(found.format(), cartesiMachine.requiredVersion);
+
+// sdk is set explicitly because bootMachine boots the image named by the config, not TEST_SDK
+const CONFIG = `sdk = "${TEST_SDK}"
+
+[nvrams.input]
+size = "4Ki"
+
+[nvrams.output]
+size = "4Ki"
+shared = true
+user = "dapp"
+` as const;
+
+describe.skipIf(!supported)("when booting a machine with nvrams", () => {
+    let app: Awaited<ReturnType<typeof createTemporaryCartesiApplication>>;
+    let context: string;
+
+    beforeAll(
+        async () => {
+            app = await createTemporaryCartesiApplication({ config: CONFIG });
+            context = path.join(app.appDir, ".cartesi");
+        },
+        { timeout: 60000 * 20 },
+    );
+
+    afterAll(() => {
+        app?.cleanup();
+    });
+
+    /**
+     * Boots the built application with a different entrypoint, the way the shell command does.
+     */
+    const boot = async (command: string) => {
+        const config = parse([CONFIG]);
+        config.machine.entrypoint = command;
+
+        // no interactive option, as -it needs a tty the test runner does not have
+        const { stdout } = await bootMachine(
+            config,
+            undefined,
+            {},
+            {
+                cwd: context,
+            },
+        );
+        return stdout as string;
+    };
+
+    it("should only build an image for the nvrams that need one", async () => {
+        const output = path.join(context, "output.raw");
+
+        expect(await fs.readFile(output)).toEqual(Buffer.alloc(4096));
+        // pristine, so cartesi-machine fills the range and there is nothing to build
+        expect(fs.existsSync(path.join(context, "input.raw"))).toBeFalsy();
+    });
+
+    it("should expose one uio device per nvram", async () => {
+        const stdout = await boot("ls /dev/uio*");
+
+        expect(stdout).toContain("/dev/uio0");
+        expect(stdout).toContain("/dev/uio1");
+        expect(stdout).not.toContain("/dev/uio2");
+    });
+
+    it("should resolve the labels in configuration order", async () => {
+        const stdout = await boot("nvram input; nvram output");
+
+        // the boot splash comes first, so keep only the lines the nvram tool printed
+        const devices = stdout
+            .split("\n")
+            .filter((line) => line.startsWith("/dev/uio"));
+        expect(devices).toEqual(["/dev/uio0", "/dev/uio1"]);
+    });
+
+    it("should round-trip through a shared nvram", async () => {
+        const stdout = await boot(
+            "echo hello-nvram | writemmap output; readmmap output | head -c 11",
+        );
+        expect(stdout).toContain("hello-nvram");
+
+        // shared, so the guest write reaches the backing image on the host
+        const image = await fs.readFile(path.join(context, "output.raw"));
+        expect(image.subarray(0, 11).toString()).toEqual("hello-nvram");
+    });
+});
diff --git a/apps/cli/tests/unit/config.test.ts b/apps/cli/tests/unit/config.test.ts
index 9da8006f..69ed958b 100644
--- a/apps/cli/tests/unit/config.test.ts
+++ b/apps/cli/tests/unit/config.test.ts
@@ -4,6 +4,7 @@ import * as path from "node:path";
 import {
     defaultConfig,
     defaultMachineConfig,
+    DuplicateLabelError,
     InvalidAddressValueError,
     InvalidBooleanValueError,
     InvalidBuilderError,
@@ -12,22 +13,25 @@ import {
     InvalidEmptyDriveFormatError,
     InvalidEnvError,
     InvalidNumberValueError,
+    InvalidNvramSizeError,
     InvalidStringValueError,
+    MissingNvramSourceError,
     parse,
     RequiredFieldError,
+    TooManyNvramsError,
 } from "../../src/config.js";
 
-const loadDriveConfig = (driveName: string) => {
-    const filePath = path.join(
-        __dirname,
-        "config",
-        "fixtures",
-        "drives",
-        `${driveName}.toml`,
-    );
+const loadFixture = (...segments: string[]) => {
+    const filePath = path.join(__dirname, "config", "fixtures", ...segments);
     return [fs.readFileSync(filePath, "utf-8")];
 };
 
+const loadDriveConfig = (driveName: string) =>
+    loadFixture("drives", `${driveName}.toml`);
+
+const loadNvramConfig = (nvramName: string) =>
+    loadFixture("nvrams", `${nvramName}.toml`);
+
 describe("when parsing only drive config files", () => {
     it("should pass with a basic drive config", () => {
         const basic = loadDriveConfig("basic");
@@ -60,6 +64,17 @@ describe("when parsing only drive config files", () => {
     });
 });
 
+describe("when parsing only nvram config files", () => {
+    it.each([
+        "pristine",
+        "shared",
+        "file",
+        "multi",
+    ])("should pass with a %s nvram config", (name) => {
+        expect(() => parse(loadNvramConfig(name))).not.toThrow();
+    });
+});
+
 describe("when parsing a cartesi.toml config", () => {
     it("should load the default config when file is empty", () => {
         const config = parse([""]);
@@ -520,6 +535,157 @@ shared = true`,
         });
     });
 
+    /**
+     * [nvrams]
+     */
+    describe("when parsing [nvrams]", () => {
+        it("should default to no nvrams", () => {
+            expect(parse([""]).nvrams).toEqual({});
+        });
+
+        it("should parse a pristine nvram", () => {
+            expect(parse(['[nvrams.input]\nsize = "4Ki"'])).toEqual({
+                ...defaultConfig(),
+                nvrams: {
+                    input: {
+                        filename: undefined,
+                        size: 4096,
+                        shared: undefined,
+                        user: undefined,
+                    },
+                },
+            });
+        });
+
+        it("should parse an nvram backed by an existing image", () => {
+            expect(parse(['[nvrams.seed]\nfilename = "./seed.raw"'])).toEqual({
+                ...defaultConfig(),
+                nvrams: {
+                    seed: {
+                        filename: "./seed.raw",
+                        size: undefined,
+                        shared: undefined,
+                        user: undefined,
+                    },
+                },
+            });
+        });
+
+        it("should parse a shared nvram", () => {
+            const config = `
+                [nvrams.output]
+                size = "4Ki"
+                shared = true
+                user = "dapp"
+            `;
+            expect(parse([config])).toEqual({
+                ...defaultConfig(),
+                nvrams: {
+                    output: {
+                        filename: undefined,
+                        size: 4096,
+                        shared: true,
+                        user: "dapp",
+                    },
+                },
+            });
+        });
+
+        it("should preserve the order of the nvrams", () => {
+            const config = `
+                [nvrams.output]
+                size = "4Ki"
+
+                [nvrams.input]
+                size = "4Ki"
+            `;
+            expect(Object.keys(parse([config]).nvrams)).toEqual([
+                "output",
+                "input",
+            ]);
+        });
+
+        it.each([
+            ["4096", 4096],
+            ['"4096"', 4096],
+            ['"4Ki"', 4096],
+            ['"4KiB"', 4096],
+            ['"4kb"', 4096],
+            ['"1Mi"', 1048576],
+            ['"1Mb"', 1048576],
+        ])("should parse size %s as %i bytes", (size, expected) => {
+            expect(
+                parse([`[nvrams.input]\nsize = ${size}`]).nvrams.input.size,
+            ).toEqual(expected);
+        });
+
+        it("should fail when neither size nor filename is defined", () => {
+            expect(() => parse(["[nvrams.input]"])).toThrowError(
+                new MissingNvramSourceError("input"),
+            );
+            expect(() => parse(["[nvrams.input]\nshared = true"])).toThrowError(
+                new MissingNvramSourceError("input"),
+            );
+        });
+
+        it("should fail for a size that is not a multiple of 4Ki", () => {
+            expect(() => parse(['[nvrams.input]\nsize = "5Ki"'])).toThrowError(
+                new InvalidNvramSizeError("input", 5120),
+            );
+            expect(() => parse(["[nvrams.input]\nsize = 0"])).toThrowError(
+                new InvalidNvramSizeError("input", 0),
+            );
+        });
+
+        it("should fail for an unparseable size", () => {
+            expect(() => parse(['[nvrams.input]\nsize = "abc"'])).toThrowError(
+                new InvalidBytesValueError("abc"),
+            );
+            expect(() => parse(["[nvrams.input]\nsize = true"])).toThrowError(
+                new InvalidBytesValueError(true),
+            );
+        });
+
+        it("should fail for more than 8 nvrams", () => {
+            const config = Array.from(
+                { length: 9 },
+                (_, i) => `[nvrams.n${i}]\nsize = "4Ki"`,
+            ).join("\n");
+            expect(() => parse([config])).toThrowError(
+                new TooManyNvramsError(9),
+            );
+        });
+
+        it("should fail when a label is used by both a drive and an nvram", () => {
+            const config = `
+                [drives.data]
+                builder = "empty"
+                size = "100Mb"
+
+                [nvrams.data]
+                size = "4Ki"
+            `;
+            expect(() => parse([config])).toThrowError(
+                new DuplicateLabelError("data"),
+            );
+        });
+
+        it("should fail for the root label, which is always a drive", () => {
+            expect(() => parse(['[nvrams.root]\nsize = "4Ki"'])).toThrowError(
+                new DuplicateLabelError("root"),
+            );
+        });
+
+        it("should fail for invalid shared and user values", () => {
+            expect(() =>
+                parse(['[nvrams.input]\nsize = "4Ki"\nshared = 42']),
+            ).toThrowError(new InvalidBooleanValueError(42));
+            expect(() =>
+                parse(['[nvrams.input]\nsize = "4Ki"\nuser = 42']),
+            ).toThrowError(new InvalidStringValueError(42));
+        });
+    });
+
     /**
      * field types
      */
diff --git a/apps/cli/tests/unit/config/fixtures/full.toml b/apps/cli/tests/unit/config/fixtures/full.toml
index 0f00964f..54827367 100644
--- a/apps/cli/tests/unit/config/fixtures/full.toml
+++ b/apps/cli/tests/unit/config/fixtures/full.toml
@@ -49,6 +49,23 @@
 # filename = "./games/doom.sqfs"
 # mount = "/usr/local/games/doom"
 
+# nvrams are raw byte ranges exposed to the guest as /dev/uio0 to /dev/uio7 (up to 8 of them).
+# unlike drives they have no filesystem and no mount point, so the guest reads and writes them
+# with the readmmap/writemmap tools from machine-guest-tools. requires cartesi-machine 0.21.0.
+# an nvram label cannot be the same as a drive label.
+
+# [nvrams.input]
+# size = "4Ki" # required unless 'filename' is given. must be a multiple of 4Ki
+
+# [nvrams.output]
+# size = "4Ki"
+# shared = true # guest writes are persisted to .cartesi/output.raw, which the next build wipes
+# user = "dapp" # optional. allows the unprivileged entrypoint user to write to it
+
+# [nvrams.seed]
+# filename = "./seed.raw" # existing raw image. it is copied into .cartesi/, never written to
+# size = "4Ki" # optional. when given it must match the size of the file exactly
+
 # [withdrawal.config]
 # guardian = "0x1111111111111111111111111111111111111111" 
 # log2_leaves_per_account = 0
diff --git a/apps/cli/tests/unit/config/fixtures/nvrams/file.toml b/apps/cli/tests/unit/config/fixtures/nvrams/file.toml
new file mode 100644
index 00000000..33a7ec1f
--- /dev/null
+++ b/apps/cli/tests/unit/config/fixtures/nvrams/file.toml
@@ -0,0 +1,5 @@
+# example of an nvram whose initial contents come from an existing raw image
+# size is optional here, as it defaults to the size of the file
+
+[nvrams.seed]
+filename = "./seed.raw"
diff --git a/apps/cli/tests/unit/config/fixtures/nvrams/multi.toml b/apps/cli/tests/unit/config/fixtures/nvrams/multi.toml
new file mode 100644
index 00000000..7c6b0a89
--- /dev/null
+++ b/apps/cli/tests/unit/config/fixtures/nvrams/multi.toml
@@ -0,0 +1,10 @@
+# example of an application reading an input nvram and writing an output one
+# the order of the tables is the order of the /dev/uio* devices in the guest
+
+[nvrams.input]
+size = "4Ki"
+
+[nvrams.output]
+size = "4Ki"
+shared = true
+user = "dapp"
diff --git a/apps/cli/tests/unit/config/fixtures/nvrams/pristine.toml b/apps/cli/tests/unit/config/fixtures/nvrams/pristine.toml
new file mode 100644
index 00000000..0be7c13c
--- /dev/null
+++ b/apps/cli/tests/unit/config/fixtures/nvrams/pristine.toml
@@ -0,0 +1,5 @@
+# example of a pristine nvram, filled with zeros by cartesi-machine
+# no image is built for it, as there is nothing to persist
+
+[nvrams.input]
+size = "4Ki" # must be a multiple of 4Ki
diff --git a/apps/cli/tests/unit/config/fixtures/nvrams/shared.toml b/apps/cli/tests/unit/config/fixtures/nvrams/shared.toml
new file mode 100644
index 00000000..cd3ce7f4
--- /dev/null
+++ b/apps/cli/tests/unit/config/fixtures/nvrams/shared.toml
@@ -0,0 +1,7 @@
+# example of an nvram the guest writes its output to
+# shared makes the writes land on .cartesi/output.raw, and user lets the entrypoint user write
+
+[nvrams.output]
+size = "4Ki"
+shared = true
+user = "dapp"
diff --git a/apps/cli/tests/unit/exec/cartesi-machine.test.ts b/apps/cli/tests/unit/exec/cartesi-machine.test.ts
new file mode 100644
index 00000000..caae3db3
--- /dev/null
+++ b/apps/cli/tests/unit/exec/cartesi-machine.test.ts
@@ -0,0 +1,30 @@
+import { describe, expect, it } from "bun:test";
+import { parse, satisfies, type SemVer } from "semver";
+import {
+    requiredVersion,
+    UnsupportedVersionError,
+} from "../../../src/exec/cartesi-machine.js";
+
+describe("requiredVersion", () => {
+    it.each(["0.21.0", "0.21.3"])("should accept %s", (version) => {
+        expect(satisfies(version, requiredVersion)).toBeTruthy();
+    });
+
+    it.each([
+        "0.20.0",
+        "0.20.9",
+        "0.22.0",
+        "1.0.0",
+    ])("should reject %s", (version) => {
+        expect(satisfies(version, requiredVersion)).toBeFalsy();
+    });
+});
+
+describe("UnsupportedVersionError", () => {
+    it("should name the version found and the range required", () => {
+        const error = new UnsupportedVersionError(parse("0.20.0") as SemVer);
+        expect(error.message).toEqual(
+            `cartesi-machine 0.20.0 found, but ${requiredVersion.raw} is required`,
+        );
+    });
+});
diff --git a/apps/cli/tests/unit/machine.test.ts b/apps/cli/tests/unit/machine.test.ts
new file mode 100644
index 00000000..8c819c52
--- /dev/null
+++ b/apps/cli/tests/unit/machine.test.ts
@@ -0,0 +1,78 @@
+import { describe, expect, it } from "bun:test";
+import { parse } from "../../src/config.js";
+import { buildMachineArgs } from "../../src/machine.js";
+
+const argsOf = (toml: string) =>
+    buildMachineArgs(
+        parse([`[machine]\nentrypoint = "/bin/sh"\n${toml}`]),
+        undefined,
+        {},
+    );
+
+const nvramArgs = (toml: string) =>
+    argsOf(toml).filter((arg) => arg.startsWith("--nvram="));
+
+describe("buildMachineArgs", () => {
+    it("should not emit any --nvram when none is configured", () => {
+        expect(nvramArgs("")).toEqual([]);
+    });
+
+    it("should emit length only for a pristine nvram", () => {
+        expect(nvramArgs('[nvrams.input]\nsize = "4Ki"')).toEqual([
+            "--nvram=label:input,length:4096",
+        ]);
+    });
+
+    it("should emit a data_filename for a shared nvram", () => {
+        const toml = `
+            [nvrams.output]
+            size = "4Ki"
+            shared = true
+            user = "dapp"
+        `;
+        expect(nvramArgs(toml)).toEqual([
+            "--nvram=label:output,length:4096,data_filename:output.raw,user:dapp,shared",
+        ]);
+    });
+
+    it("should omit length for an nvram backed by an existing image", () => {
+        expect(nvramArgs('[nvrams.seed]\nfilename = "./seed.raw"')).toEqual([
+            "--nvram=label:seed,data_filename:seed.raw",
+        ]);
+    });
+
+    it("should emit both length and data_filename when both are defined", () => {
+        const toml = `
+            [nvrams.seed]
+            filename = "./seed.raw"
+            size = "4Ki"
+        `;
+        expect(nvramArgs(toml)).toEqual([
+            "--nvram=label:seed,length:4096,data_filename:seed.raw",
+        ]);
+    });
+
+    it("should emit nvrams after all flash drives, in configuration order", () => {
+        const toml = `
+            [nvrams.output]
+            size = "4Ki"
+
+            [nvrams.input]
+            size = "4Ki"
+        `;
+        const args = argsOf(toml);
+        const lastFlashDrive = args.reduce(
+            (last, arg, index) =>
+                arg.startsWith("--flash-drive=") ? index : last,
+            -1,
+        );
+        const firstNvram = args.findIndex((arg) => arg.startsWith("--nvram="));
+
+        expect(lastFlashDrive).toBeGreaterThanOrEqual(0);
+        expect(firstNvram).toBeGreaterThan(lastFlashDrive);
+        expect(nvramArgs(toml)).toEqual([
+            "--nvram=label:output,length:4096",
+            "--nvram=label:input,length:4096",
+        ]);
+    });
+});
diff --git a/packages/sdk/Dockerfile b/packages/sdk/Dockerfile
index b98f153d..8143588b 100644
--- a/packages/sdk/Dockerfile
+++ b/packages/sdk/Dockerfile
@@ -70,13 +70,30 @@ mkdir -p /usr/local/bin
 curl -fsSL https://github.com/foundry-rs/foundry/releases/download/v${FOUNDRY_VERSION}/foundry_v${FOUNDRY_VERSION}_${TARGETOS}_${TARGETARCH}.tar.gz \
   -o /tmp/foundry.tar.gz
 case "${TARGETARCH}" in
-    amd64) echo "325ba04dc5cb41c110723b00ac291f8269f8cd785028299aad8252ef980961a7 /tmp/foundry.tar.gz" | sha256sum --check ;;
-    arm64) echo "209492cb4ebd723d9eac002fa30f41f53c8810105b67d3c32fe8201cf70f89d4 /tmp/foundry.tar.gz" | sha256sum --check ;;
+    amd64) echo "73640b01bd9ed29fdb4965085099371f8cf0dbbec3e2086cf54564efc4dcfe88 /tmp/foundry.tar.gz" | sha256sum --check ;;
+    arm64) echo "cccf28bdf202289e837a9e21ed213b2b80dc1e806e12f1717bc98a44315c331e /tmp/foundry.tar.gz" | sha256sum --check ;;
     *) echo "unsupported architecture: ${TARGETARCH}"; exit 1 ;;
 esac
 tar -zx -f /tmp/foundry.tar.gz -C /usr/local/bin
 EOF
 
+################################################################################
+# devnet anvil state
+# The state dump is produced by the anvil version named in the asset, so
+# FOUNDRY_VERSION must be the same one that provides /usr/local/bin/anvil below.
+FROM base AS devnet-state
+ARG CARTESI_PRT_VERSION
+ARG FOUNDRY_VERSION
+RUN <<EOF
+mkdir -p /opt/devnet
+curl -fsSL https://github.com/cartesi/dave/releases/download/v${CARTESI_PRT_VERSION}/cartesi-rollups-prt-${CARTESI_PRT_VERSION}-anvil-${FOUNDRY_VERSION}.tar.gz \
+  -o /tmp/prt-anvil.tar.gz
+echo "7e6b6a402b5e384fd6aa56387726cf4cc08783b6350b1c16a71a2e6ff454e583 /tmp/prt-anvil.tar.gz" | sha256sum --check
+tar -xzO -f /tmp/prt-anvil.tar.gz state.json > /opt/devnet/anvil_state.json
+rm /tmp/prt-anvil.tar.gz
+echo ${CARTESI_PRT_VERSION} > /opt/devnet/PRT_VERSION
+EOF
+
 ################################################################################
 # nitro builder
 FROM builder AS nitro
@@ -149,7 +166,8 @@ RUN <<EOF
 apt-get install -y --no-install-recommends \
     libslirp0 \
     libgomp1 \
-    lua5.4
+    lua5.4 \
+    lua-lpeg
 rm -rf /var/lib/apt/lists/*
 EOF
 
@@ -171,8 +189,8 @@ RUN <<EOF
 curl -fsSL https://github.com/cartesi/machine-emulator/releases/download/v${CARTESI_MACHINE_EMULATOR_VERSION}/machine-emulator_${TARGETARCH}.deb \
     -o /tmp/machine-emulator.deb
 case "${TARGETARCH}" in
-    amd64) echo "46b2f37b889091df3b89a8909467935f8dd4a1426eeb0491b6a346a12f0c341c  /tmp/machine-emulator.deb" | sha256sum --check ;;
-    arm64) echo "27ea10571335ad174b75388e7de54a3d3434bd607554d8c0bdf6abca47ceae0d  /tmp/machine-emulator.deb" | sha256sum --check ;;
+    amd64) echo "5f13034f43454c340062c677146daabe77c587cee1bd60342c95b8ad8f1463a3  /tmp/machine-emulator.deb" | sha256sum --check ;;
+    arm64) echo "866f0bde2db53b9b8e6a6eac85e5ad4116338379fa25cdfcc5e4bf835f948bb1  /tmp/machine-emulator.deb" | sha256sum --check ;;
     *) echo "unsupported architecture: ${TARGETARCH}"; exit 1 ;;
 esac
 apt-get install -y --no-install-recommends /tmp/machine-emulator.deb
@@ -185,8 +203,8 @@ RUN <<EOF
 curl -fsSL https://github.com/cartesi/rollups-node/releases/download/v${CARTESI_ROLLUPS_NODE_VERSION}/cartesi-rollups-node-v${CARTESI_ROLLUPS_NODE_VERSION}_${TARGETARCH}.deb \
     -o /tmp/cartesi-rollups-node.deb
 case "${TARGETARCH}" in
-    amd64) echo "b2db03fcab1453238346fe6638b50693a405659fd73fe3ddca5be8d4e950528a /tmp/cartesi-rollups-node.deb" | sha256sum --check ;;
-    arm64) echo "e080a25f19f04b3d2164354c49989dcd72c02af6866623a70816eb08f0d75490 /tmp/cartesi-rollups-node.deb" | sha256sum --check ;;
+    amd64) echo "5c75b12082bded69e589781715c74ce7ddf433a7ed2fa6f831e92315fa6dc003 /tmp/cartesi-rollups-node.deb" | sha256sum --check ;;
+    arm64) echo "ab4007baa7ea37ed58957fa94478c5f6e6999ca5234520bbfecb82e9c9c9bab3 /tmp/cartesi-rollups-node.deb" | sha256sum --check ;;
     *) echo "unsupported architecture: ${TARGETARCH}"; exit 1 ;;
 esac
 apt-get install -y --no-install-recommends /tmp/cartesi-rollups-node.deb
@@ -279,7 +297,7 @@ FROM scratch AS kernel-image
 ARG CARTESI_IMAGE_KERNEL_VERSION
 ARG CARTESI_LINUX_KERNEL_VERSION
 
-ADD --checksum=sha256:65dd100ff6204346ac2f50f772721358b5c1451450ceb39a154542ee27b4c947 \
+ADD --checksum=sha256:5c900060da2db2bfa84cd39cd9cd722988c83c42225f3cac55f2d3157e48f32f \
     https://github.com/cartesi/image-kernel/releases/download/v${CARTESI_IMAGE_KERNEL_VERSION}/linux-${CARTESI_LINUX_KERNEL_VERSION}.bin \
     /usr/share/cartesi-machine/images/linux.bin
 
@@ -289,7 +307,7 @@ FROM base AS kernel-headers
 ARG CARTESI_IMAGE_KERNEL_VERSION
 ARG CARTESI_LINUX_KERNEL_VERSION
 
-ADD --checksum=sha256:4a4714bfa8c0028cb443db2036fad4f8da07065c1cb4ac8e0921a259fddd731b \
+ADD --checksum=sha256:e3f140a8632fcfb18218e7aea32a7d002124d3dce5ba8121ae061ab7f40a6cf4 \
     https://github.com/cartesi/image-kernel/releases/download/v${CARTESI_IMAGE_KERNEL_VERSION}/linux-headers-${CARTESI_LINUX_KERNEL_VERSION}.tar.xz \
     /tmp/linux-headers-${CARTESI_LINUX_KERNEL_VERSION}.tar.xz
 RUN tar -xJf "/tmp/linux-headers-${CARTESI_LINUX_KERNEL_VERSION}.tar.xz" -C /
@@ -299,7 +317,6 @@ RUN tar -xJf "/tmp/linux-headers-${CARTESI_LINUX_KERNEL_VERSION}.tar.xz" -C /
 FROM rollups-runtime
 ARG ALTO_VERSION
 ARG ALTO_PACKAGE_VERSION
-ARG CARTESI_DEVNET_VERSION
 ARG CARTESI_MACHINE_EMULATOR_VERSION
 ARG CARTESI_PAYMASTER_VERSION
 ARG CARTESI_PASSKEY_SERVER_VERSION
@@ -352,15 +369,11 @@ EOF
 COPY --from=alto /app/alto/src/pimlico-alto-${ALTO_PACKAGE_VERSION}.tgz /tmp/pimlico-alto.tgz
 RUN <<EOF
 npm install -g \
-    @cartesi/devnet@${CARTESI_DEVNET_VERSION} \
     @cartesi/mock-verifying-paymaster@${CARTESI_PAYMASTER_VERSION} \
     @cartesi/passkey-server@${CARTESI_PASSKEY_SERVER_VERSION} \
     /tmp/pimlico-alto.tgz
 
 rm /tmp/pimlico-alto.tgz
-mkdir -p /usr/share/cartesi
-cp -r "$(npm root -g)/@cartesi/devnet/deployments" /usr/share/cartesi/
-cp "$(npm root -g)/@cartesi/devnet/anvil_state.json" /usr/share/cartesi/
 EOF
 
 ENV LC_ALL=en_US.UTF-8
@@ -373,6 +386,7 @@ COPY devnet /usr/local/bin
 COPY eth_isready /usr/local/bin
 
 COPY entrypoint.sh /usr/local/bin/
+COPY --from=devnet-state /opt/devnet/ /usr/share/cartesi/
 COPY --from=foundry /usr/local/bin/anvil /usr/local/bin/
 COPY --from=foundry /usr/local/bin/cast /usr/local/bin/
 COPY --from=squashfs-tools /usr/local/src/squashfs-tools/mksquashfs /usr/local/bin/
diff --git a/packages/sdk/devnet b/packages/sdk/devnet
index 22022548..960f2d6c 100755
--- a/packages/sdk/devnet
+++ b/packages/sdk/devnet
@@ -1,4 +1,3 @@
 #!/usr/bin/env sh
 set -e
-jq -r '.contracts | to_entries | sort_by(.key) | .[] | "\(.value.address) \(.key)"' /usr/share/cartesi/deployments/anvil.json
 exec anvil --load-state /usr/share/cartesi/anvil_state.json "$@"
diff --git a/packages/sdk/docker-bake.hcl b/packages/sdk/docker-bake.hcl
index 04eda27c..3b0e6edb 100644
--- a/packages/sdk/docker-bake.hcl
+++ b/packages/sdk/docker-bake.hcl
@@ -8,19 +8,19 @@ target "default" {
   args = {
     ALTO_VERSION                      = "1.2.7"
     ALTO_PACKAGE_VERSION              = "0.0.20"
-    CARTESI_BASE_IMAGE                = "docker.io/library/debian:trixie-20260610@sha256:fe7312b5f05bf5f43fad76bcd8945642e4e47a68aefd1b73f447615899d0fac1"
-    CARTESI_DEVNET_VERSION            = "2.0.0-alpha.14"
-    CARTESI_IMAGE_KERNEL_VERSION      = "0.20.0"
-    CARTESI_LINUX_KERNEL_VERSION      = "6.5.13-ctsi-1-v0.20.0"
-    CARTESI_MACHINE_EMULATOR_VERSION  = "0.20.0"
+    CARTESI_BASE_IMAGE                = "docker.io/library/debian:trixie-20260803@sha256:34cd9e9fd437c0a095ec39cb2e73422c9f30821b0d0848ed74fd0d43bae4d958"
+    CARTESI_IMAGE_KERNEL_VERSION      = "0.21.0"
+    CARTESI_LINUX_KERNEL_VERSION      = "6.5.13-ctsi-2-v0.21.0"
+    CARTESI_MACHINE_EMULATOR_VERSION  = "0.21.0"
     CARTESI_PASSKEY_SERVER_VERSION    = "1.0.1"
     CARTESI_PAYMASTER_VERSION         = "0.2.0"
-    CARTESI_ROLLUPS_NODE_VERSION      = "2.0.0-alpha.12"
-    FOUNDRY_VERSION                   = "1.4.3"
+    CARTESI_PRT_VERSION               = "3.0.0-alpha.5"
+    CARTESI_ROLLUPS_NODE_VERSION      = "2.0.0-alpha.13"
+    FOUNDRY_VERSION                   = "1.5.1"
     NITRO_VERSION                     = "c937fa4fd202074dd250086ebd92de6884968b84" # v0.8.1
     NODE_VERSION                      = "24.14.0"
     NVM_VERSION                       = "977563e97ddc66facf3a8e31c6cff01d236f09bd" # 0.40.3
-    POSTGRES_BASE_IMAGE               = "docker.io/library/postgres:17-trixie@sha256:2203e6282d9e7de7c24d7da234e2a744fb325df366a3fd8ed940e8abbee39527"
+    POSTGRES_BASE_IMAGE               = "docker.io/library/postgres:17-trixie@sha256:7958605b474b3d264a969cb3a123d6aa00ad1e1fe9da8a69984dabb704d93317"
     SQUASHFS_TOOLS_VERSION            = "bad1d213ab6df587d6fa0ef7286180fbf7b86167" # 4.7.4
     SU_EXEC_VERSION                   = "0.3"
     TELEGRAF_VERSION                  = "1.38.0"