 Woshiluo Luo
|
c9c79ff4ae
refactor(prototyper): move expected_trap to early_trap
|
3 месяцев назад |
|
Woshiluo Luo
|
c19e2601f1
fix(prototyper): rename csr_test to has_csr
|
3 месяцев назад |
|
Woshiluo Luo
|
86cda7ef36
feat(prototyper): detectoin privileged version
|
3 месяцев назад |
 guttatus
|
22054e2db2
fix: fix typo
|
3 месяцев назад |
|
guttatus
|
f045c64fc5
feat(prototyper): Added support for 32-bit wide Uart16550 device
|
3 месяцев назад |
|
guttatus
|
36b315311d
feat(prototyper): Added `riscv,isa` attributes
|
3 месяцев назад |
|
Woshiluo Luo
|
492528e10d
fix(bench-kernel): update logo
|
3 месяцев назад |
|
Woshiluo Luo
|
afa1907da5
feat(bench-kernel): impl ipi test
|
3 месяцев назад |
|
guttatus
|
3f26f9eb6d
feat(prototyper): Add feature `fdt` to support Prototyper packaging device tree
|
3 месяцев назад |
|
guttatus
|
085540a878
Merge pull request #40 from guttatus/xtask
|
3 месяцев назад |
|
guttatus
|
e240c93ee5
fix(prototyper): Replace environment variable name
|
3 месяцев назад |
|
guttatus
|
58bcfaf4fd
docs(prototyper): Use the new workflow to replace the old one
|
3 месяцев назад |
|
guttatus
|
564569fe10
workflow(prototyper): Use `cargo-xtask` instead of `cargo-make`
|
3 месяцев назад |
|
guttatus
|
5c717714cd
Merge pull request #38 from guttatus/fmt
|
4 месяцев назад |
|
guttatus
|
afd3fa76ce
merge(prototyper): Merge the main branch and resolve conflicts
|
4 месяцев назад |
|
guttatus
|
5494737a73
Merge pull request #32 from woshiluo/ipi_error
|
4 месяцев назад |
|
guttatus
|
943f5dc6b0
refactor(prototyper): remove unused code
|
4 месяцев назад |
|
guttatus
|
896df57817
feat(prototyper): Optimize console output format
|
4 месяцев назад |
 Zhouqi Jiang
|
4821073b56
spec: binary: optimize `count`, `last`, `min`, `max` and `is_sorted` to O(1) for iterator `HartIds`
|
4 месяцев назад |
|
Zhouqi Jiang
|
9ec3a8d2aa
spec: binary: implement full-range constructor (`HartMask::all`) and iterator for `HartMask`
|
4 месяцев назад |
|
Zhouqi Jiang
|
f563672f4e
spec: binary: add iterator tests over HartIds
|
4 месяцев назад |
|
Luo Jia / Zhouqi Jiang
|
91895aeca3
Merge pull request #82 from woshiluo/woshiluo/hartmask-iter
|
4 месяцев назад |
|
Woshiluo Luo
|
b334030777
spec: rename HartMaskIter to HartIds
|
4 месяцев назад |
|
Woshiluo Luo
|
06f2a86477
Merge remote-tracking branch 'origin/main' into ipi_error
|
4 месяцев назад |
|
guttatus
|
eb2f8bbcb1
Merge pull request #31 from chenzongyao200127/main
|
4 месяцев назад |
|
Woshiluo Luo
|
94538522f7
spec: add inline hint for HartMaskIter::next
|
4 месяцев назад |
|
Woshiluo Luo
|
9e2fb98d57
spec: impl Clone, Copy, Debug, Eq, PartialEq and Hash for HartMaskIter and MaskError
|
4 месяцев назад |
|
Woshiluo Luo
|
a8f81b432f
spec: add remove and insert method for HartMask
|
4 месяцев назад |
|
Woshiluo Luo
|
6973210cd3
spec: Add iteration for HartMask
|
4 месяцев назад |
|
Woshiluo Luo
|
f7afda1f73
feat: add invalid_parma return for send_ipi_by_fence
|
4 месяцев назад |
