ad81ade3ae
discussed with tsutsui@ on port-m68k. For next68k: - 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 | ||
next68k | ||
stand | ||
Makefile |