binman: fix another off by one

diff --git a/Kernel/tools/binman.c b/Kernel/tools/binman.c
index 588924d..80fda6d 100644 (file)
--- a/Kernel/tools/binman.c
+++ b/Kernel/tools/binman.c
@@ -137,7 +137,7 @@ int main(int argc, char *argv[])
           copy the initializers into initialized we can only use the space
           for bss */
        if (s__DISCARD && s__DISCARD + l__DISCARD > s__INITIALIZER &&
-               s__INITIALIZER + l__INITIALIZED >= s__DISCARD) {
+               s__INITIALIZER + l__INITIALIZED > s__DISCARD) {
                fprintf(stderr, "Initializer will have overwritten DISCARD\n");
                exit(1);
        }