就在小米10系列手机发布后，有微博网友发现小米已经在GitHub上开源了小米10系列内核代码。