I don't know about userspace bloat but they do have a VM kernel that I appreciate. It's small and only has basic virtual device drivers. As a bonus you don't ne

I don't know about userspace bloat but they do have a VM kernel that I appreciate. It's small and only has basic virtual device drivers. As a bonus you don't need to download the huge firmware package every few days. Does Core have a special kernel or regular one with the firmware package?