Gentoo kernel are built and tested using GKernelCI results are on https://kernel1.amd64.dev.gentoo.org and on #gentoo-kernelci Unfortunately, the current environment is too much slow. Taking minutes for building and testing, can be a risky situation when there are for example CVE to mitigate. Currently, building is done with buildbot and testing with lava-docker. I would ask to have a dedicated machine for GKernelCI powerful enough that can build and tests multiple kernel in few minutes. Reproducible: Always
(In reply to Alice Ferrazzi from comment #0) > Gentoo kernel are built and tested using GKernelCI > results are on https://kernel1.amd64.dev.gentoo.org and on #gentoo-kernelci > > Unfortunately, the current environment is too much slow. > Taking minutes for building and testing, can be a risky situation when there > are for example CVE to mitigate. > > Currently, building is done with buildbot and testing with lava-docker. > > I would ask to have a dedicated machine for GKernelCI powerful enough that > can build and tests multiple kernel in few minutes. > > > Reproducible: Always If you look at https://projects.gentoo.org/foundation/forms/conference-funding-request.txt you see a bunch of requirements that are not met here. I have no idea how much money we are supposed to approve, nor what we are even buying. Are you asking us to help you select something (in which case maybe assign to gentoo-infra team to help you in a consultation?)
