Skip to content

Conversation

@srgrint
Copy link
Contributor

@srgrint srgrint commented May 2, 2023

As discussed in #1392 , a use after free bug in the kernel prevents heads kernel being compiled on debian 12.

This has been fixed in #1393 for boards using 5.10.5
The bug also affects boards using kernel 4.14.62. This PR will fix this and allow building of boards using this kernel on debian 12.

Clearly the future is for all boards to use 5.10 kernels (as per WIP #1381). Nevertheless, might be sensible to fix in 4.14 branch in the interim until no boards use the old kernel.

@tlaurion
Copy link
Collaborator

tlaurion commented May 3, 2023

As noted per @JonathonHall-Purism at #1393 (comment) for kernel 5.10:

Yes thank you @tlaurion, reviewed the patch and looks correct to fix this issue (and it's in a host tool not the kernel proper, so low impact risk anyway). Let's merge

@tlaurion tlaurion merged commit 3c98f08 into linuxboot:master May 3, 2023
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