Pavel Pisa

I have interest in this but I would like to discuss it to make it reasonable to add value and not to make QtRvSim less understandable for novices. My actual...

NuttX allows to select multiple option for math library (LIBM) and availability of thee options depends on the actual target and used toolchain. I expect that you have used `./tools/configure.sh...

It would help if you specify which compiler and libraries you attempt to use. The QtRvSim list of supported system-calls is very limited (ftruncate, openat, close, read, write, readv, writev,...

As for the time measuremet, clock_gettime() syscall worth to be implemented. The way how you can use to access some time related information in the current QtRvSim version is read...

@jdupak thanks for review of interfacing to the memory model architecture.

From my side, the changes to the processor pipeline diagram has been applied directly to the SVG files ([src/gui/windows/coreview/schemas](https://github.com/cvut/qtrvsim/tree/master/src/gui/windows/coreview/schemas)), but current design uses DRAW.IO source ([extras/core_graphics](https://github.com/cvut/qtrvsim/tree/master/extras/core_graphics)) as the authoritative source...

For memory view, I would not complicate it with `Show virtual` checkbox. I would use only switching between `As CPU (VMA)`, `Cached` and `Raw`.

I am going through the code. I have one overall remark, that there are lot of formatting changes included in functional changes. I am not reluctant to formatting changes even...

I am do not like `is_mmio_region()` and `bypass_mmio()` concept. The peripherals accesses should go through regular address translation. It is responsibility of the OS to map regions related to I/O...

Not so critical for now, but should be solved in the longer time perspective. `SRET` can be executed even in `M` mode. So the type of the return should be...