LekKit

Okay I've built the firmware. It seems that `RISCV_VIRT_CODE.fd` should be loaded as S-mode kernel, and `RISCV_VIRT_VARS.fd` should be in rw `pstore` flash device. I've tried to run `RISCV_VIRT_CODE.fd` as...

Question: Does it only support UEFI or some way to simply load a kernel like with U-Boot scripts is also present?

For now I figured that EDK2 isn't loaded at usual `0x80200000` kernel payload address, but at some different location and QEMU is using `fw_dynamic` instead of `fw_jump` to specify jump...

I am able to get EDK2 output even when I use RVVM device tree with QEMU (or any tiny device tree with plic, clint, uart only). It crashes, but it...

I know about `fw_dynamic`. I want to figure out how exactly edk2 wants to be loaded/jumped into because it seems that `RISCV_VIRT_CODE.fd` has some custom layout as opposed to directly...

Okay so apparently it jumps into `0x20000000` which is a base address of the CFI flash: ``` flash@20000000 { bank-width = ; reg = ; compatible = "cfi-flash"; } ```...

I also would like to ask a few unrelated/barely related questions that I had for a while: - Should RVVM have ACPI support at any point in future? I honestly...

> I think it can if it do not need too invasive and global changes to Haiku kernel. First some detailed discussion is needed about necessary kernel features and kernel...

Ah, almost forgot about interrupts. This API is pretty similar to Linux KVM API but simplified a lot (And based on a notion that a lot of work is moved...

About EDK2: Maybe it makes more sense to ask them for an S-mode payload without cfi-flash requirement? If they won't agree then we can implement RVVM support anyways, but it...