{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1180-el0-acceptance-iUDgAr/report.json",
    "sha256": "2ad68f563bf76c936a30071ca3cdca2e7c5caaf11692f1b9868e0bbf710fca01",
    "bytes": 4230
  },
  "status": "K1180_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Isolated development Image acceptance: direct and UEFI one-bank guests at 256/512/1024 MiB charge the Ready child’s quota from its real ProcessTable page/thread record and live capability handle. Page, thread and handle plus-one requests each return EAGAIN with quota, rights, handles and ProcessTable unchanged. The distinct Running parent then performs another healthy EL0 write while the child remains published. Each guest executes nine SVC entries and eight ERET continuations, reaps both processes, and restores physical inventory. Physical owner/release and predecessor inspectors pass. Four named host tests and four ABI regressions pass. Published release and external hardware remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": "4980ed818a002bab3b04fdc8338f4a7290083e4103be21d3485f6e4ca646026a",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1180-el0-candidate-OF7Nko/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "97a95eaf79b5844da74d5605773d19de7e33d1972cdac53f996e90f8f3e1d35e",
      "href": "/os-evidence/97a95eaf79b5844da74d5605773d19de7e33d1972cdac53f996e90f8f3e1d35e.txt",
      "sha256": "97a95eaf79b5844da74d5605773d19de7e33d1972cdac53f996e90f8f3e1d35e",
      "bytes": 20620,
      "redacted": false
    },
    {
      "name": "k1180-el0-guest.rs",
      "source": "scripts/os-acceptance/k1180-el0-guest.rs",
      "originalSha256": "cc653b32935e9b54d21d73474d6b1c8d8d25c4512ea3c6f1c0da301224a8a0ea",
      "href": "/os-evidence/cc653b32935e9b54d21d73474d6b1c8d8d25c4512ea3c6f1c0da301224a8a0ea.txt",
      "sha256": "cc653b32935e9b54d21d73474d6b1c8d8d25c4512ea3c6f1c0da301224a8a0ea",
      "bytes": 34658,
      "redacted": false
    },
    {
      "name": "process_rights.rs",
      "source": "reports/os-implementation/K1180-el0-candidate-OF7Nko/sources/kernel/src/runtime/process_rights.rs",
      "originalSha256": "70b0cfc56afcade2cc80ac0c91999a6d96155743beac2018dc9561d25867c9f0",
      "href": "/os-evidence/70b0cfc56afcade2cc80ac0c91999a6d96155743beac2018dc9561d25867c9f0.txt",
      "sha256": "70b0cfc56afcade2cc80ac0c91999a6d96155743beac2018dc9561d25867c9f0",
      "bytes": 11962,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1180-el0-candidate-OF7Nko/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "beec964a4bc041283f5f06111c4a83e3ec7ce26e53dcd9c961eb64aabb40dc70",
      "href": "/os-evidence/beec964a4bc041283f5f06111c4a83e3ec7ce26e53dcd9c961eb64aabb40dc70.txt",
      "sha256": "beec964a4bc041283f5f06111c4a83e3ec7ce26e53dcd9c961eb64aabb40dc70",
      "bytes": 35957,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1180-el0-candidate-OF7Nko/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "b90b6cdf3b4fe405f1ca8dd090c59bcacbe0a102a53f62872316b891c687d042",
      "href": "/os-evidence/b90b6cdf3b4fe405f1ca8dd090c59bcacbe0a102a53f62872316b891c687d042.txt",
      "sha256": "b90b6cdf3b4fe405f1ca8dd090c59bcacbe0a102a53f62872316b891c687d042",
      "bytes": 72172,
      "redacted": false
    },
    {
      "name": "process_image_recipe.rs",
      "source": "reports/os-implementation/K1180-el0-candidate-OF7Nko/sources/kernel/src/runtime/process_image_recipe.rs",
      "originalSha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "href": "/os-evidence/0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071.txt",
      "sha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "bytes": 27688,
      "redacted": false
    },
    {
      "name": "os_k1180_vectors.S",
      "source": "reports/os-implementation/K1180-el0-candidate-OF7Nko/sources/kernel/src/os_k1180_vectors.S",
      "originalSha256": "c8d4bc7ac21d32d3756f58653e25d60f4f82a078f04464878cda2932f575e70b",
      "href": "/os-evidence/c8d4bc7ac21d32d3756f58653e25d60f4f82a078f04464878cda2932f575e70b.txt",
      "sha256": "c8d4bc7ac21d32d3756f58653e25d60f4f82a078f04464878cda2932f575e70b",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1180-el0-candidate-OF7Nko/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "cc81070a74cd59c280ba1b650beed7904e25bb5b44334f7be01a5098520cca2e",
      "href": "/os-evidence/cc81070a74cd59c280ba1b650beed7904e25bb5b44334f7be01a5098520cca2e.txt",
      "sha256": "cc81070a74cd59c280ba1b650beed7904e25bb5b44334f7be01a5098520cca2e",
      "bytes": 32750,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1180-el0-candidate-OF7Nko/kernel-product.log",
      "originalSha256": "23bd1d051af54856b3dd9e1783f6ccdd85bef0dfd4e9aec2c541db36645a628d",
      "href": "/os-evidence/6fdf8b7f7587cc23e2c8934c269d880ceaba454bf44c9450d610407a10dca365.txt",
      "sha256": "6fdf8b7f7587cc23e2c8934c269d880ceaba454bf44c9450d610407a10dca365",
      "bytes": 21066,
      "redacted": true
    }
  ],
  "moves": [
    "K1180"
  ]
}