ci
tests: run modified tests with full coverage
2017-07-28 17:03:04 -04:00
gitlint
gitlint: ignore titles prefixed with Revert
2017-08-08 09:04:25 -04:00
support
scripts: Run JLinkGDBServer in silent mode
2017-08-11 11:21:46 -04:00
gen_idt.py
scripts: add version check for pyelftools
2017-07-25 13:41:16 -04:00
gen_mmu.py
x86: mmu: add runtime modification indicator
2017-08-03 11:46:26 -04:00
gen_offset_header.py
scripts: fix offset.h header guard
2017-08-01 15:05:13 -04:00
Makefile
build: Fix distclean for gen_idt
2017-08-01 22:10:22 -04:00
requirements.txt
doc: add python pip requirements.txt
2017-07-22 14:04:20 -04:00
scl.py
sanitycheck: validate YAML files w/ schemas files
2017-08-07 21:19:12 -04:00