While you're at it, would you consider removing the trailing slash in the gitignore rule for xv6-riscv-src/? So that it can be a symlink, and still gets ignored. (It'd only make a differente, I think, if a subset of files under that directory were committed to git.)
While you're at it, would you consider removing the trailing slash in the gitignore rule for
xv6-riscv-src/? So that it can be a symlink, and still gets ignored. (It'd only make a differente, I think, if a subset of files under that directory were committed to git.)I can send a PR if desired.