From a64b271bb655f293b38ee9ca005e3d10e599dc66 Mon Sep 17 00:00:00 2001 From: unzner Date: Wed, 4 Apr 2012 14:52:18 +0000 Subject: [PATCH] Optimisations have nothing to do with L4/Fiasco, sorry. Still keeping the shorter configure line. git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1025 8c4709b5-6ec9-48aa-a5cd-a96041d1645a --- doc/howto-build.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/howto-build.txt b/doc/howto-build.txt index 0d5b947a..32b4bca7 100644 --- a/doc/howto-build.txt +++ b/doc/howto-build.txt @@ -98,8 +98,8 @@ Build Bochs For the first time ------------------ cd ../bochs -> Sufficient (and required for running e.g. L4/Fiasco): -./configure --prefix=<...> --enable-{a20-pin,x86-64,cpu-level=6,ne2000,acpi,pci,usb,trace-cache,host-specific-asms,disasm,readline,clgd54xx,fpu,vmx=2,cdrom,sb16=linux,gdb-stub} +> Sufficient: +./configure --prefix=$(echo ~/localroot/usr) --enable-{a20-pin,x86-64,cpu-level=6,ne2000,acpi,pci,usb,trace-cache,host-specific-asms,disasm,readline,clgd54xx,fpu,vmx=2,cdrom,sb16=linux,gdb-stub} > More optimised: ./configure --prefix=$(echo ~/localroot/usr) --enable-{a20-pin,x86-64,cpu-level=6,ne2000,acpi,pci,usb,repeat-speedups,trace-cache,fast-function-calls,host-specific-asms,disasm,all-optimizations,readline,clgd54xx,fpu,vmx=2,monitor-mwait,cdrom,sb16=linux,gdb-stub} --disable-docbook --with-all-libs > Instead of --with-all-libs, you could use --with-nogui for "headless"