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; |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 21 | use static_assertions::const_assert_eq; |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 22 | use vmbase::util::RangeExt; |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 23 | use zerocopy::{FromBytes, LayoutVerified}; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 24 | |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 25 | /// Configuration data header. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 26 | #[repr(C, packed)] |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 27 | #[derive(Clone, Copy, Debug, FromBytes)] |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 28 | struct Header { |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 29 | /// Magic number; must be `Header::MAGIC`. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 30 | magic: u32, |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 31 | /// Version of the header format. |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 32 | version: Version, |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 33 | /// Total size of the configuration data. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 34 | total_size: u32, |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 35 | /// Feature flags; currently reserved and must be zero. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 36 | flags: u32, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 37 | } |
| 38 | |
| 39 | #[derive(Debug)] |
| 40 | pub enum Error { |
| 41 | /// Reserved region can't fit configuration header. |
| 42 | BufferTooSmall, |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 43 | /// Header has the wrong alignment |
| 44 | HeaderMisaligned, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 45 | /// Header doesn't contain the expect magic value. |
| 46 | InvalidMagic, |
| 47 | /// Version of the header isn't supported. |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 48 | UnsupportedVersion(Version), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 49 | /// Header sets flags incorrectly or uses reserved flags. |
| 50 | InvalidFlags(u32), |
| 51 | /// Header describes configuration data that doesn't fit in the expected buffer. |
| 52 | InvalidSize(usize), |
Pierre-Clément Tosi | 292e099 | 2022-12-12 13:01:27 +0000 | [diff] [blame] | 53 | /// Header entry is missing. |
| 54 | MissingEntry(Entry), |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 55 | /// Range described by entry does not fit within config data. |
| 56 | EntryOutOfBounds(Entry, Range<usize>, Range<usize>), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 57 | } |
| 58 | |
| 59 | impl fmt::Display for Error { |
| 60 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 61 | match self { |
| 62 | Self::BufferTooSmall => write!(f, "Reserved region is smaller than config header"), |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 63 | Self::HeaderMisaligned => write!(f, "Reserved region is misaligned"), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 64 | Self::InvalidMagic => write!(f, "Wrong magic number"), |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 65 | Self::UnsupportedVersion(v) => write!(f, "Version {v} not supported"), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 66 | Self::InvalidFlags(v) => write!(f, "Flags value {v:#x} is incorrect or reserved"), |
| 67 | 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] | 68 | Self::MissingEntry(entry) => write!(f, "Mandatory {entry:?} entry is missing"), |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 69 | Self::EntryOutOfBounds(entry, range, limits) => { |
| 70 | write!( |
| 71 | f, |
| 72 | "Entry {entry:?} out of bounds: {range:#x?} must be within range {limits:#x?}" |
| 73 | ) |
| 74 | } |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 75 | } |
| 76 | } |
| 77 | } |
| 78 | |
| 79 | pub type Result<T> = result::Result<T, Error>; |
| 80 | |
| 81 | impl Header { |
| 82 | const MAGIC: u32 = u32::from_ne_bytes(*b"pvmf"); |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 83 | const VERSION_1_0: Version = Version { major: 1, minor: 0 }; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 84 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 85 | pub fn total_size(&self) -> usize { |
| 86 | self.total_size as usize |
| 87 | } |
| 88 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 89 | pub fn body_offset(&self) -> Result<usize> { |
| 90 | let entries_offset = mem::size_of::<Self>(); |
| 91 | |
| 92 | // Ensure that the entries are properly aligned and do not require padding. |
| 93 | const_assert_eq!(mem::align_of::<Header>() % mem::align_of::<HeaderEntry>(), 0); |
| 94 | const_assert_eq!(mem::size_of::<Header>() % mem::align_of::<HeaderEntry>(), 0); |
| 95 | |
| 96 | let entries_size = self.entry_count()?.checked_mul(mem::size_of::<HeaderEntry>()).unwrap(); |
| 97 | |
| 98 | Ok(entries_offset.checked_add(entries_size).unwrap()) |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 99 | } |
| 100 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 101 | pub fn entry_count(&self) -> Result<usize> { |
| 102 | let last_entry = match self.version { |
| 103 | Self::VERSION_1_0 => Entry::DebugPolicy, |
| 104 | v => return Err(Error::UnsupportedVersion(v)), |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 105 | }; |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 106 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 107 | Ok(last_entry as usize + 1) |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 108 | } |
| 109 | } |
| 110 | |
| 111 | #[derive(Clone, Copy, Debug)] |
| 112 | pub enum Entry { |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 113 | Bcc, |
| 114 | DebugPolicy, |
| 115 | #[allow(non_camel_case_types)] // TODO: Use mem::variant_count once stable. |
| 116 | _VARIANT_COUNT, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 117 | } |
| 118 | |
| 119 | impl Entry { |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 120 | const COUNT: usize = Self::_VARIANT_COUNT as usize; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 121 | } |
| 122 | |
| 123 | #[repr(packed)] |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 124 | #[derive(Clone, Copy, Debug, FromBytes)] |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 125 | struct HeaderEntry { |
| 126 | offset: u32, |
| 127 | size: u32, |
| 128 | } |
| 129 | |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 130 | impl HeaderEntry { |
| 131 | pub fn as_range(&self) -> Option<Range<usize>> { |
| 132 | let size = usize::try_from(self.size).unwrap(); |
| 133 | if size != 0 { |
| 134 | let offset = self.offset.try_into().unwrap(); |
| 135 | // Allow overflows here for the Range to properly describe the entry (validated later). |
| 136 | Some(offset..(offset + size)) |
| 137 | } else { |
| 138 | None |
| 139 | } |
| 140 | } |
| 141 | } |
| 142 | |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 143 | #[repr(C, packed)] |
| 144 | #[derive(Clone, Copy, Debug, Eq, FromBytes, PartialEq)] |
| 145 | pub struct Version { |
| 146 | minor: u16, |
| 147 | major: u16, |
| 148 | } |
| 149 | |
| 150 | impl fmt::Display for Version { |
| 151 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 152 | // Copy the fields to local variables to prevent unaligned access. |
| 153 | let (major, minor) = (self.major, self.minor); |
| 154 | write!(f, "{}.{}", major, minor) |
| 155 | } |
| 156 | } |
| 157 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 158 | #[derive(Debug)] |
| 159 | pub struct Config<'a> { |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 160 | body: &'a mut [u8], |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 161 | ranges: [Option<Range<usize>>; Entry::COUNT], |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 162 | } |
| 163 | |
| 164 | impl<'a> Config<'a> { |
| 165 | /// Take ownership of a pvmfw configuration consisting of its header and following entries. |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 166 | pub fn new(bytes: &'a mut [u8]) -> Result<Self> { |
| 167 | const HEADER_SIZE: usize = mem::size_of::<Header>(); |
| 168 | if bytes.len() < HEADER_SIZE { |
| 169 | return Err(Error::BufferTooSmall); |
| 170 | } |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 171 | |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 172 | let (header, rest) = |
| 173 | LayoutVerified::<_, Header>::new_from_prefix(bytes).ok_or(Error::HeaderMisaligned)?; |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 174 | let header = header.into_ref(); |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 175 | |
| 176 | if header.magic != Header::MAGIC { |
| 177 | return Err(Error::InvalidMagic); |
| 178 | } |
| 179 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 180 | if header.flags != 0 { |
| 181 | return Err(Error::InvalidFlags(header.flags)); |
| 182 | } |
| 183 | |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 184 | // Validate that we won't get an invalid alignment in the following due to padding to u64. |
| 185 | const_assert_eq!(HEADER_SIZE % mem::size_of::<u64>(), 0); |
| 186 | |
| 187 | // Ensure that Header::total_size isn't larger than anticipated by the caller and resize |
| 188 | // the &[u8] to catch OOB accesses to entries/blobs. |
| 189 | let total_size = header.total_size(); |
| 190 | let rest = if let Some(rest_size) = total_size.checked_sub(HEADER_SIZE) { |
| 191 | rest.get_mut(..rest_size).ok_or(Error::InvalidSize(total_size))? |
| 192 | } else { |
| 193 | return Err(Error::InvalidSize(total_size)); |
| 194 | }; |
| 195 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 196 | let (header_entries, body) = |
| 197 | LayoutVerified::<_, [HeaderEntry]>::new_slice_from_prefix(rest, header.entry_count()?) |
| 198 | .ok_or(Error::BufferTooSmall)?; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 199 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 200 | // Validate that we won't get an invalid alignment in the following due to padding to u64. |
| 201 | const_assert_eq!(mem::size_of::<HeaderEntry>() % mem::size_of::<u64>(), 0); |
| 202 | |
| 203 | let limits = header.body_offset()?..total_size; |
| 204 | let ranges = [ |
| 205 | // TODO: Find a way to do this programmatically even if the trait |
| 206 | // `core::marker::Copy` is not implemented for `core::ops::Range<usize>`. |
| 207 | Self::validated_body_range(Entry::Bcc, &header_entries, &limits)?, |
| 208 | Self::validated_body_range(Entry::DebugPolicy, &header_entries, &limits)?, |
| 209 | ]; |
| 210 | |
| 211 | Ok(Self { body, ranges }) |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 212 | } |
| 213 | |
| 214 | /// Get slice containing the platform BCC. |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 215 | pub fn get_entries(&mut self) -> Result<(&mut [u8], Option<&mut [u8]>)> { |
| 216 | // This assumes that the blobs are in-order w.r.t. the entries. |
| 217 | let bcc_range = self.get_entry_range(Entry::Bcc).ok_or(Error::MissingEntry(Entry::Bcc))?; |
| 218 | let dp_range = self.get_entry_range(Entry::DebugPolicy); |
| 219 | let bcc_start = bcc_range.start; |
| 220 | let bcc_end = bcc_range.len(); |
Pierre-Clément Tosi | efe780c | 2023-02-21 21:36:30 +0000 | [diff] [blame] | 221 | let (_, rest) = self.body.split_at_mut(bcc_start); |
| 222 | let (bcc, rest) = rest.split_at_mut(bcc_end); |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 223 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 224 | let dp = if let Some(dp_range) = dp_range { |
| 225 | let dp_start = dp_range.start.checked_sub(bcc_range.end).unwrap(); |
Pierre-Clément Tosi | efe780c | 2023-02-21 21:36:30 +0000 | [diff] [blame] | 226 | let dp_end = dp_range.len(); |
| 227 | let (_, rest) = rest.split_at_mut(dp_start); |
| 228 | let (dp, _) = rest.split_at_mut(dp_end); |
| 229 | Some(dp) |
| 230 | } else { |
| 231 | None |
| 232 | }; |
| 233 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame^] | 234 | Ok((bcc, dp)) |
| 235 | } |
| 236 | |
| 237 | pub fn get_entry_range(&self, entry: Entry) -> Option<Range<usize>> { |
| 238 | self.ranges[entry as usize].clone() |
| 239 | } |
| 240 | |
| 241 | fn validated_body_range( |
| 242 | entry: Entry, |
| 243 | header_entries: &[HeaderEntry], |
| 244 | limits: &Range<usize>, |
| 245 | ) -> Result<Option<Range<usize>>> { |
| 246 | if let Some(header_entry) = header_entries.get(entry as usize) { |
| 247 | if let Some(r) = header_entry.as_range() { |
| 248 | return if r.start <= r.end && r.is_within(limits) { |
| 249 | let start = r.start - limits.start; |
| 250 | let end = r.end - limits.start; |
| 251 | |
| 252 | Ok(Some(start..end)) |
| 253 | } else { |
| 254 | Err(Error::EntryOutOfBounds(entry, r, limits.clone())) |
| 255 | }; |
| 256 | } |
| 257 | } |
| 258 | |
| 259 | Ok(None) |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 260 | } |
| 261 | } |