Skip to content

feat: experimental kernel porting tool #776

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
drbh merged 11 commits into from
Sep 24, 2026
Merged

feat: experimental kernel porting tool #776

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
0e71f07
feat: experimental kernel porting tool
drbh Aug 20, 2026
c70794a
fix: update nix crate dirs
drbh Aug 20, 2026
c7821a7
feat: split ops into individual files
drbh Aug 20, 2026
77c60e5
feat: nixify porting tool
drbh Aug 21, 2026
7530957
fix: unhide port-provenance
drbh Aug 26, 2026
635f41a
feat: add ensure import
drbh Aug 27, 2026
97cbb94
feat: add kernelize import
drbh Aug 27, 2026
5009a3a
feat: add a memo module to cache and improve port speed
drbh Aug 27, 2026
01d3925
fix: address typos
drbh Sep 2, 2026
ebc665a
fix: include kernel-port in kernel test Docker image
drbh Sep 14, 2026
247bdfb
feat: add snapshot test for AOT and JIT ports
drbh Sep 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions .github/workflows/rust.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,8 @@ jobs:
( cd kernels && cargo fmt --all -- --check )
- name: Cargo fmt (kernel-builder)
run: ( cd kernel-builder && cargo fmt --all -- --check )
- name: Cargo fmt (kernel-port)
run: ( cd kernel-port && cargo fmt --all -- --check )

clippy:
permissions:
Expand Down Expand Up @@ -62,6 +64,8 @@ jobs:
( cd kernels && cargo clippy -- -D warnings )
- name: Clippy (kernel-builder)
run: ( cd kernel-builder && cargo clippy -- -D warnings )
- name: Clippy (kernel-port)
run: ( cd kernel-port && cargo clippy -- -D warnings )

test:
permissions:

@sayakpaul sayakpaul Sep 24, 2026

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Running the tests on kernel-porter for every rust-related changes doesn't sound good to me. Maybe we should have a separate workflow for the porter and trigger it on changes specific to the porter?

@drbh drbh Sep 24, 2026

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

good point, I'll follow up with improved ci in the next porter changes. also lets see how long the tests take to run, if its very small it might be more simple to keep in the rust workflow (will check when merged)

Expand All @@ -86,3 +90,5 @@ jobs:
run: cargo test -p kernels-common
- name: Test (kernel-builder)
run: cargo test -p hf-kernel-builder
- name: Test (kernel-port)
run: cargo test -p kernel-port
3 changes: 3 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -166,3 +166,6 @@ poetry.lock

# Nix
examples/kernels/**/flake.lock


kernel-port/examples
Loading
Loading