linux-dev - Linux kernel development work

Age	Commit message (Expand)	Author	Files	Lines
2020-03-25	.gitignore: add SPDX License Identifier	Masahiro Yamada	3	-0/+3
2019-04-06	block: remove CONFIG_LBDAF	Christoph Hellwig	1	-4/+0
2018-12-01	rcutorture/formal: Replace synchronize_sched() with synchronize_rcu()	Paul E. McKenney	1	-2/+2
2017-11-07	Merge branch 'linus' into locking/core, to resolve conflicts	Ingo Molnar	20	-0/+20
2017-11-02	License cleanup: add SPDX GPL-2.0 license identifier to files with no license	Greg Kroah-Hartman	20	-0/+20
2017-10-25	locking/atomics, rcutorture/formal: Prepare for ACCESS_ONCE() removal	Mark Rutland	1	-3/+2
2017-06-08	srcu-cbmc: Use /usr/bin/awk instead of /bin/awk	Priyalee Kushwaha	1	-1/+1
2017-01-25	rcutorture: Add CBMC-based formal verification for SRCU	Lance Roy	40	-0/+1582