perry 970ad9314d Remove __attribute__((__noreturn__)) from things already marked __dead ... Found by the department of redundancy department.		2007-12-24 15:46:45 +00:00
..
bootxx
fixcoff	Set NOMAN so that running make locally completes successfully.	2006-09-16 00:57:49 +00:00
ofwboot	Remove __attribute__((__noreturn__)) from things already marked __dead	2007-12-24 15:46:45 +00:00
Makefile
Makefile.inc