Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
ksco committed Sep 28, 2023
1 parent 64938fa commit 747cf4f
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 8 deletions.
1 change: 0 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
# MODE: machine or user
MODE = machine
VLEN = 256
XLEN = 64
Expand Down
14 changes: 7 additions & 7 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,16 +28,16 @@ For starters, you can directly download the pre-generated tests from Github Acti
make -j$(nproc)
```

After `make`, you will find all the generated tests in `out/bin/stage2/`.
After `make`, you will find all the generated tests in `out/v[vlen]x[xlen][mode]/bin/stage2/`.

The default VLEN is 256, if you want to generate tests for a different VLEN/XLEN, you can use `make -e VLEN=512 XLEN=64 -j$(nproc)`.
Options:

> NOTE:
> 1. We do not support specifying ELEN yet, ELEN is consistent with XLEN.
- `VLEN`, default is 256, we do not support specifying ELEN yet, ELEN is consistent with XLEN
- `XLEN`, default is 64
- `MODE`, default is `machine`, can be `machine`, `virtual` or `user`
- `INTEGER`, default is 0, set to 1 if you don't want float tests (i.e. for Zve32x or Zve64x)

If you want to generate user-mode binaries, you can use `make -e MODE=user -j$(nproc)`.

If you don't want float tests (i.e. for Zve32x or Zve64x), you can use `make -e INTEGER=1 -j$(nproc)`
For example, to generate `isa=rv32gcv varch=vlen:128,elen:32 mode=machine` tests, use `make -e VLEN=128 XLEN=32 MODE=machine -j$(nproc)`.

### Nix package

Expand Down

0 comments on commit 747cf4f

Please sign in to comment.