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

..

dcrypto

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

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

loader

chip/g to chip/lm4: fix more misspellings in comments

2016-11-15 17:41:55 -08:00

alerts.c

Add support for HW alerts

2018-01-31 13:47:15 -08:00

blob.c

consumer: Remove flush operation

2017-12-18 20:32:58 -08:00

board_id.c

chip/g: Run unrestricted image even if Board ID can't be read

2017-10-13 14:45:26 -07:00

board_id.h

Add support for HW alerts

2018-01-31 13:47:15 -08:00

build.mk

test/build.mk: Allow boards to specify test lists

2018-05-28 07:30:36 -07:00

clock.c

cr50: add basic rbox support

2016-04-29 16:07:13 -07:00

config_chip.h

g: Move chip pre-init to chip_pre_init()

2017-08-24 11:29:02 -07:00

crypto_api.c

g: rework DCRYPTO_app_cipher (AES-CTR) for speed

2017-01-28 21:37:58 -08:00

flash_config.h

chip/g to chip/lm4: fix more misspellings in comments

2016-11-15 17:41:55 -08:00

flash_info.h

cr50: Add console and TPM vendor commands to get/set board ID

2017-06-02 16:59:33 -07:00

flash.c

g: protect flash operations

2018-01-31 13:47:15 -08:00

gpio.c

g: simulate open drain GPIO behavior

2018-01-03 16:54:35 -08:00

hw_regdefs.h

cr50: integrate register definitions consistent with real silicon

2016-02-09 01:26:06 -08:00

hwtimer.c

g: hwtimer: Improve accuracy of hwtimer and ensure minimum udelay() wait

2017-07-21 21:24:12 -07:00

i2cm.c

chip/g to chip/lm4: fix more misspellings in comments

2016-11-15 17:41:55 -08:00

i2cs.c

tpm: provide means of shutting down comms layer while in reset

2017-11-07 17:52:15 -08:00

i2cs.h

g: add 'recover hosed slave' i2cs capability

2017-08-17 20:41:57 -07:00

idle.c

Shuffle const around

2018-05-18 10:05:13 -07:00

init_chip.h

g: restore DATA PID after USB suspend/resume

2017-09-07 15:01:04 -07:00

jitter.c

g:prevent SOF calibration debug message spew

2017-10-17 23:14:18 -07:00

pmu.c

cr50: drop obsolete/addressed TODOs

2017-05-16 13:37:03 -07:00

pmu.h

Cr50: Fixed soft resets on silicon.

2016-02-01 21:17:22 +00:00

polling_uart.c

cr50: add polling uart implementation

2015-08-11 02:58:39 +00:00

post_reset.c

mn50: fix usb_update

2017-06-16 17:24:28 -07:00

pre_init.c

g: Move chip pre-init to chip_pre_init()

2017-08-24 11:29:02 -07:00

rbox.c

cr50: remove set capabilities from powerbtn

2018-02-20 20:31:53 -08:00

rbox.h

cr50: remove set capabilities from powerbtn

2018-02-20 20:31:53 -08:00

rdd.c

chip/g: Move Rdd keepalive to chip driver

2017-09-01 16:41:55 -07:00

rdd.h

chip/g: Move Rdd keepalive to chip driver

2017-09-01 16:41:55 -07:00

registers.h

g: add missing define for UART register UART_VAL.

2018-03-27 20:34:41 -07:00

runlevel.c

g: add permission level checks

2016-11-04 18:31:44 -07:00

signed_header.h

cr50: in dev mode allow unverified certificates

2018-05-16 12:41:38 -07:00

spi_master.c

g: add stream sniffing for DUT spiflash content.

2018-03-27 20:34:42 -07:00

spi_master.h

Cr50: Export the chip-specific SPI master functions

2016-05-31 22:16:42 +00:00

sps_tpm.c

tpm: provide means of shutting down comms layer while in reset

2017-11-07 17:52:15 -08:00

sps.c

g:sps: do not stall reset when CS is asserted

2017-11-30 07:09:46 -08:00

sps.h

chip/g to chip/lm4: fix more misspellings in comments

2016-11-15 17:41:55 -08:00

system_chip.h

g: use reset_count to determine system_rollback_detected

2018-03-30 16:53:00 -07:00

system.c

g: use reset_count to determine system_rollback_detected

2018-03-30 16:53:00 -07:00

trng.c

Cr50: Ensure that trng.h is self-contained.

2016-12-08 19:49:53 -08:00

uart_bitbang.c

cr50: Consolidate CCD device enable

2017-09-06 19:12:57 -07:00

uart_bitbang.h

cr50: Consolidate CCD device enable

2017-09-06 19:12:57 -07:00

uart.c

g: disable uart 1 and 2 during init

2016-07-13 19:09:19 -07:00

uartn.c

cr50: CCD V1 controls UART access

2017-08-01 13:01:41 -07:00

uartn.h

cr50: CCD V1 controls UART access

2017-08-01 13:01:41 -07:00

upgrade_fw.c

g: make fw upgrade less chatty

2018-02-26 19:28:55 -08:00

upgrade_fw.h

cr50: use single __packed definition

2018-02-22 20:17:14 -08:00

upgrade.c

mn50: fix usb_update

2017-06-16 17:24:28 -07:00

usart.c

g: speed up CCD UART processing

2018-05-22 15:54:10 -07:00

usart.h

g: speed up CCD UART processing

2018-05-22 15:54:10 -07:00

usb_console.c

g: add CONFIG_USB_CONSOLE_CRC

2018-02-24 01:22:46 -08:00

usb_endpoints.S

cr50: add USB support

2015-04-02 20:27:46 +00:00

usb_hid_keyboard.c

chip/stm32/usb_hid: Separate HID keyboard support

2016-11-16 19:04:47 -08:00

usb_hw.h

Fixup usb_updater for reef/clang

2016-10-22 00:01:02 +00:00

usb_spi.c

consumer: Remove flush operation

2017-12-18 20:32:58 -08:00

usb_spi.h

mn50: add data signing capability

2017-10-06 00:21:29 -07:00

usb_upgrade.c

cr50: pass params to vendor commands as struct

2018-05-23 20:35:12 -07:00

usb-stream.c

consumer: Remove flush operation

2017-12-18 20:32:58 -08:00

usb-stream.h

usb: Cleanup headers

2017-03-16 11:25:50 -07:00

usb.c

Add WebUSB descriptor support

2017-09-22 10:18:50 -07:00

watchdog.c

watchdog: Don't discard irqprio data due to CONFIG_LTO

2017-06-26 11:12:07 -07:00