Skip to content

kernel: refactor our kernel generation code#1465

Merged
brianmcgillion merged 7 commits intotiiuae:mainfrom
brianmcgillion:clean-kernel
Oct 17, 2025
Merged

kernel: refactor our kernel generation code#1465
brianmcgillion merged 7 commits intotiiuae:mainfrom
brianmcgillion:clean-kernel

Conversation

@brianmcgillion
Copy link
Copy Markdown
Collaborator

@brianmcgillion brianmcgillion commented Oct 15, 2025

Consolidate the kernel configuration code for both the host and the guests.

Make explicit modules for these kernels.

This PR does not add or update the hardening configuration. I is the ground work to allow for a hardended configuration in the future. However, it does align the kernel versions that are in use in the x86_64 targets.

Description of Changes

Type of Change

  • New Feature
  • Bug Fix
  • Improvement / Refactor

Related Issues / Tickets

Checklist

  • Clear summary in PR description
  • Detailed and meaningful commit message(s)
  • Commits are logically organized and squashed if appropriate
  • Contribution guidelines followed
  • Ghaf documentation updated with the commit - https://tiiuae.github.io/ghaf/
  • Author has run make-checks and it passes
  • All automatic GitHub Action checks pass - see actions
  • Author has added reviewers and removed PR draft status

Testing Instructions

Applicable Targets

  • Orin AGX aarch64
  • Orin NX aarch64
  • Lenovo X1 x86_64
  • Dell Latitude x86_64
  • System 76 x86_64

Installation Method

  • Requires full re-installation
  • Can be updated with nixos-rebuild ... switch
  • Other:

Test Steps To Verify:

  1. ...

move the config for pkvm up, so it can be applied as required.

Signed-off-by: Brian McGillion <bmg.avoin@gmail.com>
Move the tests up, so they can be more generically applied and run.

Signed-off-by: Brian McGillion <bmg.avoin@gmail.com>
Keep the kernel modules with the kernel configs and not in the toplevel
packages for better alignment and modularity.

Signed-off-by: Brian McGillion <bmg.avoin@gmail.com>
Each kernel, Guest and host should have their own configurations. Making
this explicit.

This PR does not update the hardening baseline that is in use. It just
creates a baseline to allow that in a follow on work

Signed-off-by: Brian McGillion <bmg.avoin@gmail.com>
The profile is the correct place to define the hardening config that is
to be used for a particular target.

Signed-off-by: Brian McGillion <bmg.avoin@gmail.com>
Create explicit modules for the kernel that can be included in the
respective vms or the host.

Signed-off-by: Brian McGillion <bmg.avoin@gmail.com>
Include the definition of the kernel into each of the VMs and the host.

Signed-off-by: Brian McGillion <bmg.avoin@gmail.com>
@brianmcgillion brianmcgillion merged commit df753db into tiiuae:main Oct 17, 2025
27 of 28 checks passed
@brianmcgillion brianmcgillion deleted the clean-kernel branch October 17, 2025 08:14
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