Merge branch 'main' into dependabot/pip/tools/devctr/requests-2.32.4

Author: roypat

Cargo.lock

@@ -113,7 +113,7 @@ wget "https://s3.amazonaws.com/spec.ccfc.min/${latest_kernel_key}"
 latest_ubuntu_key=$(curl "http://spec.ccfc.min.s3.amazonaws.com/?prefix=firecracker-ci/$CI_VERSION/$ARCH/ubuntu-&list-type=2" \
     | grep -oP "(?<=<Key>)(firecracker-ci/$CI_VERSION/$ARCH/ubuntu-[0-9]+\.[0-9]+\.squashfs)(?=</Key>)" \
     | sort -V | tail -1)
-ubuntu_version=$(basename $latest_ubuntu_key .sqashfs | grep -oE '[0-9]+\.[0-9]+')
+ubuntu_version=$(basename $latest_ubuntu_key .squashfs | grep -oE '[0-9]+\.[0-9]+')
 
 # Download a rootfs
 wget -O ubuntu-$ubuntu_version.squashfs.upstream "https://s3.amazonaws.com/spec.ccfc.min/$latest_ubuntu_key"

docs/getting-started.md

@@ -57,7 +57,7 @@ vm-fdt = "0.3.0"
 criterion = { version = "0.6.0", default-features = false }
 device_tree = "1.1.0"
 itertools = "0.14.0"
-proptest = { version = "1.6.0", default-features = false, features = ["std"] }
+proptest = { version = "1.7.0", default-features = false, features = ["std"] }
 
 [[bench]]
 name = "cpu_templates"

src/vmm/Cargo.toml

@@ -1,9 +1,9 @@
 {
-  "firecracker_version": "1.12.0-dev",
-  "kernel_version": "5.10.234-225.910.amzn2.x86_64",
-  "microcode_version": "0x2b000620",
+  "firecracker_version": "1.13.0-dev",
+  "kernel_version": "5.10.237-230.948.amzn2.x86_64",
+  "microcode_version": "0x2b000639",
   "bios_version": "1.0",
-  "bios_revision": "3.3",
+  "bios_revision": "3.10",
   "guest_cpu_config": {
     "kvm_capabilities": [],
     "cpuid_modifiers": [
@@ -1339,7 +1339,7 @@
       },
       {
         "addr": "0x10a",
-        "bitmap": "0b0000000000000000000000000000000000001100000010001110000011101011"
+        "bitmap": "0b0100000000000000000000000000000000001100000010001110000011101011"
       },
       {
         "addr": "0x140",

tests/data/cpu_template_helper/fingerprint_INTEL_SAPPHIRE_RAPIDS_5.10host.json

@@ -1,9 +1,9 @@
 {
-  "firecracker_version": "1.12.0-dev",
-  "kernel_version": "5.10.234-225.910.amzn2.x86_64",
+  "firecracker_version": "1.13.0-dev",
+  "kernel_version": "5.10.237-230.948.amzn2.x86_64",
   "microcode_version": "0x2007006",
   "bios_version": "1.0",
-  "bios_revision": "4.11",
+  "bios_revision": "4.13",
   "guest_cpu_config": {
     "kvm_capabilities": [],
     "cpuid_modifiers": [
@@ -1128,7 +1128,7 @@
       },
       {
         "addr": "0x10a",
-        "bitmap": "0b0000000000000000000000000000000000001100000000000000000001001100"
+        "bitmap": "0b0100000000000000000000000000000000001100000000000000000001001100"
       },
       {
         "addr": "0x140",