Skip to content

Choose the Linux kernel based on the chosen monitor#50

Merged
cmainas merged 1 commit into
mainfrom
choose_kernel
May 21, 2026
Merged

Choose the Linux kernel based on the chosen monitor#50
cmainas merged 1 commit into
mainfrom
choose_kernel

Conversation

@cmainas

@cmainas cmainas commented May 19, 2026

Copy link
Copy Markdown
Collaborator

If the user specifies a specific monitor for the contianer (e.g. Firecracker), then bunny should inlcude the respective kernel image for that monitor.

If the user specifies a specific monitor for the contianer (e.g.
Firecracker), then bunny should inlcude the respective kernel image for
that monitor.

Signed-off-by: Charalampos Mainas <cmainas@nubificus.co.uk>

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

Selects the default Linux kernel image based on the requested monitor (qemu vs firecracker) when the user does not provide a kernel binary in a containerfile-style build.

Changes:

  • Split the single defaultKernelImage constant into defaultQemuKernelImage and defaultFirecrackerKernelImage.
  • In containerfileToPack, choose the kernel source image based on the com.urunc.unikernel.hypervisor annotation.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread hops/parse_file.go
Comment on lines +199 to +202
if instr.Annots["com.urunc.unikernel.hypervisor"] == "qemu" {
aCopy.SrcState = llb.Image(defaultQemuKernelImage)
} else {
aCopy.SrcState = llb.Image(defaultFirecrackerKernelImage)
@cmainas
cmainas merged commit 66942ab into main May 21, 2026
7 checks passed
@cmainas
cmainas deleted the choose_kernel branch May 21, 2026 13:15
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.

2 participants