Searched refs:rialto (Results 1 – 7 of 7) sorted by relevance
7 crate_name: "rialto",32 stem: "rialto",90 filename: "rialto",113 filename: "rialto.bin",
224 let rialto = File::open(RIALTO_PATH).context("Failed to open Rialto kernel binary")?; in protected_vm_instance() localVariable229 bootloader: Some(ParcelFileDescriptor::new(rialto)), in protected_vm_instance()
25 "//packages/modules/Virtualization/rialto:__subpackages__",
308 let rialto = File::open(UNSIGNED_RIALTO_PATH).context("Failed to open Rialto kernel binary")?; in nonprotected_vm_instance() localVariable316 bootloader: Some(ParcelFileDescriptor::new(rialto)), in nonprotected_vm_instance()
124 "path": "packages/modules/Virtualization/rialto"
19 [Rialto](../rialto) is used as the bare-metal kernel for the Service VM. It
1dictionary=main:it,locale=it,description=Italiano,date=1414726258, ...