ack2kernel: print the right numbers

diff --git a/Kernel/tools/ack2kernel.c b/Kernel/tools/ack2kernel.c
index b9edacf..d113658 100644 (file)
--- a/Kernel/tools/ack2kernel.c
+++ b/Kernel/tools/ack2kernel.c
@@ -506,6 +506,8 @@ int main(int argc, char* argv[])
                ss += outsect[ROM].os_size;
                ss += outsect[DATA].os_size;
                ss += outsect[BSS].os_size;
+               ss += outsect[COMMON].os_size;
+               ss += outsect[DISCARD].os_size;
                printf("TOTAL  = %08"PRIx32"\n", ss);
                printf("PACKED = %08"PRIx32"\n", ss - outsect[BSS].os_size);
                printmap();