[MirageOS-devel] cubieboard2/truck users and opam 1.2

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

For Cubieboard2 users, the Launchpad OPAM builds do end up with armhf images, 
but you can't use the PPA commands since the distribution template of our Cubie 
image is 'Linaro' instead of 'Ubuntu' (not sure why we can't just switch to a 
pure Ubuntu or Debian image).

Anyway, these four simple commands will get you OPAM 1.2.0 without having to do 
a source compilation, as root: 

echo "deb http://ppa.launchpad.net/avsm/ocaml41+opam12/ubuntu trusty main"  > 
/etc/apt/sources.list.d/ppa-opam.list
apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 5B2D0C5561707B09
apt-get update
apt-get upgrade

The blobs.openmirage.org images should already have this included.

-anil
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel