The following commit has been merged in the master branch:
commit 499909be19293e5ded3f3802db94c6b339518d31
Author: Nicolas Dandrimont <>
Date:   Sat Jul 6 11:30:39 2013 +0200

    Add multiarch instructions to run marionnet on amd64

diff --git a/debian/README.Debian b/debian/README.Debian
index 937bbf2..6dba9a6 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -11,3 +11,12 @@ You can:
 (2) Build your own kernel and filesystem. See
+The kernel images provided via marionnet_from_scratch are built for
+an i386 system. You can run them on an amd64 system, provided that
+you have an i386 libc installed.
+To install the i386 libc on an amd64 system, as root, run:
+  dpkg --add-architecture i386
+  apt-get update
+  apt-get install libc6:i386

marionnet packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to