Hesham Almatary comments

Repositories
Issues
Comments

Results 23 comments of


                                            Hesham Almatary

test MULTICORE_0004 sometimes hangs

Not sure if it's the same issue (might be relevant), but there was similar behaviour that we had to do [this](https://github.com/seL4/seL4/commit/3d2ae69f9cb184c34b6b56d1365e57693e832db4). The code has changed since then

Verilator test bench for the 'vscale-generic' system

This port was done more than a year ago, so ABI most likely has changed. From what I remember, the entry address here is 0x200 (this has changed on RISC-V...

Verilator test bench for the 'vscale-generic' system

The VScale port is originally ported from here [1]. I haven't tried to run any sophisticated programs/tests. There's no active contributions to this repo currently, so I'd say it's just...