Jooyung Han | 347d9f2 | 2021-05-28 00:05:14 +0900 | [diff] [blame] | 1 | // Copyright 2021, The Android Open Source Project |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | |
| 15 | //! Microdroid Manager |
| 16 | |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 17 | mod dice; |
Jiyong Park | 21ce2c5 | 2021-08-28 02:32:17 +0900 | [diff] [blame] | 18 | mod instance; |
Jooyung Han | f48ceb4 | 2021-06-01 18:00:04 +0900 | [diff] [blame] | 19 | mod ioutil; |
Jooyung Han | 7a343f9 | 2021-09-08 22:53:11 +0900 | [diff] [blame] | 20 | mod payload; |
Keir Fraser | 933f0ac | 2022-10-12 08:23:28 +0000 | [diff] [blame] | 21 | mod swap; |
Alice Wang | 59a9e56 | 2022-10-04 15:24:10 +0000 | [diff] [blame] | 22 | mod vm_payload_service; |
Jooyung Han | 347d9f2 | 2021-05-28 00:05:14 +0900 | [diff] [blame] | 23 | |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 24 | use crate::dice::{DiceContext, DiceDriver}; |
Inseob Kim | e379e7d | 2022-07-22 18:55:18 +0900 | [diff] [blame] | 25 | use crate::instance::{ApexData, ApkData, InstanceDisk, MicrodroidData, RootHash}; |
Alice Wang | 59a9e56 | 2022-10-04 15:24:10 +0000 | [diff] [blame] | 26 | use crate::vm_payload_service::register_vm_payload_service; |
Alan Stokes | 2bead0d | 2022-09-05 16:58:34 +0100 | [diff] [blame] | 27 | use android_system_virtualizationcommon::aidl::android::system::virtualizationcommon::ErrorCode::ErrorCode; |
Seungjae Yoo | dd91f0f | 2022-11-09 15:25:21 +0900 | [diff] [blame] | 28 | use android_system_virtualmachineservice::aidl::android::system::virtualmachineservice::IVirtualMachineService::{ |
David Brazdil | 451cc96 | 2022-10-14 14:08:12 +0100 | [diff] [blame] | 29 | IVirtualMachineService, VM_BINDER_SERVICE_PORT, |
Alan Stokes | 2bead0d | 2022-09-05 16:58:34 +0100 | [diff] [blame] | 30 | }; |
Inseob Kim | 090b70b | 2022-11-16 20:01:14 +0900 | [diff] [blame^] | 31 | use android_system_virtualization_payload::aidl::android::system::virtualization::payload::IVmPayloadService::{ |
| 32 | VM_APK_CONTENTS_PATH, |
| 33 | VM_PAYLOAD_SERVICE_SOCKET_NAME, |
| 34 | }; |
Jooyung Han | dd0a173 | 2021-11-23 15:26:20 +0900 | [diff] [blame] | 35 | use anyhow::{anyhow, bail, ensure, Context, Error, Result}; |
Alice Wang | 1bf3d78 | 2022-09-28 07:56:36 +0000 | [diff] [blame] | 36 | use apkverify::{get_public_key_der, verify, V4Signature}; |
Alice Wang | 43c884b | 2022-10-24 09:42:40 +0000 | [diff] [blame] | 37 | use binder::Strong; |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 38 | use diced_utils::cbor::{encode_header, encode_number}; |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 39 | use glob::glob; |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 40 | use itertools::sorted; |
David Brazdil | a07a179 | 2022-10-25 13:37:57 +0100 | [diff] [blame] | 41 | use libc::VMADDR_CID_HOST; |
Inseob Kim | 090b70b | 2022-11-16 20:01:14 +0900 | [diff] [blame^] | 42 | use log::{error, info, warn}; |
Alan Stokes | 0d1ef78 | 2022-09-27 13:46:35 +0100 | [diff] [blame] | 43 | use microdroid_metadata::{write_metadata, Metadata, PayloadMetadata}; |
Seungjae Yoo | fd9a062 | 2022-10-14 10:01:29 +0900 | [diff] [blame] | 44 | use microdroid_payload_config::{OsConfig, Task, TaskType, VmPayloadConfig}; |
Inseob Kim | 090b70b | 2022-11-16 20:01:14 +0900 | [diff] [blame^] | 45 | use nix::fcntl::{fcntl, F_SETFD, FdFlag}; |
Frederick Mayle | b5f7b6b | 2022-11-11 15:24:03 -0800 | [diff] [blame] | 46 | use nix::sys::signal::Signal; |
Andrew Scull | a0d1b1a | 2022-05-24 19:32:47 +0000 | [diff] [blame] | 47 | use openssl::sha::Sha512; |
Jooyung Han | 4a9b3bf | 2021-09-10 17:19:00 +0900 | [diff] [blame] | 48 | use payload::{get_apex_data_from_payload, load_metadata, to_metadata}; |
Andrew Scull | 34916a7 | 2022-01-30 21:34:24 +0000 | [diff] [blame] | 49 | use rand::Fill; |
Andrew Walbran | 7eb5ca4 | 2022-08-08 15:33:34 +0000 | [diff] [blame] | 50 | use rpcbinder::get_vsock_rpc_interface; |
Inseob Kim | 090b70b | 2022-11-16 20:01:14 +0900 | [diff] [blame^] | 51 | use rustutils::sockets::android_get_control_socket; |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 52 | use rustutils::system_properties; |
Joel Galenson | 482704c | 2021-07-29 15:53:53 -0700 | [diff] [blame] | 53 | use rustutils::system_properties::PropertyWatcher; |
Alan Stokes | 3ba10fd | 2022-10-06 15:46:51 +0100 | [diff] [blame] | 54 | use std::borrow::Cow::{Borrowed, Owned}; |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 55 | use std::convert::TryInto; |
Inseob Kim | 7ff121c | 2022-11-14 18:13:23 +0900 | [diff] [blame] | 56 | use std::env; |
David Brazdil | 451cc96 | 2022-10-14 14:08:12 +0100 | [diff] [blame] | 57 | use std::fs::{self, create_dir, OpenOptions}; |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 58 | use std::io::Write; |
Frederick Mayle | b5f7b6b | 2022-11-11 15:24:03 -0800 | [diff] [blame] | 59 | use std::os::unix::process::ExitStatusExt; |
Jooyung Han | f48ceb4 | 2021-06-01 18:00:04 +0900 | [diff] [blame] | 60 | use std::path::Path; |
Inseob Kim | 217038e | 2021-11-25 11:15:06 +0900 | [diff] [blame] | 61 | use std::process::{Child, Command, Stdio}; |
Jiyong Park | 8611a6c | 2021-07-09 18:17:44 +0900 | [diff] [blame] | 62 | use std::str; |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 63 | use std::time::{Duration, SystemTime}; |
Jooyung Han | 634e2d7 | 2021-06-10 16:27:38 +0900 | [diff] [blame] | 64 | |
| 65 | const WAIT_TIMEOUT: Duration = Duration::from_secs(10); |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 66 | const MAIN_APK_PATH: &str = "/dev/block/by-name/microdroid-apk"; |
| 67 | const MAIN_APK_IDSIG_PATH: &str = "/dev/block/by-name/microdroid-apk-idsig"; |
| 68 | const MAIN_APK_DEVICE_NAME: &str = "microdroid-apk"; |
| 69 | const EXTRA_APK_PATH_PATTERN: &str = "/dev/block/by-name/extra-apk-*"; |
| 70 | const EXTRA_IDSIG_PATH_PATTERN: &str = "/dev/block/by-name/extra-idsig-*"; |
Jooyung Han | 19c1d6c | 2021-08-06 14:08:16 +0900 | [diff] [blame] | 71 | const DM_MOUNTED_APK_PATH: &str = "/dev/block/mapper/microdroid-apk"; |
Inseob Kim | 217038e | 2021-11-25 11:15:06 +0900 | [diff] [blame] | 72 | const APKDMVERITY_BIN: &str = "/system/bin/apkdmverity"; |
| 73 | const ZIPFUSE_BIN: &str = "/system/bin/zipfuse"; |
Andrew Scull | ab72ec5 | 2022-03-14 09:10:52 +0000 | [diff] [blame] | 74 | const AVF_STRICT_BOOT: &str = "/sys/firmware/devicetree/base/chosen/avf,strict-boot"; |
| 75 | const AVF_NEW_INSTANCE: &str = "/sys/firmware/devicetree/base/chosen/avf,new-instance"; |
Inseob Kim | e379e7d | 2022-07-22 18:55:18 +0900 | [diff] [blame] | 76 | const DEBUG_MICRODROID_NO_VERIFIED_BOOT: &str = |
| 77 | "/sys/firmware/devicetree/base/virtualization/guest/debug-microdroid,no-verified-boot"; |
Jooyung Han | 347d9f2 | 2021-05-28 00:05:14 +0900 | [diff] [blame] | 78 | |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 79 | const APEX_CONFIG_DONE_PROP: &str = "apex_config.done"; |
Andrew Scull | 65ddfc4 | 2022-02-14 21:03:58 +0000 | [diff] [blame] | 80 | const APP_DEBUGGABLE_PROP: &str = "ro.boot.microdroid.app_debuggable"; |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 81 | const APK_MOUNT_DONE_PROP: &str = "microdroid_manager.apk.mounted"; |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 82 | |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 83 | // SYNC WITH virtualizationservice/src/crosvm.rs |
| 84 | const FAILURE_SERIAL_DEVICE: &str = "/dev/ttyS1"; |
| 85 | |
Jooyung Han | dd0a173 | 2021-11-23 15:26:20 +0900 | [diff] [blame] | 86 | #[derive(thiserror::Error, Debug)] |
| 87 | enum MicrodroidError { |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 88 | #[error("Cannot connect to virtualization service: {0}")] |
| 89 | FailedToConnectToVirtualizationService(String), |
Jooyung Han | dd0a173 | 2021-11-23 15:26:20 +0900 | [diff] [blame] | 90 | #[error("Payload has changed: {0}")] |
| 91 | PayloadChanged(String), |
| 92 | #[error("Payload verification has failed: {0}")] |
| 93 | PayloadVerificationFailed(String), |
Jooyung Han | 5c6d417 | 2021-12-06 14:17:52 +0900 | [diff] [blame] | 94 | #[error("Payload config is invalid: {0}")] |
| 95 | InvalidConfig(String), |
Jooyung Han | dd0a173 | 2021-11-23 15:26:20 +0900 | [diff] [blame] | 96 | } |
| 97 | |
Alan Stokes | 2bead0d | 2022-09-05 16:58:34 +0100 | [diff] [blame] | 98 | fn translate_error(err: &Error) -> (ErrorCode, String) { |
Jooyung Han | dd0a173 | 2021-11-23 15:26:20 +0900 | [diff] [blame] | 99 | if let Some(e) = err.downcast_ref::<MicrodroidError>() { |
| 100 | match e { |
Alan Stokes | 2bead0d | 2022-09-05 16:58:34 +0100 | [diff] [blame] | 101 | MicrodroidError::PayloadChanged(msg) => (ErrorCode::PAYLOAD_CHANGED, msg.to_string()), |
Jooyung Han | dd0a173 | 2021-11-23 15:26:20 +0900 | [diff] [blame] | 102 | MicrodroidError::PayloadVerificationFailed(msg) => { |
Alan Stokes | 2bead0d | 2022-09-05 16:58:34 +0100 | [diff] [blame] | 103 | (ErrorCode::PAYLOAD_VERIFICATION_FAILED, msg.to_string()) |
Jooyung Han | dd0a173 | 2021-11-23 15:26:20 +0900 | [diff] [blame] | 104 | } |
Alan Stokes | 2bead0d | 2022-09-05 16:58:34 +0100 | [diff] [blame] | 105 | MicrodroidError::InvalidConfig(msg) => { |
| 106 | (ErrorCode::PAYLOAD_CONFIG_INVALID, msg.to_string()) |
| 107 | } |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 108 | |
| 109 | // Connection failure won't be reported to VS; return the default value |
| 110 | MicrodroidError::FailedToConnectToVirtualizationService(msg) => { |
Alan Stokes | 2bead0d | 2022-09-05 16:58:34 +0100 | [diff] [blame] | 111 | (ErrorCode::UNKNOWN, msg.to_string()) |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 112 | } |
Jooyung Han | dd0a173 | 2021-11-23 15:26:20 +0900 | [diff] [blame] | 113 | } |
| 114 | } else { |
Alan Stokes | 2bead0d | 2022-09-05 16:58:34 +0100 | [diff] [blame] | 115 | (ErrorCode::UNKNOWN, err.to_string()) |
Jooyung Han | dd0a173 | 2021-11-23 15:26:20 +0900 | [diff] [blame] | 116 | } |
| 117 | } |
| 118 | |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 119 | fn write_death_reason_to_serial(err: &Error) -> Result<()> { |
| 120 | let death_reason = if let Some(e) = err.downcast_ref::<MicrodroidError>() { |
Alan Stokes | 3ba10fd | 2022-10-06 15:46:51 +0100 | [diff] [blame] | 121 | Borrowed(match e { |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 122 | MicrodroidError::FailedToConnectToVirtualizationService(_) => { |
| 123 | "MICRODROID_FAILED_TO_CONNECT_TO_VIRTUALIZATION_SERVICE" |
| 124 | } |
| 125 | MicrodroidError::PayloadChanged(_) => "MICRODROID_PAYLOAD_HAS_CHANGED", |
| 126 | MicrodroidError::PayloadVerificationFailed(_) => { |
| 127 | "MICRODROID_PAYLOAD_VERIFICATION_FAILED" |
| 128 | } |
| 129 | MicrodroidError::InvalidConfig(_) => "MICRODROID_INVALID_PAYLOAD_CONFIG", |
Alan Stokes | 3ba10fd | 2022-10-06 15:46:51 +0100 | [diff] [blame] | 130 | }) |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 131 | } else { |
Alan Stokes | 3ba10fd | 2022-10-06 15:46:51 +0100 | [diff] [blame] | 132 | // Send context information back after a separator, to ease diagnosis. |
| 133 | // These errors occur before the payload runs, so this should not leak sensitive |
| 134 | // information. |
| 135 | Owned(format!("MICRODROID_UNKNOWN_RUNTIME_ERROR|{:?}", err)) |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 136 | }; |
| 137 | |
| 138 | let death_reason_bytes = death_reason.as_bytes(); |
| 139 | let mut sent_total = 0; |
| 140 | while sent_total < death_reason_bytes.len() { |
| 141 | // TODO(b/220071963): Sometimes, sending more than 16 bytes at once makes MM hang. |
| 142 | let begin = sent_total; |
| 143 | let end = std::cmp::min(begin.saturating_add(16), death_reason_bytes.len()); |
| 144 | OpenOptions::new() |
| 145 | .read(false) |
| 146 | .write(true) |
| 147 | .open(FAILURE_SERIAL_DEVICE)? |
| 148 | .write_all(&death_reason_bytes[begin..end])?; |
| 149 | sent_total = end; |
| 150 | } |
| 151 | |
| 152 | Ok(()) |
| 153 | } |
| 154 | |
Inseob Kim | 1b95f2e | 2021-08-19 13:17:40 +0900 | [diff] [blame] | 155 | fn get_vms_rpc_binder() -> Result<Strong<dyn IVirtualMachineService>> { |
Andrew Walbran | 7eb5ca4 | 2022-08-08 15:33:34 +0000 | [diff] [blame] | 156 | get_vsock_rpc_interface(VMADDR_CID_HOST, VM_BINDER_SERVICE_PORT as u32) |
Andrew Walbran | c4ce787 | 2022-07-29 11:26:41 +0000 | [diff] [blame] | 157 | .context("Cannot connect to RPC service") |
Inseob Kim | 1b95f2e | 2021-08-19 13:17:40 +0900 | [diff] [blame] | 158 | } |
| 159 | |
Inseob Kim | 437f105 | 2022-06-21 11:30:22 +0900 | [diff] [blame] | 160 | fn main() -> Result<()> { |
Inseob Kim | 7ff121c | 2022-11-14 18:13:23 +0900 | [diff] [blame] | 161 | // If debuggable, print full backtrace to console log with stdio_to_kmsg |
| 162 | if system_properties::read_bool(APP_DEBUGGABLE_PROP, true)? { |
| 163 | env::set_var("RUST_BACKTRACE", "full"); |
| 164 | } |
| 165 | |
Inseob Kim | 437f105 | 2022-06-21 11:30:22 +0900 | [diff] [blame] | 166 | scopeguard::defer! { |
| 167 | info!("Shutting down..."); |
Jooyung Han | bfe086f | 2021-10-28 10:15:45 +0900 | [diff] [blame] | 168 | if let Err(e) = system_properties::write("sys.powerctl", "shutdown") { |
| 169 | error!("failed to shutdown {:?}", e); |
| 170 | } |
Jooyung Han | 311b120 | 2021-09-14 22:00:16 +0900 | [diff] [blame] | 171 | } |
Inseob Kim | 437f105 | 2022-06-21 11:30:22 +0900 | [diff] [blame] | 172 | |
| 173 | try_main().map_err(|e| { |
| 174 | error!("Failed with {:?}.", e); |
| 175 | if let Err(e) = write_death_reason_to_serial(&e) { |
| 176 | error!("Failed to write death reason {:?}", e); |
| 177 | } |
| 178 | e |
| 179 | }) |
Jooyung Han | 311b120 | 2021-09-14 22:00:16 +0900 | [diff] [blame] | 180 | } |
| 181 | |
Inseob Kim | 090b70b | 2022-11-16 20:01:14 +0900 | [diff] [blame^] | 182 | fn set_cloexec_on_vm_payload_service_socket() -> Result<()> { |
| 183 | let fd = android_get_control_socket(VM_PAYLOAD_SERVICE_SOCKET_NAME)?; |
| 184 | |
| 185 | fcntl(fd, F_SETFD(FdFlag::FD_CLOEXEC))?; |
| 186 | |
| 187 | Ok(()) |
| 188 | } |
| 189 | |
Jooyung Han | 311b120 | 2021-09-14 22:00:16 +0900 | [diff] [blame] | 190 | fn try_main() -> Result<()> { |
Andrew Scull | e127cff | 2022-02-15 15:34:04 +0000 | [diff] [blame] | 191 | let _ = kernlog::init(); |
Jooyung Han | 347d9f2 | 2021-05-28 00:05:14 +0900 | [diff] [blame] | 192 | info!("started."); |
| 193 | |
Inseob Kim | 090b70b | 2022-11-16 20:01:14 +0900 | [diff] [blame^] | 194 | if let Err(e) = set_cloexec_on_vm_payload_service_socket() { |
| 195 | warn!("Failed to set cloexec on vm payload socket: {:?}", e); |
| 196 | } |
| 197 | |
Jiyong Park | 202856e | 2022-08-22 16:04:26 +0900 | [diff] [blame] | 198 | load_crashkernel_if_supported().context("Failed to load crashkernel")?; |
| 199 | |
Keir Fraser | 933f0ac | 2022-10-12 08:23:28 +0000 | [diff] [blame] | 200 | swap::init_swap().context("Failed to initialise swap")?; |
| 201 | info!("swap enabled."); |
| 202 | |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 203 | let service = get_vms_rpc_binder() |
| 204 | .context("cannot connect to VirtualMachineService") |
| 205 | .map_err(|e| MicrodroidError::FailedToConnectToVirtualizationService(e.to_string()))?; |
Seungjae Yoo | fd9a062 | 2022-10-14 10:01:29 +0900 | [diff] [blame] | 206 | |
Jooyung Han | 5c6d417 | 2021-12-06 14:17:52 +0900 | [diff] [blame] | 207 | match try_run_payload(&service) { |
| 208 | Ok(code) => { |
| 209 | info!("notifying payload finished"); |
| 210 | service.notifyPayloadFinished(code)?; |
| 211 | if code == 0 { |
| 212 | info!("task successfully finished"); |
| 213 | } else { |
| 214 | error!("task exited with exit code: {}", code); |
| 215 | } |
| 216 | Ok(()) |
| 217 | } |
| 218 | Err(err) => { |
Jooyung Han | 5c6d417 | 2021-12-06 14:17:52 +0900 | [diff] [blame] | 219 | let (error_code, message) = translate_error(&err); |
| 220 | service.notifyError(error_code, &message)?; |
| 221 | Err(err) |
| 222 | } |
Jooyung Han | dd0a173 | 2021-11-23 15:26:20 +0900 | [diff] [blame] | 223 | } |
| 224 | } |
| 225 | |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 226 | fn dice_derivation( |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 227 | dice: DiceDriver, |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 228 | verified_data: &MicrodroidData, |
| 229 | payload_metadata: &PayloadMetadata, |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 230 | ) -> Result<DiceContext> { |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 231 | // Calculate compound digests of code and authorities |
Andrew Scull | a0d1b1a | 2022-05-24 19:32:47 +0000 | [diff] [blame] | 232 | let mut code_hash_ctx = Sha512::new(); |
| 233 | let mut authority_hash_ctx = Sha512::new(); |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 234 | code_hash_ctx.update(verified_data.apk_data.root_hash.as_ref()); |
| 235 | authority_hash_ctx.update(verified_data.apk_data.pubkey.as_ref()); |
Inseob Kim | b2519c5 | 2022-04-14 02:10:09 +0900 | [diff] [blame] | 236 | for extra_apk in &verified_data.extra_apks_data { |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 237 | code_hash_ctx.update(extra_apk.root_hash.as_ref()); |
| 238 | authority_hash_ctx.update(extra_apk.pubkey.as_ref()); |
| 239 | } |
Inseob Kim | b2519c5 | 2022-04-14 02:10:09 +0900 | [diff] [blame] | 240 | for apex in &verified_data.apex_data { |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 241 | code_hash_ctx.update(apex.root_digest.as_ref()); |
| 242 | authority_hash_ctx.update(apex.public_key.as_ref()); |
| 243 | } |
Andrew Scull | a0d1b1a | 2022-05-24 19:32:47 +0000 | [diff] [blame] | 244 | let code_hash = code_hash_ctx.finish(); |
| 245 | let authority_hash = authority_hash_ctx.finish(); |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 246 | |
| 247 | // { |
| 248 | // -70002: "Microdroid payload", |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 249 | // ? -71000: tstr // payload_config_path |
| 250 | // ? -71001: PayloadConfig |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 251 | // } |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 252 | // PayloadConfig = { |
| 253 | // 1: tstr // payload_binary_path |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 254 | // } |
| 255 | |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 256 | let mut config_desc = vec![ |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 257 | 0xa2, // map(2) |
| 258 | 0x3a, 0x00, 0x01, 0x11, 0x71, // -70002 |
| 259 | 0x72, 0x4d, 0x69, 0x63, 0x72, 0x6f, 0x64, 0x72, 0x6f, 0x69, 0x64, 0x20, 0x70, 0x61, 0x79, |
| 260 | 0x6c, 0x6f, 0x61, 0x64, // "Microdroid payload" |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 261 | ]; |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 262 | |
| 263 | match payload_metadata { |
| 264 | PayloadMetadata::config_path(payload_config_path) => { |
| 265 | encode_negative_number(-71000, &mut config_desc)?; |
| 266 | encode_tstr(payload_config_path, &mut config_desc)?; |
| 267 | } |
| 268 | PayloadMetadata::config(payload_config) => { |
| 269 | encode_negative_number(-71001, &mut config_desc)?; |
| 270 | encode_header(5, 1, &mut config_desc)?; // map(1) |
| 271 | encode_number(1, &mut config_desc)?; |
| 272 | encode_tstr(&payload_config.payload_binary_path, &mut config_desc)?; |
| 273 | } |
| 274 | } |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 275 | |
Andrew Scull | 65ddfc4 | 2022-02-14 21:03:58 +0000 | [diff] [blame] | 276 | // Check app debuggability, conervatively assuming it is debuggable |
| 277 | let app_debuggable = system_properties::read_bool(APP_DEBUGGABLE_PROP, true)?; |
| 278 | |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 279 | // Send the details to diced |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 280 | let hidden = verified_data.salt.clone().try_into().unwrap(); |
| 281 | dice.derive(code_hash, &config_desc, authority_hash, app_debuggable, hidden) |
Andrew Scull | b2f4447 | 2022-01-21 14:41:34 +0000 | [diff] [blame] | 282 | } |
| 283 | |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 284 | fn encode_tstr(tstr: &str, buffer: &mut Vec<u8>) -> Result<()> { |
| 285 | let bytes = tstr.as_bytes(); |
| 286 | encode_header(3, bytes.len().try_into().unwrap(), buffer)?; |
| 287 | buffer.extend_from_slice(bytes); |
| 288 | Ok(()) |
| 289 | } |
| 290 | |
| 291 | fn encode_negative_number(n: i64, buffer: &mut dyn Write) -> Result<()> { |
| 292 | ensure!(n < 0); |
| 293 | let n = -1 - n; |
| 294 | encode_header(1, n.try_into().unwrap(), buffer) |
| 295 | } |
| 296 | |
Andrew Scull | ab72ec5 | 2022-03-14 09:10:52 +0000 | [diff] [blame] | 297 | fn is_strict_boot() -> bool { |
| 298 | Path::new(AVF_STRICT_BOOT).exists() |
| 299 | } |
| 300 | |
| 301 | fn is_new_instance() -> bool { |
| 302 | Path::new(AVF_NEW_INSTANCE).exists() |
| 303 | } |
| 304 | |
Inseob Kim | e379e7d | 2022-07-22 18:55:18 +0900 | [diff] [blame] | 305 | fn is_verified_boot() -> bool { |
| 306 | !Path::new(DEBUG_MICRODROID_NO_VERIFIED_BOOT).exists() |
| 307 | } |
| 308 | |
Jooyung Han | 5c6d417 | 2021-12-06 14:17:52 +0900 | [diff] [blame] | 309 | fn try_run_payload(service: &Strong<dyn IVirtualMachineService>) -> Result<i32> { |
Jooyung Han | 311b120 | 2021-09-14 22:00:16 +0900 | [diff] [blame] | 310 | let metadata = load_metadata().context("Failed to load payload metadata")?; |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 311 | let dice = DiceDriver::new(Path::new("/dev/open-dice0")).context("Failed to load DICE")?; |
Jooyung Han | 19c1d6c | 2021-08-06 14:08:16 +0900 | [diff] [blame] | 312 | |
Jooyung Han | 311b120 | 2021-09-14 22:00:16 +0900 | [diff] [blame] | 313 | let mut instance = InstanceDisk::new().context("Failed to load instance.img")?; |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 314 | let saved_data = |
| 315 | instance.read_microdroid_data(&dice).context("Failed to read identity data")?; |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 316 | |
Andrew Scull | ab72ec5 | 2022-03-14 09:10:52 +0000 | [diff] [blame] | 317 | if is_strict_boot() { |
| 318 | // Provisioning must happen on the first boot and never again. |
| 319 | if is_new_instance() { |
| 320 | ensure!( |
| 321 | saved_data.is_none(), |
| 322 | MicrodroidError::InvalidConfig("Found instance data on first boot.".to_string()) |
| 323 | ); |
| 324 | } else { |
| 325 | ensure!( |
| 326 | saved_data.is_some(), |
| 327 | MicrodroidError::InvalidConfig("Instance data not found.".to_string()) |
| 328 | ); |
| 329 | }; |
| 330 | } |
| 331 | |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 332 | // Verify the payload before using it. |
Inseob Kim | 11f40d0 | 2022-06-13 17:16:00 +0900 | [diff] [blame] | 333 | let verified_data = verify_payload(&metadata, saved_data.as_ref()) |
| 334 | .context("Payload verification failed") |
| 335 | .map_err(|e| MicrodroidError::PayloadVerificationFailed(e.to_string()))?; |
Inseob Kim | e379e7d | 2022-07-22 18:55:18 +0900 | [diff] [blame] | 336 | |
| 337 | // In case identity is ignored (by debug policy), we should reuse existing payload data, even |
| 338 | // when the payload is changed. This is to keep the derived secret same as before. |
| 339 | let verified_data = if let Some(saved_data) = saved_data { |
| 340 | if !is_verified_boot() { |
| 341 | if saved_data != verified_data { |
| 342 | info!("Detected an update of the payload, but continue (regarding debug policy)") |
| 343 | } |
| 344 | } else { |
| 345 | ensure!( |
| 346 | saved_data == verified_data, |
| 347 | MicrodroidError::PayloadChanged(String::from( |
| 348 | "Detected an update of the payload which isn't supported yet." |
| 349 | )) |
| 350 | ); |
| 351 | info!("Saved data is verified."); |
| 352 | } |
| 353 | saved_data |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 354 | } else { |
Jooyung Han | 7a343f9 | 2021-09-08 22:53:11 +0900 | [diff] [blame] | 355 | info!("Saving verified data."); |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 356 | instance |
| 357 | .write_microdroid_data(&verified_data, &dice) |
| 358 | .context("Failed to write identity data")?; |
Inseob Kim | e379e7d | 2022-07-22 18:55:18 +0900 | [diff] [blame] | 359 | verified_data |
| 360 | }; |
Jooyung Han | 19c1d6c | 2021-08-06 14:08:16 +0900 | [diff] [blame] | 361 | |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 362 | let payload_metadata = metadata.payload.ok_or_else(|| { |
| 363 | MicrodroidError::InvalidConfig("No payload config in metadata".to_string()) |
| 364 | })?; |
Alan Stokes | 0d1ef78 | 2022-09-27 13:46:35 +0100 | [diff] [blame] | 365 | |
Inseob Kim | b2519c5 | 2022-04-14 02:10:09 +0900 | [diff] [blame] | 366 | // To minimize the exposure to untrusted data, derive dice profile as soon as possible. |
| 367 | info!("DICE derivation for payload"); |
Andrew Scull | d64ae7d | 2022-10-05 17:41:43 +0000 | [diff] [blame] | 368 | let dice = dice_derivation(dice, &verified_data, &payload_metadata)?; |
Inseob Kim | b2519c5 | 2022-04-14 02:10:09 +0900 | [diff] [blame] | 369 | |
Jooyung Han | a6d11eb | 2021-09-10 11:48:05 +0900 | [diff] [blame] | 370 | // Before reading a file from the APK, start zipfuse |
Inseob Kim | 217038e | 2021-11-25 11:15:06 +0900 | [diff] [blame] | 371 | run_zipfuse( |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 372 | MountForExec::Allowed, |
Inseob Kim | 217038e | 2021-11-25 11:15:06 +0900 | [diff] [blame] | 373 | "fscontext=u:object_r:zipfusefs:s0,context=u:object_r:system_file:s0", |
| 374 | Path::new("/dev/block/mapper/microdroid-apk"), |
Alice Wang | 6bbb6da | 2022-10-26 12:44:06 +0000 | [diff] [blame] | 375 | Path::new(VM_APK_CONTENTS_PATH), |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 376 | Some(APK_MOUNT_DONE_PROP), |
Inseob Kim | 217038e | 2021-11-25 11:15:06 +0900 | [diff] [blame] | 377 | ) |
| 378 | .context("Failed to run zipfuse")?; |
Jiyong Park | 21ce2c5 | 2021-08-28 02:32:17 +0900 | [diff] [blame] | 379 | |
Andrew Scull | 4d262dc | 2022-10-21 13:14:33 +0000 | [diff] [blame] | 380 | // Restricted APIs are only allowed to be used by platform or test components. Infer this from |
| 381 | // the use of a VM config file since those can only be used by platform and test components. |
| 382 | let allow_restricted_apis = match payload_metadata { |
| 383 | PayloadMetadata::config_path(_) => true, |
| 384 | PayloadMetadata::config(_) => false, |
| 385 | }; |
| 386 | |
Alan Stokes | 3ba10fd | 2022-10-06 15:46:51 +0100 | [diff] [blame] | 387 | let config = load_config(payload_metadata).context("Failed to load payload metadata")?; |
Shikha Panwar | 6f03c94 | 2022-04-13 20:26:50 +0000 | [diff] [blame] | 388 | |
Alan Stokes | 01b3ef0 | 2022-09-22 17:43:24 +0100 | [diff] [blame] | 389 | let task = config |
| 390 | .task |
| 391 | .as_ref() |
| 392 | .ok_or_else(|| MicrodroidError::InvalidConfig("No task in VM config".to_string()))?; |
| 393 | |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 394 | if config.extra_apks.len() != verified_data.extra_apks_data.len() { |
| 395 | return Err(anyhow!( |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 396 | "config expects {} extra apks, but found {}", |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 397 | config.extra_apks.len(), |
| 398 | verified_data.extra_apks_data.len() |
| 399 | )); |
| 400 | } |
| 401 | mount_extra_apks(&config)?; |
Jooyung Han | 634e2d7 | 2021-06-10 16:27:38 +0900 | [diff] [blame] | 402 | |
Jooyung Han | 5c6d417 | 2021-12-06 14:17:52 +0900 | [diff] [blame] | 403 | // Wait until apex config is done. (e.g. linker configuration for apexes) |
| 404 | // TODO(jooyung): wait until sys.boot_completed? |
| 405 | wait_for_apex_config_done()?; |
| 406 | |
Inseob Kim | cd9c1dd | 2022-07-13 17:13:45 +0900 | [diff] [blame] | 407 | // Start tombstone_transmit if enabled |
| 408 | if config.export_tombstones { |
Alan Stokes | 01b3ef0 | 2022-09-22 17:43:24 +0100 | [diff] [blame] | 409 | control_service("start", "tombstone_transmit")?; |
Inseob Kim | cd9c1dd | 2022-07-13 17:13:45 +0900 | [diff] [blame] | 410 | } else { |
Alan Stokes | 01b3ef0 | 2022-09-22 17:43:24 +0100 | [diff] [blame] | 411 | control_service("stop", "tombstoned")?; |
Inseob Kim | cd9c1dd | 2022-07-13 17:13:45 +0900 | [diff] [blame] | 412 | } |
| 413 | |
Alan Stokes | 01b3ef0 | 2022-09-22 17:43:24 +0100 | [diff] [blame] | 414 | // Start authfs if enabled |
| 415 | if config.enable_authfs { |
| 416 | control_service("start", "authfs_service")?; |
| 417 | } |
| 418 | |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 419 | // Wait until zipfuse has mounted the APK so we can access the payload |
| 420 | wait_for_property_true(APK_MOUNT_DONE_PROP).context("Failed waiting for APK mount done")?; |
| 421 | |
Andrew Scull | 4d262dc | 2022-10-21 13:14:33 +0000 | [diff] [blame] | 422 | register_vm_payload_service(allow_restricted_apis, service.clone(), dice)?; |
Alan Stokes | 3ba10fd | 2022-10-06 15:46:51 +0100 | [diff] [blame] | 423 | |
| 424 | system_properties::write("dev.bootcomplete", "1").context("set dev.bootcomplete")?; |
Alan Stokes | 3ba10fd | 2022-10-06 15:46:51 +0100 | [diff] [blame] | 425 | exec_task(task, service).context("Failed to run payload") |
Alan Stokes | 01b3ef0 | 2022-09-22 17:43:24 +0100 | [diff] [blame] | 426 | } |
| 427 | |
| 428 | fn control_service(action: &str, service: &str) -> Result<()> { |
| 429 | system_properties::write(&format!("ctl.{}", action), service) |
| 430 | .with_context(|| format!("Failed to {} {}", action, service)) |
Jooyung Han | 347d9f2 | 2021-05-28 00:05:14 +0900 | [diff] [blame] | 431 | } |
| 432 | |
Inseob Kim | 217038e | 2021-11-25 11:15:06 +0900 | [diff] [blame] | 433 | struct ApkDmverityArgument<'a> { |
| 434 | apk: &'a str, |
| 435 | idsig: &'a str, |
| 436 | name: &'a str, |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 437 | saved_root_hash: Option<&'a RootHash>, |
Inseob Kim | 217038e | 2021-11-25 11:15:06 +0900 | [diff] [blame] | 438 | } |
| 439 | |
| 440 | fn run_apkdmverity(args: &[ApkDmverityArgument]) -> Result<Child> { |
| 441 | let mut cmd = Command::new(APKDMVERITY_BIN); |
| 442 | |
| 443 | cmd.stdin(Stdio::null()).stdout(Stdio::null()).stderr(Stdio::null()); |
| 444 | |
| 445 | for argument in args { |
| 446 | cmd.arg("--apk").arg(argument.apk).arg(argument.idsig).arg(argument.name); |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 447 | if let Some(root_hash) = argument.saved_root_hash { |
| 448 | cmd.arg(&to_hex_string(root_hash)); |
| 449 | } else { |
| 450 | cmd.arg("none"); |
| 451 | } |
Inseob Kim | 217038e | 2021-11-25 11:15:06 +0900 | [diff] [blame] | 452 | } |
| 453 | |
| 454 | cmd.spawn().context("Spawn apkdmverity") |
| 455 | } |
| 456 | |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 457 | enum MountForExec { |
| 458 | Allowed, |
| 459 | Disallowed, |
| 460 | } |
| 461 | |
| 462 | fn run_zipfuse( |
| 463 | noexec: MountForExec, |
| 464 | option: &str, |
| 465 | zip_path: &Path, |
| 466 | mount_dir: &Path, |
| 467 | ready_prop: Option<&str>, |
| 468 | ) -> Result<Child> { |
Andrew Scull | cc339a1 | 2022-07-04 12:44:19 +0000 | [diff] [blame] | 469 | let mut cmd = Command::new(ZIPFUSE_BIN); |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 470 | if let MountForExec::Disallowed = noexec { |
Andrew Scull | cc339a1 | 2022-07-04 12:44:19 +0000 | [diff] [blame] | 471 | cmd.arg("--noexec"); |
| 472 | } |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 473 | if let Some(property_name) = ready_prop { |
| 474 | cmd.args(["-p", property_name]); |
| 475 | } |
Andrew Scull | cc339a1 | 2022-07-04 12:44:19 +0000 | [diff] [blame] | 476 | cmd.arg("-o") |
Inseob Kim | 217038e | 2021-11-25 11:15:06 +0900 | [diff] [blame] | 477 | .arg(option) |
| 478 | .arg(zip_path) |
| 479 | .arg(mount_dir) |
| 480 | .stdin(Stdio::null()) |
| 481 | .stdout(Stdio::null()) |
| 482 | .stderr(Stdio::null()) |
| 483 | .spawn() |
| 484 | .context("Spawn zipfuse") |
| 485 | } |
| 486 | |
Inseob Kim | e379e7d | 2022-07-22 18:55:18 +0900 | [diff] [blame] | 487 | fn write_apex_payload_data( |
| 488 | saved_data: Option<&MicrodroidData>, |
| 489 | apex_data_from_payload: &[ApexData], |
| 490 | ) -> Result<()> { |
| 491 | if let Some(saved_apex_data) = saved_data.map(|d| &d.apex_data) { |
| 492 | // We don't support APEX updates. (assuming that update will change root digest) |
| 493 | ensure!( |
| 494 | saved_apex_data == apex_data_from_payload, |
| 495 | MicrodroidError::PayloadChanged(String::from("APEXes have changed.")) |
| 496 | ); |
| 497 | let apex_metadata = to_metadata(apex_data_from_payload); |
| 498 | // Pass metadata(with public keys and root digests) to apexd so that it uses the passed |
| 499 | // metadata instead of the default one (/dev/block/by-name/payload-metadata) |
| 500 | OpenOptions::new() |
| 501 | .create_new(true) |
| 502 | .write(true) |
| 503 | .open("/apex/vm-payload-metadata") |
| 504 | .context("Failed to open /apex/vm-payload-metadata") |
| 505 | .and_then(|f| write_metadata(&apex_metadata, f))?; |
| 506 | } |
| 507 | Ok(()) |
| 508 | } |
| 509 | |
Jooyung Han | 7a343f9 | 2021-09-08 22:53:11 +0900 | [diff] [blame] | 510 | // Verify payload before executing it. For APK payload, Full verification (which is slow) is done |
| 511 | // when the root_hash values from the idsig file and the instance disk are different. This function |
| 512 | // returns the verified root hash (for APK payload) and pubkeys (for APEX payloads) that can be |
| 513 | // saved to the instance disk. |
| 514 | fn verify_payload( |
| 515 | metadata: &Metadata, |
| 516 | saved_data: Option<&MicrodroidData>, |
| 517 | ) -> Result<MicrodroidData> { |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 518 | let start_time = SystemTime::now(); |
| 519 | |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 520 | // Verify main APK |
Jooyung Han | 7a343f9 | 2021-09-08 22:53:11 +0900 | [diff] [blame] | 521 | let root_hash = saved_data.map(|d| &d.apk_data.root_hash); |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 522 | let root_hash_from_idsig = get_apk_root_hash_from_idsig(MAIN_APK_IDSIG_PATH)?; |
Jiyong Park | f7dea25 | 2021-09-08 01:42:54 +0900 | [diff] [blame] | 523 | let root_hash_trustful = root_hash == Some(&root_hash_from_idsig); |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 524 | |
Jiyong Park | f7dea25 | 2021-09-08 01:42:54 +0900 | [diff] [blame] | 525 | // If root_hash can be trusted, pass it to apkdmverity so that it uses the passed root_hash |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 526 | // instead of the value read from the idsig file. |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 527 | let main_apk_argument = { |
| 528 | ApkDmverityArgument { |
| 529 | apk: MAIN_APK_PATH, |
| 530 | idsig: MAIN_APK_IDSIG_PATH, |
| 531 | name: MAIN_APK_DEVICE_NAME, |
| 532 | saved_root_hash: if root_hash_trustful { |
| 533 | Some(root_hash_from_idsig.as_ref()) |
| 534 | } else { |
| 535 | None |
| 536 | }, |
| 537 | } |
| 538 | }; |
| 539 | let mut apkdmverity_arguments = vec![main_apk_argument]; |
| 540 | |
| 541 | // Verify extra APKs |
| 542 | // For now, we can't read the payload config, so glob APKs and idsigs. |
| 543 | // Later, we'll see if it matches with the payload config. |
| 544 | |
| 545 | // sort globbed paths to match apks (extra-apk-{idx}) and idsigs (extra-idsig-{idx}) |
| 546 | // e.g. "extra-apk-0" corresponds to "extra-idsig-0" |
| 547 | let extra_apks = |
| 548 | sorted(glob(EXTRA_APK_PATH_PATTERN)?.collect::<Result<Vec<_>, _>>()?).collect::<Vec<_>>(); |
| 549 | let extra_idsigs = |
| 550 | sorted(glob(EXTRA_IDSIG_PATH_PATTERN)?.collect::<Result<Vec<_>, _>>()?).collect::<Vec<_>>(); |
| 551 | if extra_apks.len() != extra_idsigs.len() { |
| 552 | return Err(anyhow!( |
| 553 | "Extra apks/idsigs mismatch: {} apks but {} idsigs", |
| 554 | extra_apks.len(), |
| 555 | extra_idsigs.len() |
| 556 | )); |
| 557 | } |
| 558 | let extra_apks_count = extra_apks.len(); |
| 559 | |
| 560 | let (extra_apk_names, extra_root_hashes_from_idsig): (Vec<_>, Vec<_>) = extra_idsigs |
| 561 | .iter() |
| 562 | .enumerate() |
| 563 | .map(|(i, extra_idsig)| { |
| 564 | ( |
| 565 | format!("extra-apk-{}", i), |
Alice Wang | 89cff01 | 2022-09-26 10:05:16 +0000 | [diff] [blame] | 566 | get_apk_root_hash_from_idsig(extra_idsig) |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 567 | .expect("Can't find root hash from extra idsig"), |
| 568 | ) |
| 569 | }) |
| 570 | .unzip(); |
| 571 | |
| 572 | let saved_extra_root_hashes: Vec<_> = saved_data |
| 573 | .map(|d| d.extra_apks_data.iter().map(|apk_data| &apk_data.root_hash).collect()) |
| 574 | .unwrap_or_else(Vec::new); |
| 575 | let extra_root_hashes_trustful: Vec<_> = extra_root_hashes_from_idsig |
| 576 | .iter() |
| 577 | .enumerate() |
| 578 | .map(|(i, root_hash_from_idsig)| { |
| 579 | saved_extra_root_hashes.get(i).copied() == Some(root_hash_from_idsig) |
| 580 | }) |
| 581 | .collect(); |
| 582 | |
| 583 | for i in 0..extra_apks_count { |
| 584 | apkdmverity_arguments.push({ |
| 585 | ApkDmverityArgument { |
| 586 | apk: extra_apks[i].to_str().unwrap(), |
| 587 | idsig: extra_idsigs[i].to_str().unwrap(), |
| 588 | name: &extra_apk_names[i], |
| 589 | saved_root_hash: if extra_root_hashes_trustful[i] { |
| 590 | Some(&extra_root_hashes_from_idsig[i]) |
| 591 | } else { |
| 592 | None |
| 593 | }, |
| 594 | } |
| 595 | }); |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 596 | } |
| 597 | |
| 598 | // Start apkdmverity and wait for the dm-verify block |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 599 | let mut apkdmverity_child = run_apkdmverity(&apkdmverity_arguments)?; |
Jooyung Han | 7a343f9 | 2021-09-08 22:53:11 +0900 | [diff] [blame] | 600 | |
Jooyung Han | c8deb47 | 2021-09-13 13:48:25 +0900 | [diff] [blame] | 601 | // While waiting for apkdmverity to mount APK, gathers public keys and root digests from |
| 602 | // APEX payload. |
Jooyung Han | 7a343f9 | 2021-09-08 22:53:11 +0900 | [diff] [blame] | 603 | let apex_data_from_payload = get_apex_data_from_payload(metadata)?; |
Inseob Kim | e379e7d | 2022-07-22 18:55:18 +0900 | [diff] [blame] | 604 | |
| 605 | // Writing /apex/vm-payload-metadata is to verify that the payload isn't changed. |
| 606 | // Skip writing it if the debug policy ignoring identity is on |
| 607 | if is_verified_boot() { |
| 608 | write_apex_payload_data(saved_data, &apex_data_from_payload)?; |
Jooyung Han | 4a9b3bf | 2021-09-10 17:19:00 +0900 | [diff] [blame] | 609 | } |
Inseob Kim | e379e7d | 2022-07-22 18:55:18 +0900 | [diff] [blame] | 610 | |
Jooyung Han | 4a9b3bf | 2021-09-10 17:19:00 +0900 | [diff] [blame] | 611 | // Start apexd to activate APEXes |
| 612 | system_properties::write("ctl.start", "apexd-vm")?; |
Jooyung Han | 7a343f9 | 2021-09-08 22:53:11 +0900 | [diff] [blame] | 613 | |
Inseob Kim | 217038e | 2021-11-25 11:15:06 +0900 | [diff] [blame] | 614 | // TODO(inseob): add timeout |
| 615 | apkdmverity_child.wait()?; |
Jooyung Han | 19c1d6c | 2021-08-06 14:08:16 +0900 | [diff] [blame] | 616 | |
Jiyong Park | f7dea25 | 2021-09-08 01:42:54 +0900 | [diff] [blame] | 617 | // Do the full verification if the root_hash is un-trustful. This requires the full scanning of |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 618 | // the APK file and therefore can be very slow if the APK is large. Note that this step is |
Jiyong Park | f7dea25 | 2021-09-08 01:42:54 +0900 | [diff] [blame] | 619 | // taken only when the root_hash is un-trustful which can be either when this is the first boot |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 620 | // of the VM or APK was updated in the host. |
| 621 | // TODO(jooyung): consider multithreading to make this faster |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 622 | let main_apk_pubkey = get_public_key_from_apk(DM_MOUNTED_APK_PATH, root_hash_trustful)?; |
| 623 | let extra_apks_data = extra_root_hashes_from_idsig |
| 624 | .into_iter() |
| 625 | .enumerate() |
| 626 | .map(|(i, extra_root_hash)| { |
| 627 | let mount_path = format!("/dev/block/mapper/{}", &extra_apk_names[i]); |
| 628 | let apk_pubkey = get_public_key_from_apk(&mount_path, extra_root_hashes_trustful[i])?; |
| 629 | Ok(ApkData { root_hash: extra_root_hash, pubkey: apk_pubkey }) |
| 630 | }) |
| 631 | .collect::<Result<Vec<_>>>()?; |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 632 | |
| 633 | info!("payload verification successful. took {:#?}", start_time.elapsed().unwrap()); |
| 634 | |
Andrew Scull | 34916a7 | 2022-01-30 21:34:24 +0000 | [diff] [blame] | 635 | // Use the salt from a verified instance, or generate a salt for a new instance. |
| 636 | let salt = if let Some(saved_data) = saved_data { |
| 637 | saved_data.salt.clone() |
| 638 | } else { |
| 639 | let mut salt = vec![0u8; 64]; |
| 640 | salt.as_mut_slice().try_fill(&mut rand::thread_rng())?; |
| 641 | salt |
| 642 | }; |
| 643 | |
Jiyong Park | f7dea25 | 2021-09-08 01:42:54 +0900 | [diff] [blame] | 644 | // At this point, we can ensure that the root_hash from the idsig file is trusted, either by |
| 645 | // fully verifying the APK or by comparing it with the saved root_hash. |
Jooyung Han | 7a343f9 | 2021-09-08 22:53:11 +0900 | [diff] [blame] | 646 | Ok(MicrodroidData { |
Andrew Scull | 34916a7 | 2022-01-30 21:34:24 +0000 | [diff] [blame] | 647 | salt, |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 648 | apk_data: ApkData { root_hash: root_hash_from_idsig, pubkey: main_apk_pubkey }, |
| 649 | extra_apks_data, |
Jooyung Han | 7a343f9 | 2021-09-08 22:53:11 +0900 | [diff] [blame] | 650 | apex_data: apex_data_from_payload, |
| 651 | }) |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 652 | } |
| 653 | |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 654 | fn mount_extra_apks(config: &VmPayloadConfig) -> Result<()> { |
| 655 | // For now, only the number of apks is important, as the mount point and dm-verity name is fixed |
| 656 | for i in 0..config.extra_apks.len() { |
| 657 | let mount_dir = format!("/mnt/extra-apk/{}", i); |
| 658 | create_dir(Path::new(&mount_dir)).context("Failed to create mount dir for extra apks")?; |
| 659 | |
| 660 | // don't wait, just detach |
| 661 | run_zipfuse( |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 662 | MountForExec::Disallowed, |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 663 | "fscontext=u:object_r:zipfusefs:s0,context=u:object_r:extra_apk_file:s0", |
| 664 | Path::new(&format!("/dev/block/mapper/extra-apk-{}", i)), |
| 665 | Path::new(&mount_dir), |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 666 | None, |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 667 | ) |
| 668 | .context("Failed to zipfuse extra apks")?; |
| 669 | } |
| 670 | |
| 671 | Ok(()) |
| 672 | } |
| 673 | |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 674 | // Waits until linker config is generated |
| 675 | fn wait_for_apex_config_done() -> Result<()> { |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 676 | wait_for_property_true(APEX_CONFIG_DONE_PROP).context("Failed waiting for apex config done") |
| 677 | } |
| 678 | |
| 679 | fn wait_for_property_true(property_name: &str) -> Result<()> { |
| 680 | let mut prop = PropertyWatcher::new(property_name)?; |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 681 | loop { |
| 682 | prop.wait()?; |
Alan Stokes | 60f8220 | 2022-10-07 16:40:07 +0100 | [diff] [blame] | 683 | if system_properties::read_bool(property_name, false)? { |
Jiyong Park | bb4a987 | 2021-09-06 15:59:21 +0900 | [diff] [blame] | 684 | break; |
| 685 | } |
| 686 | } |
Jooyung Han | 19c1d6c | 2021-08-06 14:08:16 +0900 | [diff] [blame] | 687 | Ok(()) |
| 688 | } |
| 689 | |
Alice Wang | 89cff01 | 2022-09-26 10:05:16 +0000 | [diff] [blame] | 690 | fn get_apk_root_hash_from_idsig<P: AsRef<Path>>(idsig_path: P) -> Result<Box<RootHash>> { |
| 691 | Ok(V4Signature::from_idsig_path(idsig_path)?.hashing_info.raw_root_hash) |
Jiyong Park | 21ce2c5 | 2021-08-28 02:32:17 +0900 | [diff] [blame] | 692 | } |
| 693 | |
Inseob Kim | 197748b | 2021-12-01 19:49:00 +0900 | [diff] [blame] | 694 | fn get_public_key_from_apk(apk: &str, root_hash_trustful: bool) -> Result<Box<[u8]>> { |
| 695 | if !root_hash_trustful { |
| 696 | verify(apk).context(MicrodroidError::PayloadVerificationFailed(format!( |
| 697 | "failed to verify {}", |
| 698 | apk |
| 699 | ))) |
| 700 | } else { |
| 701 | get_public_key_der(apk) |
| 702 | } |
| 703 | } |
| 704 | |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 705 | fn load_config(payload_metadata: PayloadMetadata) -> Result<VmPayloadConfig> { |
| 706 | match payload_metadata { |
| 707 | PayloadMetadata::config_path(path) => { |
| 708 | let path = Path::new(&path); |
| 709 | info!("loading config from {:?}...", path); |
Alan Stokes | 3ba10fd | 2022-10-06 15:46:51 +0100 | [diff] [blame] | 710 | let file = ioutil::wait_for_file(path, WAIT_TIMEOUT) |
| 711 | .with_context(|| format!("Failed to read {:?}", path))?; |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 712 | Ok(serde_json::from_reader(file)?) |
| 713 | } |
| 714 | PayloadMetadata::config(payload_config) => { |
| 715 | let task = Task { |
| 716 | type_: TaskType::MicrodroidLauncher, |
| 717 | command: payload_config.payload_binary_path, |
Alan Stokes | 1f417c9 | 2022-09-29 15:13:28 +0100 | [diff] [blame] | 718 | }; |
| 719 | Ok(VmPayloadConfig { |
| 720 | os: OsConfig { name: "microdroid".to_owned() }, |
| 721 | task: Some(task), |
| 722 | apexes: vec![], |
| 723 | extra_apks: vec![], |
| 724 | prefer_staged: false, |
| 725 | export_tombstones: false, |
| 726 | enable_authfs: false, |
| 727 | }) |
| 728 | } |
| 729 | } |
Jooyung Han | 634e2d7 | 2021-06-10 16:27:38 +0900 | [diff] [blame] | 730 | } |
| 731 | |
Jiyong Park | 202856e | 2022-08-22 16:04:26 +0900 | [diff] [blame] | 732 | /// Loads the crashkernel into memory using kexec if the VM is loaded with `crashkernel=' parameter |
| 733 | /// in the cmdline. |
| 734 | fn load_crashkernel_if_supported() -> Result<()> { |
| 735 | let supported = std::fs::read_to_string("/proc/cmdline")?.contains(" crashkernel="); |
| 736 | info!("ramdump supported: {}", supported); |
| 737 | if supported { |
| 738 | let status = Command::new("/system/bin/kexec_load").status()?; |
| 739 | if !status.success() { |
| 740 | return Err(anyhow!("Failed to load crashkernel: {:?}", status)); |
| 741 | } |
| 742 | } |
| 743 | Ok(()) |
| 744 | } |
| 745 | |
Inseob Kim | 090b70b | 2022-11-16 20:01:14 +0900 | [diff] [blame^] | 746 | /// Executes the given task. |
Jooyung Han | 5c6d417 | 2021-12-06 14:17:52 +0900 | [diff] [blame] | 747 | fn exec_task(task: &Task, service: &Strong<dyn IVirtualMachineService>) -> Result<i32> { |
Jiyong Park | 8611a6c | 2021-07-09 18:17:44 +0900 | [diff] [blame] | 748 | info!("executing main task {:?}...", task); |
David Brazdil | 451cc96 | 2022-10-14 14:08:12 +0100 | [diff] [blame] | 749 | let mut command = match task.type_ { |
| 750 | TaskType::Executable => Command::new(&task.command), |
| 751 | TaskType::MicrodroidLauncher => { |
| 752 | let mut command = Command::new("/system/bin/microdroid_launcher"); |
| 753 | command.arg(find_library_path(&task.command)?); |
| 754 | command |
| 755 | } |
| 756 | }; |
Inseob Kim | 090b70b | 2022-11-16 20:01:14 +0900 | [diff] [blame^] | 757 | command.stdin(Stdio::null()).stdout(Stdio::null()).stderr(Stdio::null()); |
Inseob Kim | 7f61fe7 | 2021-08-20 20:50:47 +0900 | [diff] [blame] | 758 | |
| 759 | info!("notifying payload started"); |
Inseob Kim | c7d28c7 | 2021-10-25 14:28:10 +0000 | [diff] [blame] | 760 | service.notifyPayloadStarted()?; |
Inseob Kim | 7f61fe7 | 2021-08-20 20:50:47 +0900 | [diff] [blame] | 761 | |
Inseob Kim | 86ca016 | 2021-10-20 02:21:02 +0000 | [diff] [blame] | 762 | let exit_status = command.spawn()?.wait()?; |
Frederick Mayle | b5f7b6b | 2022-11-11 15:24:03 -0800 | [diff] [blame] | 763 | match exit_status.code() { |
| 764 | Some(exit_code) => Ok(exit_code), |
| 765 | None => Err(match exit_status.signal() { |
| 766 | Some(signal) => anyhow!( |
| 767 | "Payload exited due to signal: {} ({})", |
| 768 | signal, |
| 769 | Signal::try_from(signal).map_or("unknown", |s| s.as_str()) |
| 770 | ), |
| 771 | None => anyhow!("Payload has neither exit code nor signal"), |
| 772 | }), |
| 773 | } |
Jooyung Han | 347d9f2 | 2021-05-28 00:05:14 +0900 | [diff] [blame] | 774 | } |
Jooyung Han | 634e2d7 | 2021-06-10 16:27:38 +0900 | [diff] [blame] | 775 | |
Jooyung Han | 634e2d7 | 2021-06-10 16:27:38 +0900 | [diff] [blame] | 776 | fn find_library_path(name: &str) -> Result<String> { |
| 777 | let mut watcher = PropertyWatcher::new("ro.product.cpu.abilist")?; |
| 778 | let value = watcher.read(|_name, value| Ok(value.trim().to_string()))?; |
| 779 | let abi = value.split(',').next().ok_or_else(|| anyhow!("no abilist"))?; |
Alice Wang | 6bbb6da | 2022-10-26 12:44:06 +0000 | [diff] [blame] | 780 | let path = format!("{}/lib/{}/{}", VM_APK_CONTENTS_PATH, abi, name); |
Jooyung Han | 634e2d7 | 2021-06-10 16:27:38 +0900 | [diff] [blame] | 781 | |
Alan Stokes | 3ba10fd | 2022-10-06 15:46:51 +0100 | [diff] [blame] | 782 | let metadata = fs::metadata(&path).with_context(|| format!("Unable to access {}", path))?; |
Jooyung Han | 634e2d7 | 2021-06-10 16:27:38 +0900 | [diff] [blame] | 783 | if !metadata.is_file() { |
| 784 | bail!("{} is not a file", &path); |
| 785 | } |
| 786 | |
| 787 | Ok(path) |
| 788 | } |
Jiyong Park | 21ce2c5 | 2021-08-28 02:32:17 +0900 | [diff] [blame] | 789 | |
| 790 | fn to_hex_string(buf: &[u8]) -> String { |
| 791 | buf.iter().map(|b| format!("{:02X}", b)).collect() |
| 792 | } |