x86: Allow gcc to use the red zone (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 4 May 2016 19:42:50 +0000 (15:42 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 4 May 2016 20:13:57 +0000 (16:13 -0400)
commitb6ae093be2b643ff635584f04a320fe5e3500887
tree2ee239b46ed1827314bb7cb1bd4ff8f9569364ef
parent7d677a664acb7c8f7bcedc1fd0b3277697857dbe
x86: Allow gcc to use the red zone (XCC)

Now that pop_user_ctx() can handle the red zone, we don't need to tell
gcc to never use it.

Rebuild your toolchain.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
tools/compilers/gcc-glibc/gcc-4.9.2-akaros/gcc/config/i386/akaros64.h