tree 47f1fa17a07aaec1a232022658ad1b68a5c20ad5
parent a33ba8d8861815de7ff7f19e856f2b8bfe2f8371
author David 'Digit' Turner <digit@google.com> 1399632454 +0200
committer David 'Digit' Turner <digit@google.com> 1405690304 +0200

exec.c: Support huge pages on Linux.

Change-Id: I971e597c0c337657f188304ed26420be6b5d15f6