christos 632b456bd3 fix indent		2018-01-15 22:14:24 +00:00
..
arch	New files for Userland support of UCB RISC-V (both 32-bit and 64-bit)	2014-09-19 17:36:24 +00:00
common	add a type comparison function.	2016-08-19 10:18:11 +00:00
lint1	fix indent	2018-01-15 22:14:24 +00:00
lint2	Don't print duplicate definitions for inline symbols.	2017-12-26 17:02:19 +00:00
llib
xlint	Whitespace, sort, remove some superfluous macros/quoting.	2016-12-25 11:10:53 +00:00
Makefile
Makefile.inc