{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1500-virtio-backpressure-matrix-check-AExT2b/report.json",
    "sha256": "a20f60908ce961b3b363f5ea1725b91164280f27b4c8a2616ea930b9d5be6f0d",
    "bytes": 11116
  },
  "status": "K1500_VIRTIO_BACKPRESSURE_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One isolated development Image used a size-four Virtio MMIO block queue with a three-descriptor live request, rejected a second three-descriptor claim as EAGAIN before publication without changing the first owner, then completed two real reads and returned frames across six direct and UEFI guests. Canonical product acceptance remains open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "04d98919ddf2fb898cd65de618a96ac3e5b9ed3d35e682f310abed0ecb9b11b3",
  "files": [
    {
      "name": "virtio_backpressure.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-local-YCapn4/source/kernel/tests/os/virtio_backpressure.rs",
      "originalSha256": "c020c286550c4d7803d096fbef1f181dd4d78f73c394b95cbc41cd18bdf24003",
      "href": "/os-evidence/c020c286550c4d7803d096fbef1f181dd4d78f73c394b95cbc41cd18bdf24003.txt",
      "sha256": "c020c286550c4d7803d096fbef1f181dd4d78f73c394b95cbc41cd18bdf24003",
      "bytes": 1529,
      "redacted": false
    },
    {
      "name": ".k1500-virtio-backpressure-matrix-generated.mjs",
      "source": "scripts/os-acceptance/.k1500-virtio-backpressure-matrix-generated.mjs",
      "originalSha256": "cfeac597fe91709c2c6fa72cb022163aa2c7155749fd2e93bf755c0530683fa1",
      "href": "/os-evidence/cfeac597fe91709c2c6fa72cb022163aa2c7155749fd2e93bf755c0530683fa1.txt",
      "sha256": "cfeac597fe91709c2c6fa72cb022163aa2c7155749fd2e93bf755c0530683fa1",
      "bytes": 81783,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "d722ef12b942369d550850e963e05253518bc4d53cfb43169efeab58f788ab41",
      "href": "/os-evidence/d722ef12b942369d550850e963e05253518bc4d53cfb43169efeab58f788ab41.txt",
      "sha256": "d722ef12b942369d550850e963e05253518bc4d53cfb43169efeab58f788ab41",
      "bytes": 73737,
      "redacted": false
    },
    {
      "name": "k1290-cat-disk.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1290-cat-disk.rs",
      "originalSha256": "44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a",
      "href": "/os-evidence/44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a.txt",
      "sha256": "44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a",
      "bytes": 6012,
      "redacted": false
    },
    {
      "name": "k1295-ls-disk.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1295-ls-disk.rs",
      "originalSha256": "4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5",
      "href": "/os-evidence/4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5.txt",
      "sha256": "4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5",
      "bytes": 5376,
      "redacted": false
    },
    {
      "name": "k1295-ls-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1295-ls-dispatch.rs",
      "originalSha256": "67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182",
      "href": "/os-evidence/67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182.txt",
      "sha256": "67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182",
      "bytes": 7342,
      "redacted": false
    },
    {
      "name": "k1300-process-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1300-process-dispatch.rs",
      "originalSha256": "2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95",
      "href": "/os-evidence/2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95.txt",
      "sha256": "2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95",
      "bytes": 10390,
      "redacted": false
    },
    {
      "name": "k1305-handles-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1305-handles-dispatch.rs",
      "originalSha256": "f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f",
      "href": "/os-evidence/f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f.txt",
      "sha256": "f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f",
      "bytes": 7976,
      "redacted": false
    },
    {
      "name": "k1310-generation-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1310-generation-dispatch.rs",
      "originalSha256": "a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef",
      "href": "/os-evidence/a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef.txt",
      "sha256": "a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef",
      "bytes": 7865,
      "redacted": false
    },
    {
      "name": "k1315-rights-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1315-rights-dispatch.rs",
      "originalSha256": "b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882",
      "href": "/os-evidence/b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882.txt",
      "sha256": "b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882",
      "bytes": 8427,
      "redacted": false
    },
    {
      "name": "k1375-lifetime-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1375-lifetime-dispatch.rs",
      "originalSha256": "12ba29a11b81f0245f7caffbb3c880b1fc310e28a9c06e2085c4203b4ee6a29b",
      "href": "/os-evidence/12ba29a11b81f0245f7caffbb3c880b1fc310e28a9c06e2085c4203b4ee6a29b.txt",
      "sha256": "12ba29a11b81f0245f7caffbb3c880b1fc310e28a9c06e2085c4203b4ee6a29b",
      "bytes": 25108,
      "redacted": false
    },
    {
      "name": "k1325-queue-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1325-queue-dispatch.rs",
      "originalSha256": "ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a",
      "href": "/os-evidence/ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a.txt",
      "sha256": "ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a",
      "bytes": 11583,
      "redacted": false
    },
    {
      "name": "k1330-owned-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1330-owned-dispatch.rs",
      "originalSha256": "d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d",
      "href": "/os-evidence/d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d.txt",
      "sha256": "d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d",
      "bytes": 9799,
      "redacted": false
    },
    {
      "name": "k1335-transfer-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1335-transfer-dispatch.rs",
      "originalSha256": "800bb2c06621208ba95d0ebf036193aaaf0cb9afe0a1fabef6aa4f8028f27a45",
      "href": "/os-evidence/800bb2c06621208ba95d0ebf036193aaaf0cb9afe0a1fabef6aa4f8028f27a45.txt",
      "sha256": "800bb2c06621208ba95d0ebf036193aaaf0cb9afe0a1fabef6aa4f8028f27a45",
      "bytes": 9718,
      "redacted": false
    },
    {
      "name": "k1340-peer-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1340-peer-dispatch.rs",
      "originalSha256": "df175f44c5b7172f0981a8e370ee3a8c1bedbc042dd5f69086494695aa94c2b4",
      "href": "/os-evidence/df175f44c5b7172f0981a8e370ee3a8c1bedbc042dd5f69086494695aa94c2b4.txt",
      "sha256": "df175f44c5b7172f0981a8e370ee3a8c1bedbc042dd5f69086494695aa94c2b4",
      "bytes": 9158,
      "redacted": false
    },
    {
      "name": "k1345-waitset-model.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1345-waitset-model.rs",
      "originalSha256": "3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586",
      "href": "/os-evidence/3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586.txt",
      "sha256": "3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586",
      "bytes": 4270,
      "redacted": false
    },
    {
      "name": "k1345-waitset-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1345-waitset-dispatch.rs",
      "originalSha256": "7da772a18b27a6912f9234b82c11830f36993e8903d79ae883c9f3458c02cf5a",
      "href": "/os-evidence/7da772a18b27a6912f9234b82c11830f36993e8903d79ae883c9f3458c02cf5a.txt",
      "sha256": "7da772a18b27a6912f9234b82c11830f36993e8903d79ae883c9f3458c02cf5a",
      "bytes": 9826,
      "redacted": false
    },
    {
      "name": "k1350-readiness-model.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1350-readiness-model.rs",
      "originalSha256": "02d9cfde272e40a810e17b924296d008ff396d32c448a2c11b5bad7282b18636",
      "href": "/os-evidence/02d9cfde272e40a810e17b924296d008ff396d32c448a2c11b5bad7282b18636.txt",
      "sha256": "02d9cfde272e40a810e17b924296d008ff396d32c448a2c11b5bad7282b18636",
      "bytes": 6340,
      "redacted": false
    },
    {
      "name": "k1350-readiness-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1350-readiness-dispatch.rs",
      "originalSha256": "12ac32c2a1e63844fa8c5274d3d8fd9f15bfde99162182e7533727f3fa7b5e64",
      "href": "/os-evidence/12ac32c2a1e63844fa8c5274d3d8fd9f15bfde99162182e7533727f3fa7b5e64.txt",
      "sha256": "12ac32c2a1e63844fa8c5274d3d8fd9f15bfde99162182e7533727f3fa7b5e64",
      "bytes": 10893,
      "redacted": false
    },
    {
      "name": "k1355-deadlines-model.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1355-deadlines-model.rs",
      "originalSha256": "1ff0ce69f2883430c6d1613ecaa011798243410e20c2ad36835a1904c1bc3602",
      "href": "/os-evidence/1ff0ce69f2883430c6d1613ecaa011798243410e20c2ad36835a1904c1bc3602.txt",
      "sha256": "1ff0ce69f2883430c6d1613ecaa011798243410e20c2ad36835a1904c1bc3602",
      "bytes": 4184,
      "redacted": false
    },
    {
      "name": "k1355-deadlines-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1355-deadlines-dispatch.rs",
      "originalSha256": "d82dd424e4355a48a9e4dba23577fdce411036a01743dbf7b2f87a6ed9ef04ac",
      "href": "/os-evidence/d82dd424e4355a48a9e4dba23577fdce411036a01743dbf7b2f87a6ed9ef04ac.txt",
      "sha256": "d82dd424e4355a48a9e4dba23577fdce411036a01743dbf7b2f87a6ed9ef04ac",
      "bytes": 10347,
      "redacted": false
    },
    {
      "name": "k1360-teardown-model.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1360-teardown-model.rs",
      "originalSha256": "12570dbdb279ce451f632db6f4b73ca997a89fd75198c8400bb05d7dbb377ad0",
      "href": "/os-evidence/12570dbdb279ce451f632db6f4b73ca997a89fd75198c8400bb05d7dbb377ad0.txt",
      "sha256": "12570dbdb279ce451f632db6f4b73ca997a89fd75198c8400bb05d7dbb377ad0",
      "bytes": 3756,
      "redacted": false
    },
    {
      "name": "k1360-teardown-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1360-teardown-dispatch.rs",
      "originalSha256": "37ae6ffd8583f16c264691af1f134d99ccde77a0fc4902f83f60288032d7a97d",
      "href": "/os-evidence/37ae6ffd8583f16c264691af1f134d99ccde77a0fc4902f83f60288032d7a97d.txt",
      "sha256": "37ae6ffd8583f16c264691af1f134d99ccde77a0fc4902f83f60288032d7a97d",
      "bytes": 11210,
      "redacted": false
    },
    {
      "name": "k1365-shared-model.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1365-shared-model.rs",
      "originalSha256": "0970152e795e131d95fc574e9610d8a5a6023db3bdf2cdc197496aa7e96b4bde",
      "href": "/os-evidence/0970152e795e131d95fc574e9610d8a5a6023db3bdf2cdc197496aa7e96b4bde.txt",
      "sha256": "0970152e795e131d95fc574e9610d8a5a6023db3bdf2cdc197496aa7e96b4bde",
      "bytes": 4240,
      "redacted": false
    },
    {
      "name": "k1365-shared-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1365-shared-dispatch.rs",
      "originalSha256": "6d06e0cae6f189aade4433f42b9751f377adbbf4653fb5c068431c4fc4276c9c",
      "href": "/os-evidence/6d06e0cae6f189aade4433f42b9751f377adbbf4653fb5c068431c4fc4276c9c.txt",
      "sha256": "6d06e0cae6f189aade4433f42b9751f377adbbf4653fb5c068431c4fc4276c9c",
      "bytes": 13243,
      "redacted": false
    },
    {
      "name": "k1370-seal-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1370-seal-dispatch.rs",
      "originalSha256": "2f136fd560394999f0acb2c2687d92f4635e5d685e2ad9780c7523f59933843a",
      "href": "/os-evidence/2f136fd560394999f0acb2c2687d92f4635e5d685e2ad9780c7523f59933843a.txt",
      "sha256": "2f136fd560394999f0acb2c2687d92f4635e5d685e2ad9780c7523f59933843a",
      "bytes": 17280,
      "redacted": false
    },
    {
      "name": "k1370-seal-model.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1370-seal-model.rs",
      "originalSha256": "ef824384a04072e88adbbe79a639683ed355978e2a105eb244cf8bb21463fede",
      "href": "/os-evidence/ef824384a04072e88adbbe79a639683ed355978e2a105eb244cf8bb21463fede.txt",
      "sha256": "ef824384a04072e88adbbe79a639683ed355978e2a105eb244cf8bb21463fede",
      "bytes": 5333,
      "redacted": false
    },
    {
      "name": "k1375-lifetime-model.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1375-lifetime-model.rs",
      "originalSha256": "05ea09880b963e765a446fb9f86914efc7020cd5f3b6619fa05d18eef3cfeefc",
      "href": "/os-evidence/05ea09880b963e765a446fb9f86914efc7020cd5f3b6619fa05d18eef3cfeefc.txt",
      "sha256": "05ea09880b963e765a446fb9f86914efc7020cd5f3b6619fa05d18eef3cfeefc",
      "bytes": 5126,
      "redacted": false
    },
    {
      "name": "k1380-ring-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1380-ring-dispatch.rs",
      "originalSha256": "83659c26134f43553297f7cd74ed45b058a849b85704720aa991f9578588e28a",
      "href": "/os-evidence/83659c26134f43553297f7cd74ed45b058a849b85704720aa991f9578588e28a.txt",
      "sha256": "83659c26134f43553297f7cd74ed45b058a849b85704720aa991f9578588e28a",
      "bytes": 10034,
      "redacted": false
    },
    {
      "name": "k1380-guest-ring.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1380-guest-ring.rs",
      "originalSha256": "669e9f68699a1eadcb75e5404bcf7d85228f446828c20402b4de456e1981f60a",
      "href": "/os-evidence/669e9f68699a1eadcb75e5404bcf7d85228f446828c20402b4de456e1981f60a.txt",
      "sha256": "669e9f68699a1eadcb75e5404bcf7d85228f446828c20402b4de456e1981f60a",
      "bytes": 2741,
      "redacted": false
    },
    {
      "name": "k1385-registry-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1385-registry-dispatch.rs",
      "originalSha256": "8a575f99864bb5bc1e831e56a4cddd0069ec5714e86370c46e4e038bc0f0e2db",
      "href": "/os-evidence/8a575f99864bb5bc1e831e56a4cddd0069ec5714e86370c46e4e038bc0f0e2db.txt",
      "sha256": "8a575f99864bb5bc1e831e56a4cddd0069ec5714e86370c46e4e038bc0f0e2db",
      "bytes": 8782,
      "redacted": false
    },
    {
      "name": "k1390-protocol-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1390-protocol-dispatch.rs",
      "originalSha256": "1cc5bfce95cf68037b260686d03b8a6f90336cbf981ed5573590357c41b7c1c2",
      "href": "/os-evidence/1cc5bfce95cf68037b260686d03b8a6f90336cbf981ed5573590357c41b7c1c2.txt",
      "sha256": "1cc5bfce95cf68037b260686d03b8a6f90336cbf981ed5573590357c41b7c1c2",
      "bytes": 8507,
      "redacted": false
    },
    {
      "name": "k1390-service-registry.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1390-service-registry.rs",
      "originalSha256": "f21612bddd65cf60a191bd8ee559b64472d28dade0049ffcc7a95cfa539552b8",
      "href": "/os-evidence/f21612bddd65cf60a191bd8ee559b64472d28dade0049ffcc7a95cfa539552b8.txt",
      "sha256": "f21612bddd65cf60a191bd8ee559b64472d28dade0049ffcc7a95cfa539552b8",
      "bytes": 7078,
      "redacted": false
    },
    {
      "name": "k1395-restart-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1395-restart-dispatch.rs",
      "originalSha256": "52136dd07dbff8336c1877d9fc34a176ee4b29bb3e6a6826dfa09b9f239a9a96",
      "href": "/os-evidence/52136dd07dbff8336c1877d9fc34a176ee4b29bb3e6a6826dfa09b9f239a9a96.txt",
      "sha256": "52136dd07dbff8336c1877d9fc34a176ee4b29bb3e6a6826dfa09b9f239a9a96",
      "bytes": 8622,
      "redacted": false
    },
    {
      "name": "k1395-service-registry.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1395-service-registry.rs",
      "originalSha256": "9aa1b6e27200f299fd6414c99053692b1ab7de78ac30e6d0096efc0065de036e",
      "href": "/os-evidence/9aa1b6e27200f299fd6414c99053692b1ab7de78ac30e6d0096efc0065de036e.txt",
      "sha256": "9aa1b6e27200f299fd6414c99053692b1ab7de78ac30e6d0096efc0065de036e",
      "bytes": 8630,
      "redacted": false
    },
    {
      "name": "k1400-discovery-dispatch.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1400-discovery-dispatch.rs",
      "originalSha256": "f4565f030dad3b534ed0dba01f1ee26446937e4bfc779eb786bf0f1cab04a4c8",
      "href": "/os-evidence/f4565f030dad3b534ed0dba01f1ee26446937e4bfc779eb786bf0f1cab04a4c8.txt",
      "sha256": "f4565f030dad3b534ed0dba01f1ee26446937e4bfc779eb786bf0f1cab04a4c8",
      "bytes": 9029,
      "redacted": false
    },
    {
      "name": "k1400-service-registry.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1400-service-registry.rs",
      "originalSha256": "9e8d8e6b897c3d2bbbc108c060518f2f06541f3a2981df00bdf7462909e6ca6b",
      "href": "/os-evidence/9e8d8e6b897c3d2bbbc108c060518f2f06541f3a2981df00bdf7462909e6ca6b.txt",
      "sha256": "9e8d8e6b897c3d2bbbc108c060518f2f06541f3a2981df00bdf7462909e6ca6b",
      "bytes": 10332,
      "redacted": false
    },
    {
      "name": "k1405-device-registry.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1405-device-registry.rs",
      "originalSha256": "62f9689e0f84b6843eac927aa2a3143a54e85dd8e8ba60790acec683a5e63b7e",
      "href": "/os-evidence/62f9689e0f84b6843eac927aa2a3143a54e85dd8e8ba60790acec683a5e63b7e.txt",
      "sha256": "62f9689e0f84b6843eac927aa2a3143a54e85dd8e8ba60790acec683a5e63b7e",
      "bytes": 3415,
      "redacted": false
    },
    {
      "name": "k1410-device-resources.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1410-device-resources.rs",
      "originalSha256": "c401e9951d8d2cbb995122a22e3fac10be4a16f1ee8430f417dfda6c50459ca1",
      "href": "/os-evidence/c401e9951d8d2cbb995122a22e3fac10be4a16f1ee8430f417dfda6c50459ca1.txt",
      "sha256": "c401e9951d8d2cbb995122a22e3fac10be4a16f1ee8430f417dfda6c50459ca1",
      "bytes": 4792,
      "redacted": false
    },
    {
      "name": "k1415-device-driver-match.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1415-device-driver-match.rs",
      "originalSha256": "47f3d73da1f0b21b6cd7d6f8693cba3435fc96c37d6361069cc69d040d611e35",
      "href": "/os-evidence/47f3d73da1f0b21b6cd7d6f8693cba3435fc96c37d6361069cc69d040d611e35.txt",
      "sha256": "47f3d73da1f0b21b6cd7d6f8693cba3435fc96c37d6361069cc69d040d611e35",
      "bytes": 4346,
      "redacted": false
    },
    {
      "name": "k1420-device-safe-detach.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1420-device-safe-detach.rs",
      "originalSha256": "0c5b65e1930cbdec91c8e5d6f2c36fe54435fa4c4d38d1d888d23cdeee7c638a",
      "href": "/os-evidence/0c5b65e1930cbdec91c8e5d6f2c36fe54435fa4c4d38d1d888d23cdeee7c638a.txt",
      "sha256": "0c5b65e1930cbdec91c8e5d6f2c36fe54435fa4c4d38d1d888d23cdeee7c638a",
      "bytes": 3956,
      "redacted": false
    },
    {
      "name": "device_registry.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/device_registry.rs",
      "originalSha256": "133449a60ff243ebb692b031032e22ba3e9aca3c0858008f4cab116e82a8204a",
      "href": "/os-evidence/133449a60ff243ebb692b031032e22ba3e9aca3c0858008f4cab116e82a8204a.txt",
      "sha256": "133449a60ff243ebb692b031032e22ba3e9aca3c0858008f4cab116e82a8204a",
      "bytes": 16919,
      "redacted": false
    },
    {
      "name": "k1425-pci-ecam.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1425-pci-ecam.rs",
      "originalSha256": "4c22297006a72ef1bef058060e8a9ef2d5cbac3d7b7a4ba02e211cd3323c336f",
      "href": "/os-evidence/4c22297006a72ef1bef058060e8a9ef2d5cbac3d7b7a4ba02e211cd3323c336f.txt",
      "sha256": "4c22297006a72ef1bef058060e8a9ef2d5cbac3d7b7a4ba02e211cd3323c336f",
      "bytes": 2254,
      "redacted": false
    },
    {
      "name": "pci_discovery.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/pci_discovery.rs",
      "originalSha256": "3c6df9a449988d350e458ce0d93207bde3de6be9594c80ba375a6974c12e7ff0",
      "href": "/os-evidence/3c6df9a449988d350e458ce0d93207bde3de6be9594c80ba375a6974c12e7ff0.txt",
      "sha256": "3c6df9a449988d350e458ce0d93207bde3de6be9594c80ba375a6974c12e7ff0",
      "bytes": 4055,
      "redacted": false
    },
    {
      "name": "k1430-pci-headers.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1430-pci-headers.rs",
      "originalSha256": "13971652b5a5cbb17a73fb2ead84c75c2b86517cc71e6fb3c37f0220f7576111",
      "href": "/os-evidence/13971652b5a5cbb17a73fb2ead84c75c2b86517cc71e6fb3c37f0220f7576111.txt",
      "sha256": "13971652b5a5cbb17a73fb2ead84c75c2b86517cc71e6fb3c37f0220f7576111",
      "bytes": 2540,
      "redacted": false
    },
    {
      "name": "pci_headers.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/pci_headers.rs",
      "originalSha256": "d540422dfb35ec5f8a39fb9e7ecf3d4f57e25a8a0eca32afecf68e7349e21d94",
      "href": "/os-evidence/d540422dfb35ec5f8a39fb9e7ecf3d4f57e25a8a0eca32afecf68e7349e21d94.txt",
      "sha256": "d540422dfb35ec5f8a39fb9e7ecf3d4f57e25a8a0eca32afecf68e7349e21d94",
      "bytes": 2785,
      "redacted": false
    },
    {
      "name": "k1435-pci-capabilities.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1435-pci-capabilities.rs",
      "originalSha256": "e86d10c8bd3efbe28332d31abc2839cf7f2938aba7fdebe196dc208e188bdbed",
      "href": "/os-evidence/e86d10c8bd3efbe28332d31abc2839cf7f2938aba7fdebe196dc208e188bdbed.txt",
      "sha256": "e86d10c8bd3efbe28332d31abc2839cf7f2938aba7fdebe196dc208e188bdbed",
      "bytes": 3146,
      "redacted": false
    },
    {
      "name": "pci_capabilities.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/pci_capabilities.rs",
      "originalSha256": "1e39b52d8b98d3c049eac6af16f5eec208bdb5404425b708f5756e954cb0836f",
      "href": "/os-evidence/1e39b52d8b98d3c049eac6af16f5eec208bdb5404425b708f5756e954cb0836f.txt",
      "sha256": "1e39b52d8b98d3c049eac6af16f5eec208bdb5404425b708f5756e954cb0836f",
      "bytes": 2242,
      "redacted": false
    },
    {
      "name": "k1440-pci-bridges.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1440-pci-bridges.rs",
      "originalSha256": "6e398b4626fd35a635c9d5ca09ce6607a92da0c1a1da29d9d2e1aed2f81f7a49",
      "href": "/os-evidence/6e398b4626fd35a635c9d5ca09ce6607a92da0c1a1da29d9d2e1aed2f81f7a49.txt",
      "sha256": "6e398b4626fd35a635c9d5ca09ce6607a92da0c1a1da29d9d2e1aed2f81f7a49",
      "bytes": 3786,
      "redacted": false
    },
    {
      "name": "pci_bridges.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/pci_bridges.rs",
      "originalSha256": "7c49f7de28d521437ff96cce3a60468b384b37f66a60ce59dbdbd3d30e775608",
      "href": "/os-evidence/7c49f7de28d521437ff96cce3a60468b384b37f66a60ce59dbdbd3d30e775608.txt",
      "sha256": "7c49f7de28d521437ff96cce3a60468b384b37f66a60ce59dbdbd3d30e775608",
      "bytes": 3567,
      "redacted": false
    },
    {
      "name": "k1445-pci-bar-size.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1445-pci-bar-size.rs",
      "originalSha256": "f9180741c25ed01b64a72503a724d25aadde34c1972bd84fd0f0b1d5791525fd",
      "href": "/os-evidence/f9180741c25ed01b64a72503a724d25aadde34c1972bd84fd0f0b1d5791525fd.txt",
      "sha256": "f9180741c25ed01b64a72503a724d25aadde34c1972bd84fd0f0b1d5791525fd",
      "bytes": 3879,
      "redacted": false
    },
    {
      "name": "pci_resources.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/pci_resources.rs",
      "originalSha256": "e5767d185824150d05a2b9ca03a976eb515a2865e6971c21ecffba34fb0be8db",
      "href": "/os-evidence/e5767d185824150d05a2b9ca03a976eb515a2865e6971c21ecffba34fb0be8db.txt",
      "sha256": "e5767d185824150d05a2b9ca03a976eb515a2865e6971c21ecffba34fb0be8db",
      "bytes": 3777,
      "redacted": false
    },
    {
      "name": "k1450-pci-device-map.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1450-pci-device-map.rs",
      "originalSha256": "2a48abcd135e1d34132e8b9e14202b1043fe23a0f1b90a5e254526f04b3926c3",
      "href": "/os-evidence/2a48abcd135e1d34132e8b9e14202b1043fe23a0f1b90a5e254526f04b3926c3.txt",
      "sha256": "2a48abcd135e1d34132e8b9e14202b1043fe23a0f1b90a5e254526f04b3926c3",
      "bytes": 6195,
      "redacted": false
    },
    {
      "name": "pci_device_map.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/pci_device_map.rs",
      "originalSha256": "1c35554ddb5be0014c00d988fe9cf4836a111e1e0dce9e18792ba3747b73e401",
      "href": "/os-evidence/1c35554ddb5be0014c00d988fe9cf4836a111e1e0dce9e18792ba3747b73e401.txt",
      "sha256": "1c35554ddb5be0014c00d988fe9cf4836a111e1e0dce9e18792ba3747b73e401",
      "bytes": 2619,
      "redacted": false
    },
    {
      "name": "k1455-pci-intx.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1455-pci-intx.rs",
      "originalSha256": "bb27586ef40fc47d7dc1783467b563507d409f22fd785a017c0bf18672f0e2bc",
      "href": "/os-evidence/bb27586ef40fc47d7dc1783467b563507d409f22fd785a017c0bf18672f0e2bc.txt",
      "sha256": "bb27586ef40fc47d7dc1783467b563507d409f22fd785a017c0bf18672f0e2bc",
      "bytes": 7510,
      "redacted": false
    },
    {
      "name": "pci_interrupts.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/pci_interrupts.rs",
      "originalSha256": "49455a6d2ac0510a0ce36597ddbafbe70e44112731b26119daf62186666fa331",
      "href": "/os-evidence/49455a6d2ac0510a0ce36597ddbafbe70e44112731b26119daf62186666fa331.txt",
      "sha256": "49455a6d2ac0510a0ce36597ddbafbe70e44112731b26119daf62186666fa331",
      "bytes": 2493,
      "redacted": false
    },
    {
      "name": "k1460-pci-msix.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1460-pci-msix.rs",
      "originalSha256": "79f4d498f5e2be7c4f0c15fc114808a76b4739920ed406fe13b33937da2a043c",
      "href": "/os-evidence/79f4d498f5e2be7c4f0c15fc114808a76b4739920ed406fe13b33937da2a043c.txt",
      "sha256": "79f4d498f5e2be7c4f0c15fc114808a76b4739920ed406fe13b33937da2a043c",
      "bytes": 11559,
      "redacted": false
    },
    {
      "name": "pci_msix.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/pci_msix.rs",
      "originalSha256": "82883fa8135208bb8b8669977be4e3c01dfd15c7e9d32c217538440f6f0868c6",
      "href": "/os-evidence/82883fa8135208bb8b8669977be4e3c01dfd15c7e9d32c217538440f6f0868c6.txt",
      "sha256": "82883fa8135208bb8b8669977be4e3c01dfd15c7e9d32c217538440f6f0868c6",
      "bytes": 3368,
      "redacted": false
    },
    {
      "name": "k1465-virtio-mmio-v2.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1465-virtio-mmio-v2.rs",
      "originalSha256": "4c2b0f90b486c0f01f3de8a8662b37c0f85d73d65d9900efc1215395334a8e11",
      "href": "/os-evidence/4c2b0f90b486c0f01f3de8a8662b37c0f85d73d65d9900efc1215395334a8e11.txt",
      "sha256": "4c2b0f90b486c0f01f3de8a8662b37c0f85d73d65d9900efc1215395334a8e11",
      "bytes": 6727,
      "redacted": false
    },
    {
      "name": "virtio_mmio_v2.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/virtio_mmio_v2.rs",
      "originalSha256": "30578c20efca4c00a243c6a4c8b4a718eb31d9e5098fc5d55686b2b8b63eb8bf",
      "href": "/os-evidence/30578c20efca4c00a243c6a4c8b4a718eb31d9e5098fc5d55686b2b8b63eb8bf.txt",
      "sha256": "30578c20efca4c00a243c6a4c8b4a718eb31d9e5098fc5d55686b2b8b63eb8bf",
      "bytes": 6218,
      "redacted": false
    },
    {
      "name": "k1470-virtio-pci-common.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1470-virtio-pci-common.rs",
      "originalSha256": "fed2878b367376c1d6bbdd069da7408232d4fd3c694d87ff25ee4b172a875509",
      "href": "/os-evidence/fed2878b367376c1d6bbdd069da7408232d4fd3c694d87ff25ee4b172a875509.txt",
      "sha256": "fed2878b367376c1d6bbdd069da7408232d4fd3c694d87ff25ee4b172a875509",
      "bytes": 10585,
      "redacted": false
    },
    {
      "name": "virtio_pci_common.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/virtio_pci_common.rs",
      "originalSha256": "6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b",
      "href": "/os-evidence/6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b.txt",
      "sha256": "6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b",
      "bytes": 6247,
      "redacted": false
    },
    {
      "name": "k1475-virtio-features.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1475-virtio-features.rs",
      "originalSha256": "4519696b0f11dff725938ac899fcb1aa0927b6b666cea832b6fbc1f625e309aa",
      "href": "/os-evidence/4519696b0f11dff725938ac899fcb1aa0927b6b666cea832b6fbc1f625e309aa.txt",
      "sha256": "4519696b0f11dff725938ac899fcb1aa0927b6b666cea832b6fbc1f625e309aa",
      "bytes": 11952,
      "redacted": false
    },
    {
      "name": "virtio_features.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/virtio_features.rs",
      "originalSha256": "870bb42713a24245e19d22ca9ce5987f9d7c088e24a84d719c7693c65fedd83e",
      "href": "/os-evidence/870bb42713a24245e19d22ca9ce5987f9d7c088e24a84d719c7693c65fedd83e.txt",
      "sha256": "870bb42713a24245e19d22ca9ce5987f9d7c088e24a84d719c7693c65fedd83e",
      "bytes": 5306,
      "redacted": false
    },
    {
      "name": "k1480-virtio-status.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1480-virtio-status.rs",
      "originalSha256": "3e97988ed04e2d52ef942dfb4a13e86651604b2d75cb0cf2d39384c2173fe12f",
      "href": "/os-evidence/3e97988ed04e2d52ef942dfb4a13e86651604b2d75cb0cf2d39384c2173fe12f.txt",
      "sha256": "3e97988ed04e2d52ef942dfb4a13e86651604b2d75cb0cf2d39384c2173fe12f",
      "bytes": 13742,
      "redacted": false
    },
    {
      "name": "virtio_status.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/virtio_status.rs",
      "originalSha256": "ee7b85b25a3a643ae7c2ec2c5ab61465389dbbd0424ddbf7063ed3606b2547bc",
      "href": "/os-evidence/ee7b85b25a3a643ae7c2ec2c5ab61465389dbbd0424ddbf7063ed3606b2547bc.txt",
      "sha256": "ee7b85b25a3a643ae7c2ec2c5ab61465389dbbd0424ddbf7063ed3606b2547bc",
      "bytes": 5601,
      "redacted": false
    },
    {
      "name": "k1485-virtio-descriptors.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1485-virtio-descriptors.rs",
      "originalSha256": "8db45fc2fb2b6a73702a3aa742da0c69460fc17f9ce6a8e740442084ceebe037",
      "href": "/os-evidence/8db45fc2fb2b6a73702a3aa742da0c69460fc17f9ce6a8e740442084ceebe037.txt",
      "sha256": "8db45fc2fb2b6a73702a3aa742da0c69460fc17f9ce6a8e740442084ceebe037",
      "bytes": 709,
      "redacted": false
    },
    {
      "name": "virtio_descriptors.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/virtio_descriptors.rs",
      "originalSha256": "1228ae9a20fafd94872dfe4d3f00c7f40e961dc6dcf04a98d6da459a24e27a15",
      "href": "/os-evidence/1228ae9a20fafd94872dfe4d3f00c7f40e961dc6dcf04a98d6da459a24e27a15.txt",
      "sha256": "1228ae9a20fafd94872dfe4d3f00c7f40e961dc6dcf04a98d6da459a24e27a15",
      "bytes": 7017,
      "redacted": false
    },
    {
      "name": "virtio_ro_turkfs.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/virtio_ro_turkfs.rs",
      "originalSha256": "0883e7330bd2d4dd753fff091e166ae2504a7fe2107c09faa2d765a45d6b36dd",
      "href": "/os-evidence/0883e7330bd2d4dd753fff091e166ae2504a7fe2107c09faa2d765a45d6b36dd.txt",
      "sha256": "0883e7330bd2d4dd753fff091e166ae2504a7fe2107c09faa2d765a45d6b36dd",
      "bytes": 15478,
      "redacted": false
    },
    {
      "name": "k1490-virtio-indices.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1490-virtio-indices.rs",
      "originalSha256": "0837469fefb8a845d18fa4b5a9a0cf08ee3ec0e6c5ca86343ed3db5741236267",
      "href": "/os-evidence/0837469fefb8a845d18fa4b5a9a0cf08ee3ec0e6c5ca86343ed3db5741236267.txt",
      "sha256": "0837469fefb8a845d18fa4b5a9a0cf08ee3ec0e6c5ca86343ed3db5741236267",
      "bytes": 766,
      "redacted": false
    },
    {
      "name": "virtio_indices.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/virtio_indices.rs",
      "originalSha256": "9de154c209281ee9f9d6deffff4533076fe17fe754b00cc38a0fd4b684a2e501",
      "href": "/os-evidence/9de154c209281ee9f9d6deffff4533076fe17fe754b00cc38a0fd4b684a2e501.txt",
      "sha256": "9de154c209281ee9f9d6deffff4533076fe17fe754b00cc38a0fd4b684a2e501",
      "bytes": 3294,
      "redacted": false
    },
    {
      "name": "k1495-virtio-completions.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1495-virtio-completions.rs",
      "originalSha256": "f39ac41cdad62c22c031308cb298825afe5523a39e3ff82966262576e260cca6",
      "href": "/os-evidence/f39ac41cdad62c22c031308cb298825afe5523a39e3ff82966262576e260cca6.txt",
      "sha256": "f39ac41cdad62c22c031308cb298825afe5523a39e3ff82966262576e260cca6",
      "bytes": 765,
      "redacted": false
    },
    {
      "name": "virtio_completions.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/virtio_completions.rs",
      "originalSha256": "4ae3e124211a52d89c87c198ee96f482150676142de461aca280b0fc2307224a",
      "href": "/os-evidence/4ae3e124211a52d89c87c198ee96f482150676142de461aca280b0fc2307224a.txt",
      "sha256": "4ae3e124211a52d89c87c198ee96f482150676142de461aca280b0fc2307224a",
      "bytes": 3180,
      "redacted": false
    },
    {
      "name": "k1500-virtio-backpressure.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/k1500-virtio-backpressure.rs",
      "originalSha256": "643fec43301916c66035e0fa955c83245b4ad3ef06acfe8ecd794c03200f13ef",
      "href": "/os-evidence/643fec43301916c66035e0fa955c83245b4ad3ef06acfe8ecd794c03200f13ef.txt",
      "sha256": "643fec43301916c66035e0fa955c83245b4ad3ef06acfe8ecd794c03200f13ef",
      "bytes": 810,
      "redacted": false
    },
    {
      "name": "virtio_backpressure.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/virtio_backpressure.rs",
      "originalSha256": "5e1b6dc06417fb0151985269963770e2f8a0cc8e9c7a8ab0688b71580e265533",
      "href": "/os-evidence/5e1b6dc06417fb0151985269963770e2f8a0cc8e9c7a8ab0688b71580e265533.txt",
      "sha256": "5e1b6dc06417fb0151985269963770e2f8a0cc8e9c7a8ab0688b71580e265533",
      "bytes": 2804,
      "redacted": false
    },
    {
      "name": "dtb.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/dtb.rs",
      "originalSha256": "fbdb73431ca7836761a10a343eeafc572c061b3bbe97f416d18b327eab408b28",
      "href": "/os-evidence/fbdb73431ca7836761a10a343eeafc572c061b3bbe97f416d18b327eab408b28.txt",
      "sha256": "fbdb73431ca7836761a10a343eeafc572c061b3bbe97f416d18b327eab408b28",
      "bytes": 100064,
      "redacted": false
    },
    {
      "name": "mmu.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/mmu.rs",
      "originalSha256": "c1853a4c7df2f58fa3c08a3f673a6e32bda7141efbe557aa3d10f8d0e156628e",
      "href": "/os-evidence/c1853a4c7df2f58fa3c08a3f673a6e32bda7141efbe557aa3d10f8d0e156628e.txt",
      "sha256": "c1853a4c7df2f58fa3c08a3f673a6e32bda7141efbe557aa3d10f8d0e156628e",
      "bytes": 119689,
      "redacted": false
    },
    {
      "name": "mod.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/mod.rs",
      "originalSha256": "ed98dfe6a4683d4b96d9cc12a0a2c227e564e2eed9734736676a919352be4eb7",
      "href": "/os-evidence/ed98dfe6a4683d4b96d9cc12a0a2c227e564e2eed9734736676a919352be4eb7.txt",
      "sha256": "ed98dfe6a4683d4b96d9cc12a0a2c227e564e2eed9734736676a919352be4eb7",
      "bytes": 1560,
      "redacted": false
    },
    {
      "name": "os_k1215a_vectors.S",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/os_k1215a_vectors.S",
      "originalSha256": "27913d057440bfaf745b9b6f6df799866dbab806b2b1c1a45624e9b9372b231b",
      "href": "/os-evidence/27913d057440bfaf745b9b6f6df799866dbab806b2b1c1a45624e9b9372b231b.txt",
      "sha256": "27913d057440bfaf745b9b6f6df799866dbab806b2b1c1a45624e9b9372b231b",
      "bytes": 7272,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/handles.rs",
      "originalSha256": "dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c",
      "href": "/os-evidence/dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c.txt",
      "sha256": "dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c",
      "bytes": 36105,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "04f5efcc5fa1903da769cdffc6752782eac908f35657751f3d0728d46f8f1b5f",
      "href": "/os-evidence/04f5efcc5fa1903da769cdffc6752782eac908f35657751f3d0728d46f8f1b5f.txt",
      "sha256": "04f5efcc5fa1903da769cdffc6752782eac908f35657751f3d0728d46f8f1b5f",
      "bytes": 100767,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "8ec27b76ce1dead2593e241dc478b4bab7559a004f332ddbac093fa00dbca8f2",
      "href": "/os-evidence/8ec27b76ce1dead2593e241dc478b4bab7559a004f332ddbac093fa00dbca8f2.txt",
      "sha256": "8ec27b76ce1dead2593e241dc478b4bab7559a004f332ddbac093fa00dbca8f2",
      "bytes": 51676,
      "redacted": false
    },
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "a4cd65db72950dcbaa085d0c58283bc6ca3dadcea798392e78b8e6815a7ed0dd",
      "href": "/os-evidence/a4cd65db72950dcbaa085d0c58283bc6ca3dadcea798392e78b8e6815a7ed0dd.txt",
      "sha256": "a4cd65db72950dcbaa085d0c58283bc6ca3dadcea798392e78b8e6815a7ed0dd",
      "bytes": 21513,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-candidate-Q6tI0J/kernel-product.log",
      "originalSha256": "1fce356fcc9b0b839df2b9085625a6e4271d0a1f598b7af934e5601bd0ed7ae0",
      "href": "/os-evidence/712a80b1f9f0d4cf2ac5bd3f2d45554e8b7aea485bae84a54b8d1cacccfe64c5.txt",
      "sha256": "712a80b1f9f0d4cf2ac5bd3f2d45554e8b7aea485bae84a54b8d1cacccfe64c5",
      "bytes": 1763,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-matrix-rKWJcc/product-one-bank-direct-256-mode-91/serial.log",
      "originalSha256": "5c2d4edda90c2cf2aa51734aa5c285ae248029fe36e929d51be9848327b3b4b5",
      "href": "/os-evidence/5c2d4edda90c2cf2aa51734aa5c285ae248029fe36e929d51be9848327b3b4b5.txt",
      "sha256": "5c2d4edda90c2cf2aa51734aa5c285ae248029fe36e929d51be9848327b3b4b5",
      "bytes": 42881,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-matrix-rKWJcc/product-one-bank-direct-512-mode-91/serial.log",
      "originalSha256": "b4d00e576d792fd19a522ec36f5fa7cdc6381c32d2288f07ba87aa1788576606",
      "href": "/os-evidence/b4d00e576d792fd19a522ec36f5fa7cdc6381c32d2288f07ba87aa1788576606.txt",
      "sha256": "b4d00e576d792fd19a522ec36f5fa7cdc6381c32d2288f07ba87aa1788576606",
      "bytes": 42881,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-matrix-rKWJcc/product-one-bank-direct-1024-mode-91/serial.log",
      "originalSha256": "c12c0c8ca68e2f4479b1b1a7661baf881a10b38295be655b327e9d4baca1db0c",
      "href": "/os-evidence/c12c0c8ca68e2f4479b1b1a7661baf881a10b38295be655b327e9d4baca1db0c.txt",
      "sha256": "c12c0c8ca68e2f4479b1b1a7661baf881a10b38295be655b327e9d4baca1db0c",
      "bytes": 42881,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-matrix-rKWJcc/product-one-bank-uefi-256-mode-91/serial.log",
      "originalSha256": "a3c44090dc3b8fef7feac0cbeb1a7be9106bd05c2a92a9ee4bf216a6897bb987",
      "href": "/os-evidence/a3c44090dc3b8fef7feac0cbeb1a7be9106bd05c2a92a9ee4bf216a6897bb987.txt",
      "sha256": "a3c44090dc3b8fef7feac0cbeb1a7be9106bd05c2a92a9ee4bf216a6897bb987",
      "bytes": 49254,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-matrix-rKWJcc/product-one-bank-uefi-512-mode-91/serial.log",
      "originalSha256": "f5ba140cdfdedd1f0e44d2165f12348290ebf02ae1b831ceb9e0b89b5a9e99ac",
      "href": "/os-evidence/f5ba140cdfdedd1f0e44d2165f12348290ebf02ae1b831ceb9e0b89b5a9e99ac.txt",
      "sha256": "f5ba140cdfdedd1f0e44d2165f12348290ebf02ae1b831ceb9e0b89b5a9e99ac",
      "bytes": 48969,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1500-virtio-backpressure-matrix-rKWJcc/product-one-bank-uefi-1024-mode-91/serial.log",
      "originalSha256": "8c4990e284be39af7d314275e7286be766046ffad58c7c40d0aed9d5e126d7b4",
      "href": "/os-evidence/8c4990e284be39af7d314275e7286be766046ffad58c7c40d0aed9d5e126d7b4.txt",
      "sha256": "8c4990e284be39af7d314275e7286be766046ffad58c7c40d0aed9d5e126d7b4",
      "bytes": 48969,
      "redacted": false
    }
  ],
  "moves": [
    "K1500"
  ]
}