Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update COMPILATION.md #308

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

SjonHortensius
Copy link

update instruction for retrieving CONFIG from kernel - as /boot doesn't always contain this information but /proc/config.gz does (since Linux 2.6)

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
update instruction for retrieving CONFIG from kernel - as /boot doesn't always contain this information but `/proc/config.gz` does (since Linux 2.6)

Signed-off-by: SjonHortensius <[email protected]>
Copy link

vercel bot commented Mar 25, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
kyanos ✅ Ready (Inspect) Visit Preview 💬 Add feedback Mar 27, 2025 8:12am

@dosubot dosubot bot added size:XS This PR changes 0-9 lines, ignoring generated files. documentation Improvements or additions to documentation labels Mar 25, 2025
@Issues-translate-bot
Copy link

Bot detected the issue body's language is not English, translate it automatically. 👯👭🏻🧑‍🤝‍🧑👫🧑🏿‍🤝‍🧑🏻👩🏾‍🤝‍👨🏿👬🏿


The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
kyanos 🔄 Building (Inspect) Visit Preview 💬 Add feedback Mar 25, 2025 10:54am

@hengyoush
Copy link
Owner

Thank you for your contribution. I've noticed that on my Ubuntu 22.04, I don't seem to have this /proc/config.gz. Can we check these two locations instead?

# cat /proc/config.gz
cat: /proc/config.gz: No such file or directory

# uname -ar
Linux VM-4-9-ubuntu 5.15.0-72-generic #79-Ubuntu SMP Wed Apr 19 08:22:18 UTC 2023 x86_64 x86_64 x86_64 GNU/Linux

@SjonHortensius
Copy link
Author

I found https://ubuntuforums.org/showthread.php?t=1673268 - apparently ubuntu decided to 'optimize' this interface away. I'll rewrite this to search both locations

support both the normal, and the ubuntu way of doing things

Signed-off-by: SjonHortensius <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation size:XS This PR changes 0-9 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants