d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
241,293 Commits 72 Branches 135 Tags 3.2 GiB
2647c1e4c5
Commit Graph

3 Commits

Author SHA1 Message Date
Conrad Meyer
d6745408c7 Add a COMPAT_FREEBSD12 kernel option. 
Use it wherever COMPAT_FREEBSD11 is currently specified, like r309749.

Reviewed by:	imp, jhb, markj
Sponsored by:	Dell EMC Isilon
Differential Revision:	https://reviews.freebsd.org/D20120
 2019-05-02 18:10:23 +00:00
Ruslan Bukin
31cfa79fab Switch BERI Programmable Interrupt Controller to INTRNG. 
Sponsored by:	DARPA, AFRL
 2017-04-18 17:20:03 +00:00
Brooks Davis
9fa34a2b0c Rename BERI_TEMPLATE to std.BERI to be more like other configs. 
Sponsored by:	DARPA, AFRL
 2017-02-21 17:34:27 +00:00