New comment by the-maldridge on void-packages repository https://github.com/void-linux/void-packages/pull/23228#issuecomment-689129569 Comment: I'm not super enthused about yet another vendor kernel. Is it not possible to use our standard linux packages to target this device?