From: Darshit Shah <s8dashah@stud.uni-saarland.de>
Date: Tue, 24 Oct 2017 13:14:58 +0000 (+0200)
Subject: Modify the linker script to match the generated binary
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=21848a29ff6f6d52751bd91463be03b790f6e3e5;hp=21848a29ff6f6d52751bd91463be03b790f6e3e5;p=pintos-anon

Modify the linker script to match the generated binary

Newer versions of GCC (tested with GCC 7), emit more sections in the
binary. Fix the computation of the start of the BSS section to prevent
zeroing out parts of the data section
---