[pandax381]

Thanks for pointing that out, that's a great observation. It's a tricky one, because the LICENSE file is inherited from the upstream mit-pdos/xv6-riscv repository, which also isn't recognized as MIT by GitHub. I'll look into fixing it.