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
..
boot	Remove __attribute__((__noreturn__)) from things already marked __dead	2007-12-24 15:46:45 +00:00
Makefile