Andri Saar

Results 11 issues of Andri Saar

The main use case left for qemu that we have is that debugging with qemu works (according to @conradgrobler if you try to set a breakpoint when attached to crosvm,...

baremetal

In our current memory layout stack is placed right after `.bss`, and as we haven't fixed #2983 yet the memory is writable. Therefore, if you're not careful, you can overflow...

baremetal

Our page allocation algorithm is really trivial right now: there is none. Specifically, we have identity mapping between physical and virtual addresses, and just pick the largest contiguous bit of...

baremetal

Our kernel right now expects identity mapping between physical and virtual addresses, and thus resides in the lower half of the canonical address space (see https://en.wikipedia.org/wiki/X86-64#Virtual_address_space_details for more details). Traditionally...

baremetal

Our current page table setup code, inherited from `rust-hypervisor-firmware`, sets up identity paging for the lower 4G of memory and marks every page as `WRITABLE`: https://github.com/project-oak/oak/blob/fd3ca98c97bb7b7129ecf7dd01f53e023fc76dd2/third_party/rust-hypervisor-firmware-boot/src/paging.rs#L26 This is obviously less...

baremetal

``` [15:04:27 ✓:0,✗:0,⠇:2] ┌[cargo udeps] [15:04:27 ✓:0,✗:0,⠇:2] │┌[./Cargo.toml] [15:04:27 ✓:0,✗:0,⠇:2] ││ cargo udeps --manifest-path=./Cargo.toml --all-targets --backend=depinfo --workspace [15:07:33 ✓:0,✗:0,⠇:2] ││ ╔════════════════════════ [15:07:33 ✓:0,✗:0,⠇:2] ││ ║ ════╡ stdout ╞════ [15:07:33 ✓:0,✗:0,⠇:2]...

Right now the UEFI app under `experimental/uefi` is excluded from workspace in the root `Cargo.toml` file, as we need a custom `.cargo/config.toml` file for the UEFI app. Ideally, we'd want...

baremetal

Figure out what's happening in there (timeout of some sort?) as when we ignore `None`-s we eventually get a `Some` containing the reply we were waiting for.

baremetal

The key thing in the zero page is the E820 memory map of what physical memory address ranges are valid. QEMU provides the `fw_cfg` API for this: https://github.com/qemu/qemu/blob/master/docs/specs/fw_cfg.rst Unfortunately the...

stage0