hyperlight-dev · jsturtevant · May 14, 2026 · May 14, 2026
diff --git a/.copilot/skills/justfile-ci/SKILL.md b/.copilot/skills/justfile-ci/SKILL.md
@@ -20,7 +20,6 @@ This repo uses a **hierarchical Justfile** structure with a matching **GitHub Ac
 Justfile (root)                    ← orchestrates everything
 ├── mod wasm 'src/wasm_sandbox/Justfile'
 ├── mod js 'src/javascript_sandbox/Justfile'
-├── mod nanvix 'src/nanvix_sandbox/Justfile'
 ├── mod python 'src/sdk/python/Justfile'
 └── mod examples_mod 'examples/Justfile'
 ```

diff --git a/.copilot/skills/justfile-ci/references/architecture.md b/.copilot/skills/justfile-ci/references/architecture.md
@@ -4,7 +4,7 @@
 
 | Recipe | Delegates to | Purpose |
 |--------|-------------|---------|
-| `build` | `wasm::build`, `jss::build`, `nanvix::build`, `python::build` | Build everything |
+| `build` | `wasm::build`, `jss::build`, `python::build` | Build everything |
 | `test` | `test-rust`, `wasm::test`, `python::python-test` | All tests |
 | `test-rust` | (direct cargo) | Core crate unit + integration tests |
 | `lint` | `lint-rust`, `wasm::lint`, `js::lint`, `python::lint` | All linters |
@@ -21,8 +21,7 @@
 ci.yml
 ├── rust           — fmt-check-rust, lint-rust, test-rust
 ├── wasm-sandbox   — wasm build, lint, test, examples + python fmt-check/lint/build/examples/python-test/fuzz/benchmark/integration-examples
-├── javascript-sandbox — js build, lint, test, examples
-└── nanvix-sandbox — nanvix build (examples skipped pending upstream)
+└── javascript-sandbox — js build, lint, test, examples
 ```
 
 ## Subproject Justfile Responsibilities
@@ -39,10 +38,6 @@ ci.yml
 - Recipes: `build`, `test`, `examples`, `lint`
 - `examples` is a flat recipe listing all `cargo run` commands
 
-### nanvix (`src/nanvix_sandbox/Justfile`)
-- Standalone build, excluded from workspace
-- Recipes: `build`, `examples` (currently skipped)
-
 ### python (`src/sdk/python/Justfile`)
 - Manages `uv`, `maturin`, `ruff` tooling
 - Recipes: `build`, `fmt`, `fmt-check`, `lint`, `examples`, `python-test`, `python-fuzz`, `python-sandbox-benchmark`, `python-publish`

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -411,26 +411,3 @@ jobs:
 
       - name: Run examples
         run: just js examples
-
-  nanvix-sandbox:
-    name: Nanvix Sandbox · build
-    runs-on: ubuntu-latest #current linux only
-    steps:
-      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd  # v6.0.2
-
-      - uses: actions-rust-lang/setup-rust-toolchain@2b1f5e9b395427c92ee4e3331786ca3c37afe2d7  # v1.16.0
-        with:
-          toolchain: nightly
-          rustflags: ""
-
-      - name: Install just
-        run: cargo install --locked just
-
-      - name: Build
-        run: just nanvix build
-
-      # NOTE: nanvix examples are skipped until hyperlight-nanvix updates to
-      # the new nanvix registry API (qjs/python3 are now separate packages).
-      # See: https://github.com/hyperlight-dev/hyperlight-nanvix
-      # - name: Run examples
-      #   run: just nanvix examples
diff --git a/Cargo.toml b/Cargo.toml
@@ -8,10 +8,6 @@ members = [
 	"src/sdk/python/hyperlight_js_backend",
 	"src/sdk/dotnet/ffi",
 ]
-# nanvix_sandbox requires nightly Rust (nanvix uses #![feature(never_type)])
-exclude = [
-	"src/nanvix_sandbox",
-]
 resolver = "2"
 
 [workspace.package]

