Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 1 | // Copyright 2022, 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 | //! Support for the pvmfw configuration data format. |
| 16 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 17 | use core::fmt; |
| 18 | use core::mem; |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 19 | use core::ops::Range; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 20 | use core::result; |
Alice Wang | eacb738 | 2023-06-05 12:53:54 +0000 | [diff] [blame] | 21 | use vmbase::util::unchecked_align_up; |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 22 | use zerocopy::{FromBytes, LayoutVerified}; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 23 | |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 24 | /// Configuration data header. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 25 | #[repr(C, packed)] |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 26 | #[derive(Clone, Copy, Debug, FromBytes)] |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 27 | struct Header { |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 28 | /// Magic number; must be `Header::MAGIC`. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 29 | magic: u32, |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 30 | /// Version of the header format. |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame^] | 31 | version: Version, |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 32 | /// Total size of the configuration data. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 33 | total_size: u32, |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 34 | /// Feature flags; currently reserved and must be zero. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 35 | flags: u32, |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 36 | /// (offset, size) pairs used to locate individual entries appended to the header. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 37 | entries: [HeaderEntry; Entry::COUNT], |
| 38 | } |
| 39 | |
| 40 | #[derive(Debug)] |
| 41 | pub enum Error { |
| 42 | /// Reserved region can't fit configuration header. |
| 43 | BufferTooSmall, |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 44 | /// Header has the wrong alignment |
| 45 | HeaderMisaligned, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 46 | /// Header doesn't contain the expect magic value. |
| 47 | InvalidMagic, |
| 48 | /// Version of the header isn't supported. |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame^] | 49 | UnsupportedVersion(Version), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 50 | /// Header sets flags incorrectly or uses reserved flags. |
| 51 | InvalidFlags(u32), |
| 52 | /// Header describes configuration data that doesn't fit in the expected buffer. |
| 53 | InvalidSize(usize), |
Pierre-Clément Tosi | 292e099 | 2022-12-12 13:01:27 +0000 | [diff] [blame] | 54 | /// Header entry is missing. |
| 55 | MissingEntry(Entry), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 56 | /// Header entry is invalid. |
Pierre-Clément Tosi | 292e099 | 2022-12-12 13:01:27 +0000 | [diff] [blame] | 57 | InvalidEntry(Entry, EntryError), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 58 | } |
| 59 | |
| 60 | impl fmt::Display for Error { |
| 61 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 62 | match self { |
| 63 | Self::BufferTooSmall => write!(f, "Reserved region is smaller than config header"), |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 64 | Self::HeaderMisaligned => write!(f, "Reserved region is misaligned"), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 65 | Self::InvalidMagic => write!(f, "Wrong magic number"), |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame^] | 66 | Self::UnsupportedVersion(v) => write!(f, "Version {v} not supported"), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 67 | Self::InvalidFlags(v) => write!(f, "Flags value {v:#x} is incorrect or reserved"), |
| 68 | Self::InvalidSize(sz) => write!(f, "Total size ({sz:#x}) overflows reserved region"), |
Pierre-Clément Tosi | 292e099 | 2022-12-12 13:01:27 +0000 | [diff] [blame] | 69 | Self::MissingEntry(entry) => write!(f, "Mandatory {entry:?} entry is missing"), |
| 70 | Self::InvalidEntry(entry, e) => write!(f, "Invalid {entry:?} entry: {e}"), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 71 | } |
| 72 | } |
| 73 | } |
| 74 | |
| 75 | pub type Result<T> = result::Result<T, Error>; |
| 76 | |
Pierre-Clément Tosi | 292e099 | 2022-12-12 13:01:27 +0000 | [diff] [blame] | 77 | #[derive(Debug)] |
| 78 | pub enum EntryError { |
| 79 | /// Offset isn't between the fixed minimum value and size of configuration data. |
| 80 | InvalidOffset(usize), |
| 81 | /// Size must be zero when offset is and not be when it isn't. |
| 82 | InvalidSize(usize), |
| 83 | /// Entry isn't fully within the configuration data structure. |
| 84 | OutOfBounds { offset: usize, size: usize, limit: usize }, |
| 85 | } |
| 86 | |
| 87 | impl fmt::Display for EntryError { |
| 88 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 89 | match self { |
| 90 | Self::InvalidOffset(offset) => write!(f, "Invalid offset: {offset:#x?}"), |
| 91 | Self::InvalidSize(sz) => write!(f, "Invalid size: {sz:#x?}"), |
| 92 | Self::OutOfBounds { offset, size, limit } => { |
| 93 | let range = Header::PADDED_SIZE..*limit; |
| 94 | let entry = *offset..(*offset + *size); |
| 95 | write!(f, "Out of bounds: {entry:#x?} must be within range {range:#x?}") |
| 96 | } |
| 97 | } |
| 98 | } |
| 99 | } |
| 100 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 101 | impl Header { |
| 102 | const MAGIC: u32 = u32::from_ne_bytes(*b"pvmf"); |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame^] | 103 | const VERSION_1_0: Version = Version { major: 1, minor: 0 }; |
Alice Wang | eacb738 | 2023-06-05 12:53:54 +0000 | [diff] [blame] | 104 | const PADDED_SIZE: usize = unchecked_align_up(mem::size_of::<Self>(), mem::size_of::<u64>()); |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 105 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 106 | pub fn total_size(&self) -> usize { |
| 107 | self.total_size as usize |
| 108 | } |
| 109 | |
| 110 | pub fn body_size(&self) -> usize { |
| 111 | self.total_size() - Self::PADDED_SIZE |
| 112 | } |
| 113 | |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 114 | fn get_body_range(&self, entry: Entry) -> Result<Option<Range<usize>>> { |
| 115 | let e = self.entries[entry as usize]; |
Pierre-Clément Tosi | 292e099 | 2022-12-12 13:01:27 +0000 | [diff] [blame] | 116 | let offset = e.offset as usize; |
| 117 | let size = e.size as usize; |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 118 | |
Pierre-Clément Tosi | 706a10c | 2022-12-14 10:33:24 +0000 | [diff] [blame] | 119 | match self._get_body_range(offset, size) { |
| 120 | Ok(r) => Ok(r), |
| 121 | Err(EntryError::InvalidSize(0)) => { |
| 122 | // As our bootloader currently uses this (non-compliant) case, permit it for now. |
| 123 | log::warn!("Config entry {entry:?} uses non-zero offset with zero size"); |
| 124 | // TODO(b/262181812): Either make this case valid or fix the bootloader. |
| 125 | Ok(None) |
| 126 | } |
| 127 | Err(e) => Err(Error::InvalidEntry(entry, e)), |
| 128 | } |
Pierre-Clément Tosi | 292e099 | 2022-12-12 13:01:27 +0000 | [diff] [blame] | 129 | } |
| 130 | |
| 131 | fn _get_body_range( |
| 132 | &self, |
| 133 | offset: usize, |
| 134 | size: usize, |
| 135 | ) -> result::Result<Option<Range<usize>>, EntryError> { |
| 136 | match (offset, size) { |
| 137 | (0, 0) => Ok(None), |
| 138 | (0, size) | (_, size @ 0) => Err(EntryError::InvalidSize(size)), |
| 139 | _ => { |
| 140 | let start = offset |
| 141 | .checked_sub(Header::PADDED_SIZE) |
| 142 | .ok_or(EntryError::InvalidOffset(offset))?; |
| 143 | let end = start |
| 144 | .checked_add(size) |
| 145 | .filter(|x| *x <= self.body_size()) |
| 146 | .ok_or(EntryError::OutOfBounds { offset, size, limit: self.total_size() })?; |
| 147 | |
| 148 | Ok(Some(start..end)) |
| 149 | } |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 150 | } |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 151 | } |
| 152 | } |
| 153 | |
| 154 | #[derive(Clone, Copy, Debug)] |
| 155 | pub enum Entry { |
| 156 | Bcc = 0, |
| 157 | DebugPolicy = 1, |
| 158 | } |
| 159 | |
| 160 | impl Entry { |
| 161 | const COUNT: usize = 2; |
| 162 | } |
| 163 | |
| 164 | #[repr(packed)] |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 165 | #[derive(Clone, Copy, Debug, FromBytes)] |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 166 | struct HeaderEntry { |
| 167 | offset: u32, |
| 168 | size: u32, |
| 169 | } |
| 170 | |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame^] | 171 | #[repr(C, packed)] |
| 172 | #[derive(Clone, Copy, Debug, Eq, FromBytes, PartialEq)] |
| 173 | pub struct Version { |
| 174 | minor: u16, |
| 175 | major: u16, |
| 176 | } |
| 177 | |
| 178 | impl fmt::Display for Version { |
| 179 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 180 | // Copy the fields to local variables to prevent unaligned access. |
| 181 | let (major, minor) = (self.major, self.minor); |
| 182 | write!(f, "{}.{}", major, minor) |
| 183 | } |
| 184 | } |
| 185 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 186 | #[derive(Debug)] |
| 187 | pub struct Config<'a> { |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 188 | body: &'a mut [u8], |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 189 | bcc_range: Range<usize>, |
| 190 | dp_range: Option<Range<usize>>, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 191 | } |
| 192 | |
| 193 | impl<'a> Config<'a> { |
| 194 | /// Take ownership of a pvmfw configuration consisting of its header and following entries. |
Alan Stokes | c3829f1 | 2023-06-02 15:02:23 +0100 | [diff] [blame] | 195 | pub fn new(data: &'a mut [u8]) -> Result<Self> { |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 196 | let header = data.get(..Header::PADDED_SIZE).ok_or(Error::BufferTooSmall)?; |
| 197 | |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 198 | let (header, _) = |
| 199 | LayoutVerified::<_, Header>::new_from_prefix(header).ok_or(Error::HeaderMisaligned)?; |
| 200 | let header = header.into_ref(); |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 201 | |
| 202 | if header.magic != Header::MAGIC { |
| 203 | return Err(Error::InvalidMagic); |
| 204 | } |
| 205 | |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 206 | if header.version != Header::VERSION_1_0 { |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame^] | 207 | return Err(Error::UnsupportedVersion(header.version)); |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 208 | } |
| 209 | |
| 210 | if header.flags != 0 { |
| 211 | return Err(Error::InvalidFlags(header.flags)); |
| 212 | } |
| 213 | |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 214 | let bcc_range = |
Pierre-Clément Tosi | 292e099 | 2022-12-12 13:01:27 +0000 | [diff] [blame] | 215 | header.get_body_range(Entry::Bcc)?.ok_or(Error::MissingEntry(Entry::Bcc))?; |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 216 | let dp_range = header.get_body_range(Entry::DebugPolicy)?; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 217 | |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 218 | let body_size = header.body_size(); |
| 219 | let total_size = header.total_size(); |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 220 | let body = data |
| 221 | .get_mut(Header::PADDED_SIZE..) |
| 222 | .ok_or(Error::BufferTooSmall)? |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 223 | .get_mut(..body_size) |
| 224 | .ok_or(Error::InvalidSize(total_size))?; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 225 | |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 226 | Ok(Self { body, bcc_range, dp_range }) |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 227 | } |
| 228 | |
| 229 | /// Get slice containing the platform BCC. |
Pierre-Clément Tosi | efe780c | 2023-02-21 21:36:30 +0000 | [diff] [blame] | 230 | pub fn get_entries(&mut self) -> (&mut [u8], Option<&mut [u8]>) { |
| 231 | let bcc_start = self.bcc_range.start; |
| 232 | let bcc_end = self.bcc_range.len(); |
| 233 | let (_, rest) = self.body.split_at_mut(bcc_start); |
| 234 | let (bcc, rest) = rest.split_at_mut(bcc_end); |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 235 | |
Pierre-Clément Tosi | efe780c | 2023-02-21 21:36:30 +0000 | [diff] [blame] | 236 | let dp = if let Some(dp_range) = &self.dp_range { |
| 237 | let dp_start = dp_range.start.checked_sub(self.bcc_range.end).unwrap(); |
| 238 | let dp_end = dp_range.len(); |
| 239 | let (_, rest) = rest.split_at_mut(dp_start); |
| 240 | let (dp, _) = rest.split_at_mut(dp_end); |
| 241 | Some(dp) |
| 242 | } else { |
| 243 | None |
| 244 | }; |
| 245 | |
| 246 | (bcc, dp) |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 247 | } |
| 248 | } |