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