Skip to content

Commit

Permalink
Add stubs for predicate type and claim landing pages.
Browse files Browse the repository at this point in the history
Bug: 365515603
Change-Id: I88368cc49da0ae2e844374b75fd057861be80eeb
  • Loading branch information
thmsbinder committed Sep 23, 2024
1 parent 3f3564d commit 4a1c85a
Show file tree
Hide file tree
Showing 13 changed files with 80 additions and 0 deletions.
7 changes: 7 additions & 0 deletions docs/tr/claim/09945.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# Landing page for claim about oak_functions_enclave_app

The default application for Oak Restricted Kernel.

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/09945.md
7 changes: 7 additions & 0 deletions docs/tr/claim/18136.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# Landing page for claim about oak_functions_container

The default container application for Oak Containers.

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/18136.md
5 changes: 5 additions & 0 deletions docs/tr/claim/22790.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Landing page for claim about oak_containers_kernel

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/22790.md
5 changes: 5 additions & 0 deletions docs/tr/claim/36746.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Landing page for claim about oak_restricted_kernel (all variants)

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/36746.md
5 changes: 5 additions & 0 deletions docs/tr/claim/47346.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Landing page for claim about oak_restricted_kernel_cmd_line

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/47346.md
5 changes: 5 additions & 0 deletions docs/tr/claim/48633.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Landing page for claim about oak_containers_kernel_cmd_line

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/48633.md
5 changes: 5 additions & 0 deletions docs/tr/claim/58963.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Landing page for claim about oak_containers_system_image

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/58963.md
5 changes: 5 additions & 0 deletions docs/tr/claim/66738.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Landing page for claim about stage0

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/66738.md
10 changes: 10 additions & 0 deletions docs/tr/claim/75606.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
# Landing page for claim for Oak binaries with secure logging

An endorsement that doesn't have this claim means the underlying binary doesn't
log securely. This is intended to discriminate between e.g.
`oak_functions_container` (would have the claim) or
`oak_functions_insecure_container` (would not have the claim).

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/75606.md
5 changes: 5 additions & 0 deletions docs/tr/claim/85483.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Landing page for claim about oak_containers_stage1

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/85483.md
5 changes: 5 additions & 0 deletions docs/tr/claim/87425.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Landing page for claim about oak_orchestrator

## Claim type used in endorsements and reference values

https://github.com/project-oak/oak/blob/main/docs/tr/claims/87425.md
13 changes: 13 additions & 0 deletions docs/tr/claim/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
# Claims directory

- [oak_containers_kernel](https://github.com/project-oak/oak/blob/main/docs/tr/claims/22790.md)
- [oak_containers_kernel_cmd_line](https://github.com/project-oak/oak/blob/main/docs/tr/claims/48633.md)
- [oak_containers_stage1](https://github.com/project-oak/oak/blob/main/docs/tr/claims/85483.md)
- [oak_containers_system_image](https://github.com/project-oak/oak/blob/main/docs/tr/claims/58963.md)
- [oak_functions_container](https://github.com/project-oak/oak/blob/main/docs/tr/claims/18136.md)
- [oak_functions_enclave_app](https://github.com/project-oak/oak/blob/main/docs/tr/claims/09945.md)
- [oak_orchestrator](https://github.com/project-oak/oak/blob/main/docs/tr/claims/87425.md)
- [oak_restricted_kernel](https://github.com/project-oak/oak/blob/main/docs/tr/claims/36746.md)
- [oak_restricted_kernel_cmd_line](https://github.com/project-oak/oak/blob/main/docs/tr/claims/47346.md)
- [Secure logging](https://github.com/project-oak/oak/blob/main/docs/tr/claims/75606.md)
- [stage0](https://github.com/project-oak/oak/blob/main/docs/tr/claims/66738.md)
3 changes: 3 additions & 0 deletions docs/tr/endorsement_v1.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
# Endorsement V1

WIP: Landing page for endorsement V1 in-toto statement.

0 comments on commit 4a1c85a

Please sign in to comment.