Skip to content

ci: build and publish linux.bin - #15

Open
diegonehab wants to merge 2 commits into
linux-6.18.38-ctsi-yfrom
feature/build-linux
Open

ci: build and publish linux.bin#15
diegonehab wants to merge 2 commits into
linux-6.18.38-ctsi-yfrom
feature/build-linux

Conversation

@diegonehab

Copy link
Copy Markdown
Contributor

Summary

  • Build the Cartesi Linux kernel directly from this repository.
  • Bundle the kernel with OpenSBI v1.3.1-ctsi-2 as linux.bin.
  • Upload linux.bin and its SHA-512 checksum on every push.
  • Publish the artifacts to a draft GitHub release for version tags.

This moves linux.bin production out of machine-linux-image.

Validation

  • Built Linux 6.18.38-ctsi-1 with cartesi_defconfig.
  • Built the OpenSBI Cartesi firmware payload.
  • Verified the resulting linux.bin.
  • Ran actionlint.

Bundle the Cartesi-specific changes on top of Linux 6.18.38:

- drivers/cartesi: add cmio device (/dev/cmio) for guest-host
  communication via shared tx/rx buffers (mmap) and SBI yield,
  plus Kconfig/Makefile and cartesi_defconfig
- riscv/sbi: forward the application exit status through the reboot
  reason and use the SBI v0.1 shutdown ABI even when v0.3+ is present
- panic: halt the machine on kernel panic
- reboot: lower restart/halt/poweroff messages from pr_emerg to
  pr_notice so they can be silenced via loglevel
- selftests: add cmio echo and open-twice tests

Co-authored-by: Victor Fusco <1221933+vfusco@users.noreply.github.com>
Co-authored-by: Marcelo Politzer <251334+mpolitzer@users.noreply.github.com>
Co-authored-by: Diego Nehab <1635557+diegonehab@users.noreply.github.com>
@diegonehab
diegonehab requested a review from mpolitzer August 21, 2026 15:01
@diegonehab diegonehab self-assigned this Aug 21, 2026
@diegonehab diegonehab added the enhancement New feature or request label Aug 21, 2026
@diegonehab
diegonehab force-pushed the feature/build-linux branch from f01dcff to 3e60acf Compare August 21, 2026 19:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

Status: Todo

Development

Successfully merging this pull request may close these issues.

2 participants