Skip to content
This repository was archived by the owner on Feb 27, 2026. It is now read-only.
This repository was archived by the owner on Feb 27, 2026. It is now read-only.

Clean up tellus / guestvm linking #266

@abrestic-rivos

Description

@abrestic-rivos

We should be inserting the guestvm binary into the tellus binary via a linker section, similar to how the u-mode binary is injected into salus, rather than the janky script we have that just appends the two binaries together.

cc: @stillson

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions