[comp.os.minix] 1.3 mpx88 bug + fix

mullen@sdsu.UUCP (deborah mullen) (03/11/89)

In the final 1.3 version of MINIX the following inconsistency exists:
In /kernel/const.h K_STACK_BYTES is defined as 256, but in
/kernel/mpx88.s it is defined as 512. According to the comments they
should be the same or disaster results.  I changed them both to 512 
but did not notice any difference. I missed the 1.4a update, so I do not
know if this was caught already.
-- Deborah Mullen