On 2020-04-03 13:04, CKI Project wrote: > All kernel binaries, config files, and logs are available for download here: > > https://cki-artifacts.s3.us-east-2.amazonaws.com/index.html?prefix=datawarehouse/2020/04/03/518551 >From the build log: ERROR: modpost: "sysrq_mask" [drivers/tty/serial/serial_core.ko] undefined! So why has this report been sent to the linux-block mailing list? Does the build bot perhaps need to become smarter? Thanks, Bart.
