7ff875bed5
suggestion from isaki@ on port-m68k. For news68k: - export ipl2psl_table[] and make it uint16_t - make makeiplcookie(9) inline - put PSL_S bit into ipl2psl_table[] rather than adding it in makeiplcookie(9) - define both IPL_SCHED and IPL_HIGH independently to avoid confusion |
||
---|---|---|
.. | ||
compile | ||
conf | ||
dev | ||
include | ||
news68k | ||
stand | ||
Makefile |