Iker Galardi
Iker Galardi
Issue to point out some issues I noticed while trying to compile the engine. Will use this in order to track the progress and I'll go adding more tasks when...
**Describe the bug** Setup wizard does not show any Snapshot location **To Reproduce** 1.- Click button 'Wizard' to launch the setup wizard. 2.- Select RSYNC snapshot type and click next....
Getting a compilation error when compilign with clang (used command `make PLATFORM=generic PLATFORM_RISCV_XLEN=64 LLVM=1`: ``` opensbi/lib/utils/serial/semihosting.c:158:12: error: result of comparison of constant -1 with expression of type 'char' is always...
I think it can be valuable to include the compressonator SDK in the release for linux also. The archive should include the next items: - Compressonator static/dynamic libraries. - Include...
Currently the device tree passed to the supervisor software does not properly set the `boot_cpuid_phys` field in the header. It always returns 0 (I guess the default value set by...
Certain compiler toolchains produce executable files that are not aligned to page boundaries, making the kernel unable to load executables from those toolchains. Using this patch the operating system supports...
Currently adding landing pad support to an operating system other than linux (https://github.com/IkerGalardi/zeptOS/pull/31/) and running into a page fault loop. The next are logs from qemu when interrupt logging is...