caa3d18a09117d7d290380fb70d97882161c0c4a	refs/heads/riscv
5474d4bf72fd95a6e5c735c2d7f208f58990ceab	refs/remotes/origin/HEAD
5474d4bf72fd95a6e5c735c2d7f208f58990ceab	refs/remotes/origin/riscv
7d7adbb1b0acbd67c9766a20d0f9900fef2789fa	refs/tags/xv6-riscv-rev5
