Skip to content

Fix Shen-CL kernel bootstrap - #16

Merged
pyrex41 merged 3 commits into
masterfrom
agent/fix-shen-cl-ci-kernel-fetch
Aug 24, 2026
Merged

Fix Shen-CL kernel bootstrap#16
pyrex41 merged 3 commits into
masterfrom
agent/fix-shen-cl-ci-kernel-fetch

Conversation

@pyrex41

@pyrex41 pyrex41 commented Aug 19, 2026

Copy link
Copy Markdown
Owner

Summary

  • make the default fetch target assemble the supported Shen 41.2 hybrid kernel
  • keep the unmodified community archive available as fetch-community
  • use the supported kernel path in CI and release workflows
  • clarify the bootstrap workflow and kernel provenance in the README

Root cause

The community ShenOSKernel 41.2 archive initializes *property-vector* in init.kl, while this Shen-CL branch intentionally builds against Mark Tarver’s refreshed kernel layout and omits that legacy initialization path. A fresh make fetch therefore produced an incompatible kernel and failed during SBCL bootstrap with an unbound *property-vector*.

Validation

  • fresh make fetch
  • make precompile SHEN=/Users/reuben/projects/shen-go/.bin/shen-go
  • make build-sbcl
  • 134 upstream kernel tests passed
  • 136 Shen-CL port assertions passed
  • 16 CLI parity checks passed
  • bin/sbcl/shen --version reports Shen 41.2

Closes #15

@pyrex41
pyrex41 marked this pull request as ready for review August 24, 2026 13:54
@pyrex41
pyrex41 merged commit e984e1e into master Aug 24, 2026
1 check passed
@pyrex41
pyrex41 deleted the agent/fix-shen-cl-ci-kernel-fetch branch August 24, 2026 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

make fetch 41.2 bootstrap fails with unbound *property-vector*

1 participant