[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] MirageOS on OpenBSD (Now Works)

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Thursday, September 13, 2018 6:00 PM, Martin Lucina <martin@xxxxxxxxxx> 

> Hi Adam,
> On Thursday, 13.09.2018 at 07:07, Adam Steen wrote:
> > Hi All
> > As some of you know i have been working at making MirageOS work on OpenBSD, 
> > It now works, I have built and tested all applications, device-usage and 
> > tutorials in mirage-skeleton.
> This is good news! Thanks very much for working on it and persevering!
> > You maybe asking how do i do this myself? The following script works from a 
> > fresh install of OpenBSD current (soon to be 6.4) and builds the 
> > 'static_website_tls'
> Note that the "great Solo5 renaming" is on the horizon (see
> https://github.com/Solo5/solo5/pull/274), I have a hard deadline to merge
> this and get an 0.4.0 out by the weekend. So the instructions here will
> change.
> Cheers,
> -mato

Hi All

With the release of Solo5 0.4.0, I have updated the OpenBSD instructions at [1].

But it basically boils down to following the installation 
instructions/tutorials at [2] with OPAM 2 installed.

Also see Solo5 Supported Targets at [3]


ps Hopefully we will have OPAM 2 and Ocaml 4.07.0 as a package for OpenBSD.

[2] https://mirage.io/wiki/install

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.