sevan 702a353ffb Use veriexec.config to reduce duplication		2019-04-26 22:46:03 +00:00
..
compile	…
conf	Use veriexec.config to reduce duplication	2019-04-26 22:46:03 +00:00
dev	make *fd*.c's fd_dev_to_type() always a static inline. some	2019-02-08 08:47:35 +00:00
include	Remove compat_svr4 and compat_svr4_32, as discussed on tech-kern@ recently,	2018-12-19 13:57:44 +00:00
sun3	Overhaul the API used to fetch and store individual memory cells in	2019-04-06 03:06:23 +00:00
sun3x	Remove compat_svr4 and compat_svr4_32, as discussed on tech-kern@ recently,	2018-12-19 13:57:44 +00:00
Makefile	…