diff --git a/Justfile b/Justfile
@@ -2,7 +2,6 @@ set unstable := true
 
 mod wasm 'src/wasm_sandbox/Justfile'
 mod js 'src/javascript_sandbox/Justfile'
-mod nanvix 'src/nanvix_sandbox/Justfile'
 mod python 'src/sdk/python/Justfile'
 mod dotnet 'src/sdk/dotnet/Justfile'
 mod examples_mod 'examples/Justfile'
@@ -14,7 +13,7 @@ clean: wasm::clean python::clean dotnet::clean
 
 #### BUILD TARGETS ####
 
-build target=default-target: (wasm::build target) (js::build target) nanvix::build python::build (dotnet::build target)
+build target=default-target: (wasm::build target) (js::build target) python::build (dotnet::build target)
 
 lint: lint-rust wasm::lint js::lint python::lint
 

diff --git a/README.md b/README.md
@@ -12,7 +12,6 @@ Supported backends:
 
 - [Wasm Component Sandbox](#wasm-component-sandbox) (Python/Javascript or provide your own)
 - [HyperlightJS Sandbox](#hyperlightjs-sandbox)
-- [Nanvix Sandbox](#nanvix-sandbox)
 
 ## Overview
 
@@ -195,35 +194,6 @@ console.log('10 + 20 = ' + sum);
 
 See [examples](./src/javascript_sandbox/examples/) for file I/O and network demos.
 
-### Nanvix Sandbox
-
-A microkernel-based backend built on [hyperlight-nanvix](https://github.com/hyperlight-dev/hyperlight-nanvix) that runs JavaScript or Python inside a Nanvix VM. Currently limited to basic code execution with stdout capture -- no host tools, file I/O, networking, or snapshot support yet.
-
-```rust
-use hyperlight_nanvix_sandbox::{NanvixJavaScript, NanvixPython};
-use hyperlight_sandbox::Sandbox;
-
-fn main() {
-    // JavaScript
-    let mut js = Sandbox::builder()
-        .guest(NanvixJavaScript)
-        .build()
-        .expect("failed to create JS sandbox");
-
-    let result = js.run(r#"console.log("Hello from Nanvix JS!");"#).unwrap();
-    print!("{}", result.stdout);
-
-    // Python
-    let mut py = Sandbox::builder()
-        .guest(NanvixPython)
-        .build()
-        .expect("failed to create Python sandbox");
-
-    let result = py.run(r#"print("Hello from Nanvix Python!")"#).unwrap();
-    print!("{}", result.stdout);
-}
-```
-
 ## Building
 
 Tool requirements:

diff --git a/RELEASE.md b/RELEASE.md
@@ -7,7 +7,6 @@ Bump the version in **all** manifest files. For example, to go from `0.1.0` →
 ### Rust (Cargo)
 
 - `Cargo.toml` — `[workspace.package] version`
-- `src/nanvix_sandbox/Cargo.toml` — `[package] version` (excluded from workspace, must be updated manually)
 
 All other workspace member crates inherit the version automatically.
 

diff --git a/docs/end-user-overview-slides.md b/docs/end-user-overview-slides.md
@@ -111,19 +111,7 @@ result = sandbox.run('console.log(2 + 3)')
 
 ---
 
-# Guest Support: Nanvix & Extensibility
-
-## Nanvix guests (Rust API)
-
-```rust
-// JavaScript via QuickJS in a Nanvix microkernel
-let mut sandbox = SandboxBuilder::new().guest(NanvixJavaScript).build()?;
-let result = sandbox.run(r#"console.log("Hello from Nanvix!")"#)?;
-
-// Python via Python in a Nanvix microkernel
-let mut sandbox = SandboxBuilder::new().guest(NanvixPython).build()?;
-let result = sandbox.run(r#"print("Hello from Nanvix!")"#)?;
-```
+# Guest Support & Extensibility
 
 ## Broader Wasm/WASI guest model