Ribeiro, 2023
| Publication | Publication Date | Title |
|---|---|---|
| Bugnion et al. | Hardware and software support for virtualization | |
| Chisnall | The definitive guide to the xen hypervisor | |
| EP2397943B1 (en) | Uniform storage device by partial virtualization machine | |
| US9384024B2 (en) | Dynamic device virtualization | |
| US8145471B2 (en) | Non-destructive simulation of a failure in a virtualization environment | |
| EP2941694B1 (en) | Capability based device driver framework | |
| CN102214277A (en) | Method and device for establishing trusted environments for virtual machine system of multicore processor | |
| WO2014107540A1 (en) | Software interface for a hardware device | |
| Axnix et al. | IBM z13 firmware innovations for simultaneous multithreading and I/O virtualization | |
| Xia et al. | Investigating virtual passthrough I/O on commodity devices | |
| Vahidi et al. | VETE: Virtualizing the Trusted Execution Environment | |
| Blazevic et al. | Teevsel4: Trusted execution environment for virtualized sel4-based systems | |
| Avanzini et al. | Integrating Linux and the real-time ERIKA OS through the Xen hypervisor | |
| EP3435229B1 (en) | System integration using virtualization | |
| WO2025071828A1 (en) | System and method to develop firmware using system virtualization based co-simulation | |
| Zampiva et al. | A hypervisor approach with real-time support to the MIPS M5150 processor | |
| US11550609B2 (en) | Unified hypercall interface across processors in virtualized computing systems | |
| Ramos | Exploring IVSHMEM in the Jailhouse Hypervisor | |
| Grinberg et al. | Architectural virtualization extensions: A systems perspective | |
| Ribeiro | VirtIO Infrastructure for a Static Partition Hypervisor: virtio-blk and virtio-console | |
| Haglund et al. | Trustworthy isolation of dma enabled devices | |
| Sundar Rajan et al. | Virtualizing an automotive state-of-the-art microcontroller: techniques and its evaluation | |
| Kanda et al. | SIGMA system: A multi-OS environment for embedded systems | |
| Garrido | Study and Implementation of a Hardware Cross Architecture Virtualization Accelerator | |
| Zaki | An embedded multi-core platform for mixed-criticality systems: Study and analysis of virtualization techniques |