From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 19 Jan 2005 18:39:39 +0000 (+0000)
Subject: If the kernel image gets too big, "cmp ebx, KERNEL_LOAD_PAGES*8 + 1"
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=6d03839032f21bda2358cfef83ba2412651e6588;hp=6d03839032f21bda2358cfef83ba2412651e6588;p=pintos-anon

If the kernel image gets too big, "cmp ebx, KERNEL_LOAD_PAGES*8 + 1"
assembles into 3 more bytes, which causes the image to be too big.
This reduces the length of the panic message to compensate.
---