Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

MhmRhm
Copy link

@MhmRhm MhmRhm commented Aug 17, 2025

No description provided.

@lurch
Copy link
Contributor

lurch commented Sep 2, 2025

ping @XECDesign @popcornmix and @pelwell for feedback.

@XECDesign
Copy link
Contributor

The deb-pkg target is not something I would claim to support or recommend.

@MhmRhm
Copy link
Author

MhmRhm commented Sep 3, 2025

since documentation has not said anything about installing headers from source, using dep packages seems like a good option. Otherwise how a reader who is new to this topic will know where to get headers?
Installing kernel with dep packages doesn't work but headers does. Maybe we can add a disclaimer about this fact?

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.

3 participants