AhmadSalehEsfahani issues

Repositories
Issues
Comments

Results 1 issues of


                                            AhmadSalehEsfahani

Compatibility Problems with Raspberry Pi 4

I am experiencing the same issue mentioned in [this](https://github.com/seL4/microkit/pull/71) pull request, but with a Raspberry Pi 4. Running a “Hello World” sample on the Raspberry Pi 4 using [Ivan’s fork](https://github.com/Ivan-Velickovic/microkit)...