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