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

Add more Rustified version of kernel_check #862

Merged
merged 1 commit into from
Nov 25, 2024
Merged

Conversation

squell
Copy link
Member

@squell squell commented Sep 2, 2024

The PR in #854 didn't strike me as particular elegant; and if we move to different OS's we might probably need different kernel checks as well. So this cleans up that routine.

@squell squell added the minor minor issue, PR without an issue label Sep 2, 2024
@squell squell force-pushed the update-kernel-check branch 2 times, most recently from 493c574 to 3fe10bd Compare September 3, 2024 10:03
@squell squell enabled auto-merge (rebase) September 3, 2024 10:07
@squell squell force-pushed the update-kernel-check branch from 3fe10bd to 081ea55 Compare October 8, 2024 12:09
@squell squell mentioned this pull request Oct 9, 2024
3 tasks
@squell squell force-pushed the update-kernel-check branch from 081ea55 to 5bffcf4 Compare October 22, 2024 11:50
@squell squell disabled auto-merge October 22, 2024 11:50
@squell squell enabled auto-merge (rebase) October 22, 2024 11:51
src/system/kernel.rs Outdated Show resolved Hide resolved
@squell squell force-pushed the update-kernel-check branch from 5bffcf4 to 2f9d3db Compare November 25, 2024 13:00
@squell squell requested a review from bjorn3 November 25, 2024 13:00
@squell squell force-pushed the update-kernel-check branch from 2f9d3db to 4a04b47 Compare November 25, 2024 13:01
@squell squell force-pushed the update-kernel-check branch from 4a04b47 to 9a39b57 Compare November 25, 2024 13:06
@squell squell force-pushed the update-kernel-check branch from 9a39b57 to 5dd3c71 Compare November 25, 2024 13:09
@squell squell merged commit 9e5dd66 into main Nov 25, 2024
13 checks passed
@squell squell deleted the update-kernel-check branch November 25, 2024 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
minor minor issue, PR without an issue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants