OpenCellular

mirror of https://github.com/Telecominfraproject/OpenCellular.git synced 2026-01-14 08:36:39 +00:00

Files

Jade Philipoom 607691568f g: add documentation pointing to p256 modular reduction verification in Coq

Added a markdown file with some explanation and links to Coq code in a
public GitHub repository.

BUG=none
BRANCH=cr50
TEST=none

Change-Id: I4b40a94ce8686e5115b6b09825dfde0894d67a50
Signed-off-by: Jade Philipoom <jadep@google.com>
Reviewed-on: https://chromium-review.googlesource.com/1080795
Commit-Ready: Vincent Palatin <vpalatin@chromium.org>
Tested-by: Vincent Palatin <vpalatin@chromium.org>
Reviewed-by: Vincent Palatin <vpalatin@chromium.org>

2018-06-01 06:26:28 -07:00

g: add documentation pointing to p256 modular reduction verification in Coq

2018-06-01 06:26:28 -07:00

host

test: store persistence files in RAM

2018-01-31 05:58:03 -08:00

ish

lpc/espi: convert ec chip code to use granular option

2018-05-22 21:56:39 -07:00

it83xx

it83xx: system: print out message if reset cause is unknown

2018-05-28 00:53:29 -07:00