Arch Linux and Arch-based users, would you like to see a kernel available at https://t.co/NKAI8ndYsS? I’ve been thinking about this for a while, but I would like to have the community feedback: are custom kernels needed or are the stock ones enough?

• Bruno