Merge "sel4-sys: add BootInfo serde support"

GitOrigin-RevId: a6191ecf1b2bddbe8c92dbe7d2e5ba0a65824117

apps/system/components/kata-os-common/src/sel4-sys/Cargo.toml

@@ -60,3 +60,4 @@ path = "lib.rs"
 
 [dependencies]
 static_assertions = "1.1"
+serde = { version = "1.0", default-features = false, features = ["derive"] }

apps/system/components/kata-os-common/src/sel4-sys/arch/riscv.rs

@@ -93,7 +93,7 @@ impl From<u32> for seL4_RISCV_VMAttributes {
 }
 
 #[repr(C)]
-#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
 pub enum seL4_ObjectType {
     seL4_UntypedObject = 0,
     seL4_TCBObject,

apps/system/components/kata-os-common/src/sel4-sys/lib.rs

@@ -13,6 +13,7 @@
 #![allow(bad_style, unused_parens, unused_assignments)]
 
 use core::mem::size_of;
+use serde::{Deserialize,Serialize};
 use static_assertions::*;
 
 // NB: this mimics the logic in build.rs