Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions configure
Original file line number Diff line number Diff line change
Expand Up @@ -45,5 +45,12 @@ if (Get("CONFIG_SUBMIT")) {
}
}

if (Get("CONFIG_BOX_KERNEL_AUTO")) {
# Auto-detect 64-bit kernel
if (Get("ARCH") eq "amd64") {
Set("CONFIG_BOX_KERNEL_AMD64" => 1);
}
}

Finish();
Log "\nConfigured, run `make' to build everything.\n";
3 changes: 2 additions & 1 deletion default.cfg
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,8 @@

# If you are running a 64-bit Linux kernel, you need to build a 64-bit
# sandbox and decide whether your userspace is 32- or 64-bit.
Set("CONFIG_BOX_KERNEL_AMD64" => 1);
Set("CONFIG_BOX_KERNEL_AUTO" => 1); # auto-detect AMD64
#Set("CONFIG_BOX_KERNEL_AMD64" => 1);
#Set("CONFIG_BOX_USER_AMD64" => 1);

### Hard-coded configuration parameters of the process isolator ###
Expand Down