Repository navigation

feat: experimental kernel porting tool - #776

Merged

drbh merged 11 commits into

mainfrom

kernel-port-tool

Sep 24, 2026

Merged

feat: experimental kernel porting tool#776
drbh merged 11 commits into
mainfrom
kernel-port-tool

Commits on Sep 24, 2026
- feat: experimental kernel porting tool
  drbh
  committed
  0e71f07
- fix: update nix crate dirs
  drbh
  committed
  c70794a
- feat: split ops into individual files
  drbh
  committed
  c7821a7
- feat: nixify porting tool
  drbh
  committed
  77c60e5
- fix: unhide port-provenance
  drbh
  committed
  7530957
- feat: add ensure import
  drbh
  committed
  635f41a
- feat: add kernelize import
  drbh
  committed
  97cbb94
- feat: add a memo module to cache and improve port speed
  drbh
  committed
  5009a3a
- fix: address typos
  drbh
  committed
  01d3925
- fix: include kernel-port in kernel test Docker image
  drbh
  committed
  ebc665a
- feat: add snapshot test for AOT and JIT ports
  drbh
  committed
  247bdfb