but I'm planning to
>> > get remote sync working at least.
>
> That sound great. I'm looking forward to it.
>
>> >
>> > > small addition: i tested in chromium because firefox 37 gives me this
>> > > warning.>
>> > >
>> &
rmin tutorials though. I've had some requests for a
more technical follow-up to the CueKeeper post, so I may write
something there too about Irmin, but the ARP cache example is probably
a better place for an introduction.
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE
On 6 May 2015 at 18:50, Anil Madhavapeddy wrote:
> On 6 May 2015, at 02:29, Thomas Leonard wrote:
>>
>> On 6 May 2015 at 10:18, Mindy wrote:
>>> Thanks for writing these up :) progress notes:
>>>
>>> On 05/06/2015 01:31 AM, Richard Mortier wrote:
>&g
out MiniOS in the
> future via git-filter-branch, if we need that to split out MiniOS in the
> future.
Mini-OS now has its own repository. Can we get a mirror of that too?
http://xenbits.xen.org/gitweb/?p=mini-os.git;a=summary
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG:
On 11 May 2015 at 01:56, Anil Madhavapeddy wrote:
> On 7 May 2015, at 08:44, Thomas Leonard wrote:
>>
>> On 28 October 2014 at 21:45, Anil Madhavapeddy wrote:
>>> On 26 May 2014, at 11:37, Dave Scott wrote:
>>>>
>>>>
>>>> On 26 May
On 12 May 2015 at 16:39, Anil Madhavapeddy wrote:
> On 11 May 2015, at 09:18, Thomas Leonard wrote:
>>
>> On 11 May 2015 at 01:56, Anil Madhavapeddy wrote:
>>> On 7 May 2015, at 08:44, Thomas Leonard wrote:
>>>>
>>>> On 28 October 2014 at 21:45
quite liked reading stuff about Finagle/Zipkin[2] (although I never
> used it in practice) and that would be quite nice if we had a similar
> logging story for MirageOS
> - If anyone knows a good existing logging library that they used in other
> languages, I'm keen to have a look.
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.org
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
wever, this also
disables installing regular packages. Is there some way to tell
mirage/opam/opam-depext that I don't have root?
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
Mira
an
error during the read (even in native code):
Fatal error: exception Ir_hash.Invalid("lueB+��1d|E���O��<��key")
Should this work, or have I misunderstood the API?
Thanks,
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713
e tls repository:
https://github.com/mirleft/ocaml-tls/tree/master/mirage/example
I think there will be more information soon, as I see various
TLS-related releases being prepared.
> All questions and suggestions would be very welcomed.
--
Dr Thomas Leonardhttp://roscidus.
/cryptokit.mli#L233).
> You may realize this problem is actually the reason I asked my first
> question.
This library should work (Mirage uses it for its TLS support):
https://github.com/mirleft/ocaml-nocrypto
For example:
https://github.com/mirleft/ocaml-nocrypto/blob/514c5736d8675717a695c77f1
On 15 May 2015 at 15:49, Thomas Leonard wrote:
> I'm trying to sync an Irmin repository from some js_of_ocaml to a
> native Mirage server. It was working with JSON briefly, except that my
> repository grew enough that to_json now results in a StackOverflow, so
> I'm tryi
of Nottingham.
>
> This message has been checked for viruses but the contents of an
> attachment may still contain software viruses which could damage your
> computer system, you are advised to perform your own checks. Email
> communications with the University of Nottingham may be monitored as
> permitted by UK legislation.
>
>
> ___
> MirageOS-devel mailing list
> MirageOS-devel@lists.xenproject.org
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.org
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
more
> actual deployments out there to gather more feedback and highlight any issues.
>
> I’m inviting folks on this list to try out OCaml-TLS with some of the things
> they’ve already built. Specifically, I’m wondering if:
>
> Thomas Leonard — Would you (have you already) got the ne
> itself isn't an executable and the `camlp4*.opt` all report that they
> "Error: don't know what to do with str.cma".
Might be worth running memtester or similar.
(there's also an "mtest" command in U-Boot, but I think ou
n on the second create.
>
> Does anyone have any ideas on this?
Do you have enough free RAM to run both at once? Try reducing the
memory in the .xl file for one of the unikernels...
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74
ip, nocrypto and zarith are you using?
Does your generated Makefile contain "-L@gmp-xen"? If so, you probably
need a newer version of the mirage tool (so the @ is expanded).
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE
us places which is
> very ugly.
>
> Cheers,
> Dave
> ___
> MirageOS-devel mailing list
> MirageOS-devel@lists.xenproject.org
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
--
Dr Thomas Leonardhttp:/
> MirageOS-devel mailing list
> MirageOS-devel@lists.xenproject.org
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
>
>
> --
> Carlos Oviedo
> PhD student
> Network Systems Group
> University of Nottingham
>
> This message and
gt; Not sure if this is the issue, but I do not have this directory on my
> system:
> /usr/lib/gcc/x86_64-unknown-linux-gnu/4.9.2/include
>
> However I do have the file:
> /usr/lib/gcc/x86_64-unknown-linux-gnu/5.1.0/include/stddef.h
Hi Jyotsna,
You might need to reinstall "m
t
params=all"). Probably one of the xapi people can explain what it's up
to, if so.
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
MirageOS-devel mailing list
MirageOS-d
On 3 June 2015 at 20:02, Anil Madhavapeddy wrote:
> On 1 Jun 2015, at 19:45, Thomas Leonard wrote:
>>
>> On 1 June 2015 at 18:02, Carlos Oviedo wrote:
>>> Hi,
>>>
>>> I have a similar problem, please find the code (a revised http-fetch
>>> ver
hy they're
> included at all -- is this a Xen issue?!
I don't know why they're included, but here's a patch to remove them
(already applied to master):
https://github.com/mirage/mirage-tcpip/pull/145
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0
- Positioning of metric lines was improved.
- The view no longer aborts on unknown thread types (allows upgrading
the format more easily).
[1] https://github.com/mirage/mirage-tcpip/issues/140
[2] http://talex5.github.io/mirage-trace-viewer/mtv.xml
--
Dr Thomas Leonard
@lists.xenproject.org
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.org
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
he build process:
https://github.com/talex5/cuekeeper/tree/server#running-a-server
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
MirageOS-devel mailing list
MirageOS-devel@lists.x
ppend '{"cmdline": "../../hello.bin"}'
(the "rumprun" script worked too, but running it this way made things
clearer to me)
I also tested mirage-skeleton/console, which worked but ran rather
fast (it's supposed to wait 1s between each print). Calling
get
asfMCT7YpF6TWBA3
> O8SGoJM/FzSTRGhSSsEe80rzE4rdQQPogtvBIr+v40Hr8gddCZftqb2xEkCFFwUt
> vH8BeBllUF1JeyvNAWb4S9AN8lO8y3u6p7i4qK5moNMeKdDJmosNtGqxHAhbePpJ
> HBazMK6p1uqG753vLLFKBLNmrQwyRoGF+lK2DHGk4MTijxXPv96+T1xaaoEdSB8/
> Tfb550efq8zdB0NGXvjA85S+OHSdNAIwHek7zK2MePTqTZkit+7wg9nLcOo+G0UH
&g
opam
installation, etc?
Many of the errors are coming from libtests.a - should it even be
building the tests for a cross-compile (I don't know)?
> Cheers,
> - Tim.
>
>
> [0]: https://github.com/gfxmonk/passe
> [1]: http://nixos.org/nix/
> [2]: https://gist.gith
;subscribe" to
> minios-devel-requ...@lists.xenproject.org
Thanks! I've resent one of my patches from last year. I'll send more soon...
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
On 20 May 2015 at 14:56, Thomas Leonard wrote:
> On 20 May 2015 at 14:40, Amir Chaudhry wrote:
>> Hi folks,
>>
>> The TLS work is proceeding well and you might have noticed that
>> https://mirage.io is working, which is using the TLS stack. Since we’re on
>>
xed in irmin master. Do you have
> anything else blocking the use of Irmin to javascript? could you update the
> related issue[3] if that's the case?
I've updated CueKeeper to run against Irmin master, and it now works
without any hacks :-)
Thanks!
>> [1] https://github.com/
On 15 June 2015 at 11:56, Martin Lucina wrote:
> On Friday, 12.06.2015 at 16:40, Thomas Leonard wrote:
>> I also tested mirage-skeleton/console, which worked but ran rather
>> fast (it's supposed to wait 1s between each print). Calling
>> gettimeofday showed the clock ru
On 28 April 2015 at 12:04, Thomas Leonard wrote:
> Although not finished, I thought CueKeeper was mature enough for a 0.1
> alpha release and blog post:
>
>
> http://roscidus.com/blog/blog/2015/04/28/cuekeeper-gitting-things-done-in-the-browser/
>
> There's not
t;newValue").
> The bigstring and bin_prot primitives have been implemented in js now (part
> of hhugo's effort to make Async work on jsoo), so you shouldn't need them
> any more.
Cool - thanks!
> [1]: http://ocsigen.org/lwt/2.4.8/api/Lwt_react
--
Dr Thomas Leonard
or your
Stdout.set and it would still fail, I think.
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.org
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
On 23 June 2015 at 15:48, Daniel Bünzli wrote:
> Le mardi, 23 juin 2015 à 13:24, Thomas Leonard a écrit :
>> http://roscidus.com/blog/blog/2015/06/22/cuekeeper-internals-irmin/#problems-with-react
>>
>> there is only one output (printf) and it is static (just for demonstratio
On 22 June 2015 at 16:59, Anil Madhavapeddy wrote:
> On 22 Jun 2015, at 12:11, Thomas Leonard wrote:
>>
>> On 28 April 2015 at 12:04, Thomas Leonard wrote:
>>> Although not finished, I thought CueKeeper was mature enough for a 0.1
>>> alpha release
On 23 June 2015 at 16:27, Thomas Leonard wrote:
> On 22 June 2015 at 16:59, Anil Madhavapeddy wrote:
>> On 22 Jun 2015, at 12:11, Thomas Leonard wrote:
>>>
>>> On 28 April 2015 at 12:04, Thomas Leonard wrote:
>>>> Although not finished, I though
On 23 June 2015 at 16:44, Daniel Bünzli wrote:
> Le mardi, 23 juin 2015 à 16:08, Thomas Leonard a écrit :
>> I should probably replace most of the binds with this (being careful
>> that they don't return an existing signal, though).
>
> Yes that's the reason why I
On 26 June 2015 at 13:29, Daniel Bünzli wrote:
> Le vendredi, 26 juin 2015 à 11:18, Thomas Leonard a écrit :
>> let x, set_x = S.create 1
>> let () = ignore (S.map print_int x)
>> let () = Gc.full_major (); List.iter set_x [2; 2; 3]"
>>
>> Under the ref-coun
On 26 June 2015 at 14:20, Daniel Bünzli wrote:
> Le vendredi, 26 juin 2015 à 13:40, Thomas Leonard a écrit :
>> Why not delay the connection until the map signal is ref'd? Otherwise
>> (as you note below) it will leak.
>
> I'm not sure how this could be do
On 26 June 2015 at 15:44, Daniel Bünzli wrote:
> Le vendredi, 26 juin 2015 à 14:30, Thomas Leonard a écrit :
>> - the map signals would be created with ref counts of zero and not connected
>> (i.e. each signal holds a reference to its input signal, but not the
>> other way a
On 29 June 2015 at 11:04, Daniel Bünzli wrote:
> Le samedi, 27 juin 2015 à 12:32, Thomas Leonard a écrit :
>> Hmm, yes, this could be a problem for handlers that expect to see all states.
>
> I wouldn't put it in these terms (handlers, state) but yes it breaks the
> sem
t;> I've updated CueKeeper to run against Irmin master, and it now works
>> without any hacks :-)
>
> fwy, I've just released 0.9.6 with the fix and few other things[1].
>
> Thomas
>
> [1]: https://github.com/mirage/irmin/releases/tag/0.9.6
Thanks - that seems
e C libraries as external functions and pass the data
to the network stack from your OCaml code (see e.g. nocrypto for an
example of calling C code from Mirage).
If the C code needs a POSIX interface then you might be better off
using a rumpkernel, though you could implement the necessary stubs in
t; reading uEnv.txt
>>> ** Unable to read file uEnv.txt **
>>> Failed to mount ext2 filesystem...
>>> ** Unrecognized filesystem type **
>>> Failed to mount ext2 filesystem...
>>> ** Unrecognized filesystem type **
>>>
>>>
>>> Boot
> - developing network stacks (there are projects like
> https://github.com/libpnet/libpnet which could be integrated)
> - implementing Rust libstd APIs
> - testing and tooling industrialization
>
> What would you think of this project? What would increase its chances
> of
On 24 July 2015 at 23:28, Geoffroy Couprie wrote:
> Hi Thomas,
>
> On Fri, Jul 24, 2015 at 3:02 PM, Thomas Leonard wrote:
>> On 24 July 2015 at 13:00, Geoffroy Couprie
>> wrote:
>>> Hello!
>>>
>>> A chat on Twitter showed some interest in uni
On 27 July 2015 at 09:36, Geoffroy Couprie wrote:
> Hi,
>
> On Sat, Jul 25, 2015 at 12:55 PM, Thomas Leonard wrote:
>> On 24 July 2015 at 23:28, Geoffroy Couprie
>> wrote:
>>> Hi Thomas,
>>>
>>> On Fri, Jul 24, 2015 at 3:02 PM, Thomas Leonard
On 27 July 2015 at 15:54, Thomas Leonard wrote:
> On 27 July 2015 at 09:36, Geoffroy Couprie
> wrote:
>> Hi,
>>
>> On Sat, Jul 25, 2015 at 12:55 PM, Thomas Leonard wrote:
>>> On 24 July 2015 at 23:28, Geoffroy Couprie
>>> wrote:
>>>>
On 12 May 2015 at 16:56, Thomas Leonard wrote:
> On 12 May 2015 at 16:39, Anil Madhavapeddy wrote:
>> On 11 May 2015, at 09:18, Thomas Leonard wrote:
>>>
>>> On 11 May 2015 at 01:56, Anil Madhavapeddy wrote:
>>>> On 7 May 2015, at 08:44, Thomas Leonard
review
>> • Mirage.io infrastructure
>> • Pioneer Projects
>> • Rust
>>
>> If you have things to add/edit, please do so at
>> https://github.com/mirage/mirage-www/wiki/Call-Agenda
>>
>> Join us at 4pm BST on Wednesday!
>>
>> Best wis
On 30 July 2015 at 13:57, Len Maxwell wrote:
>
>
> On Thu, Jul 30, 2015 at 5:03 AM, Geoffroy Couprie
> wrote:
>>
>> Hi Len,
>>
>> On Wed, Jul 29, 2015 at 9:12 PM, Len Maxwell wrote:
>> >
>> > Hi Geoffroy and Thomas,
>> >
&
On 29 July 2015 at 17:12, Geoffroy Couprie wrote:
> On Wed, Jul 29, 2015 at 5:52 PM, Thomas Leonard wrote:
>> To follow up on the Mini-OS testing, as the audio kept breaking up:
>>
>> You can install Xen in Debian inside VirtualBox and use that for testing.
>
>
er CI builds to spot regressions, but quite a blocker
> when using a varied build toolchain.
It was hard-coded into Mini-OS's build system. I've removed it, and
added a $TRAVIS_CFLAGS so we can still use it for CI.
--
Dr Thomas Leonardhttp://roscidus.com/b
nalty?
I think Clock.time is probably as fast as it's going to get for the
system clock, since it just calls the platform's gettimeofday
function.
If you only want to measure an interval and you're on Xen,
OS.Time.Monotonic.time() might be slightly quicker, but I doubt
there's
t;
> [1] https://travis-ci.org/mirage/mirage-platform/jobs/73161828
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.org
http:
t provides filesystem
operations, but it doesn't quite match the mirage FS type. Has anyone
made an adaptor already?
Thanks,
[1] https://github.com/talex5/cuekeeper
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713
On 4 August 2015 at 14:14, Luke Dunstan wrote:
>
>
> On Mon, 3 Aug 2015 at 21:27 Thomas Leonard wrote:
>>
>> On 30 July 2015 at 16:16, Anil Madhavapeddy wrote:
>> >
>> > On 30 Jul 2015, at 16:13, Luke Dunstan wrote:
>> >
>> >
>> &g
d would let me drill down into the detail --
>> would be very useful.
>
> Seconded; this would be fantastic.
Yes! Also, a list of outstanding pull requests needing review across
all repositories.
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 071
evel mailing list
>> MirageOS-devel@lists.xenproject.org
>> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
>
>
> ___
> MirageOS-devel mailing list
> MirageOS-devel@lists.xenproject.org
> http://lists.xenprojec
t;>> [2] https://github.com/mirage/mirage-www/blob/master/TROVE
>>>>
>>>> thanks
>>>> Anil
>>>> _______
>>>> MirageOS-devel mailing list
>>>> MirageOS-devel@lists.xenproject.
on Lwt.t
(** tag t is t's name. Return None if t is not persistent. *)
Here, the API tries to cover both commits and branches using an option
type. With separate types, you just have:
module Branch : sig
val name : t -> branch_name Lwt.t
...
Likewise,
val head : t -> head option Lw
d then be possible to sync
between the browser and a regular Git repository without rebasing
everything.
> Thomas
>
> [1]:
> https://github.com/mirage/ocaml-git/blob/master/lib/mirage/git_mirage.ml#L27
> [2]: https://github.com/mirage/ocaml-g
On 13 August 2015 at 13:19, Len Maxwell wrote:
>
> On Thu, Aug 6, 2015 at 4:58 AM, Thomas Leonard wrote:
>>
>> On 6 August 2015 at 00:26, Len Maxwell wrote:
>> >
>> > Hi,
>> >
>> > After working with minios-xen a bit, I thought I could
On 13 August 2015 at 17:48, Len Maxwell wrote:
>
>
> On Thu, Aug 13, 2015 at 9:02 AM, Thomas Leonard wrote:
>>
>> On 13 August 2015 at 13:19, Len Maxwell wrote:
>> >
>> > On Thu, Aug 6, 2015 at 4:58 AM, Thomas Leonard wrote:
>> >>
branch here that stores the contents/blobs in
Git format, but (currently) nodes/trees and commits in Irmin format:
https://github.com/talex5/irmin-indexeddb/tree/git-format
I also need a scheme to upgrade from the old format to the new one. I
have a test script (test
rmat:
>>
>> https://github.com/talex5/irmin-indexeddb/tree/git-format
>>
>> I also need a scheme to upgrade from the old format to the new one. I
>> have a test script (test.html) in that repository that tries an
>> upgrade (but fails, because it's not implement
s return `None`
> * Make the HTTP backend re-raise the `Invalid_argument` and `Failure`
> exceptions that were raised by the server.
> ___
> MirageOS-devel mailing list
> MirageOS-devel@lists.xenproject.org
> http://lists.xenproject.or
config functions would indeed break
>> irmin-indexeddb), or did the Travis tests fail to spot the problem?
>
> yes, I've added the restriction in opam-repository few days ago. REVDEPS
> works great :-)
Ah, success then! :-) Strange error message though...
--
Dr Thomas Leonard
.t for the database,
and all it could do would be to connect to it.
What does debugging a system based on unikernels look like?
There's an example here: https://mirage.io/wiki/profiling
"As a motivating example, we'll track down a (real, but now fixed) bug
in MirageOS's
that would need extending the CONSOLE
> with a CONSOLE_RW to provide a callback for interactive input.
CONSOLE already includes FLOW, so reading should already work.
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
On 22 August 2015 at 18:37, Gareth Rushgrove wrote:
> On 22 August 2015 at 12:34, Thomas Leonard wrote:
>> On 21 August 2015 at 17:07, Gareth Rushgrove
>> wrote:
>>> I'd managed to get a bunch of throughts out of how head an into blog
>>> post form
On 10 August 2015 at 15:05, Thomas Leonard wrote:
> On 10 August 2015 at 13:51, Thomas Gazagnaire wrote:
>> Hi all,
>>
>> There are still parts in the Irmin API that I am not very happy about, so I
>> send an email to get feedback from all the early users to check
logy#A_and_H-Series
(the 8 referring to the number of cores, not the ARM architecture version)
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
MirageOS-devel mailing list
MirageOS-deve
On 25 August 2015 at 17:10, Thomas Leonard wrote:
> On 10 August 2015 at 15:05, Thomas Leonard wrote:
>> On 10 August 2015 at 13:51, Thomas Gazagnaire wrote:
>>> Hi all,
>>>
>>> There are still parts in the Irmin API that I am not very happy about, so I
&g
NPATH already)? Then we assume that a user who initialises opam
in their login script prefers to use opam's build environment (which
is already true for other aspects of the environment). If you build a
Nix package in this environment, would it build that in a clean
environment?
> Cheers,
>
commit. The rest of the strings just
>> get thrown away, I think. ]
>
> The initial idea was to use that task to (i) populate an audit log on all the
> database operations (including reads) and (ii) attach the debug messages to
> the task, instead of throwing them on the error cha
On 4 September 2015 at 12:29, Tim Cuthbertson wrote:
> On Fri, Sep 4, 2015 at 8:22 PM, Thomas Leonard wrote:
>> On 1 September 2015 at 08:27, Tim Cuthbertson wrote:
>>> Hi all,
>>>
>>> A little while ago I managed to get mirage's xen libraries and
&
rfect.
>
> Cheers
>
> Gareth
>
> * https://www.packet.net/. API provisioned bare metal machines with
> the relevant virtualisation support, 16GB for about £180 a month (and
> billed by the hour).
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7
ttp://lists.xenproject.org/archives/html/mirageos-devel/2015-09/msg0.html
> [1] https://github.com/gfxmonk/opam2nix
>
> It was generally agreed that having the build scripts perform this
> task is not ideal, and Thomas Leonard suggested we could change `opam`
> itself to export $PKG_CON
On 14 September 2015 at 14:36, Anil Madhavapeddy wrote:
> On 13 Sep 2015, at 14:07, Thomas Leonard wrote:
>>
>> On 12 September 2015 at 08:49, Tim Cuthbertson wrote:
>>> On the MirageOS mailing list, I submitted some patches[0] to make some
>>> mirage librarie
ms to have the wrong signature.
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.org
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
rd dispatcher API here?
Finally, what options does Irmin provide for authentication? I see it
supports https, but it seemed overly helpful about automatically
accepting my self-signed server certificate. Can I use it with client
auth, or HTTP basic auth?
Thanks,
--
Dr Thomas Leonardht
/html/mirageos-devel/2015-09/msg00021.html
>>>
>>>
>>>
>>>
>>> MirageOS-devel mailing list
>>> MirageOS-devel@lists.xenproject.org
>>> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
>>
require a
> client task for read operations. Would be good to have a consistent API
> across all backends, so that could be an argument for dropping the task for
> high-level reads.
>
>
> About the wrapper: it's a good idea, we could have a default "audit" branch
&
le connections. Probably OK for the high-level API, but we might
have to remove the low one (I'm not very familiar with this REST API,
and so might be confused).
- If the user runs "git gc" manually on a Git-format store then all
bets are off, of course. Likewise if you have a s
he new hash of the tree root, and
> serialise it in the block store to get the commit ID
> (A3) (optionally) update a branch reference to point to the new ID.
>
> My main concern with external GC is that before (A3) is done, objects saved
> in (A1) and (A2) are unsafe and can be dele
t.
> and also that the lower level debug levels are almost always more useful if
> they're lazy, so that the arguments are not expensively evaluated.
> Do you think it's worth having an ultra simple level-free signature that is
> just
>
> val msg : ('a, Format.format
t; a local store -- if we add this, few things in the code can be simplified
> (for instance the file locking bits in Irmin_unix) but we check that the
> invariant satisfied and fail to start a new instance otherwise.
However, I've realised my proposal doesn't work well for use in
d different devices will require different
arguments).
Actually, the current "connect" signatures aren't very good. Ideally,
mirage-block-xen's connect function would take a XenStore argument,
for example, rather than fishing one out of the environment.
> It would be great to clari
ually, yes. For testing, I'd suggest your test unikernel should
take a plain block device and pass it to ORAM.connect manually. Then
update the mirage tool with ORAM support at the end.
> Thanks for the help,
>
> Rupert
>
>> On 17 Oct 2015, at 12:17, Thomas Leonard wrote:
>
On 16 October 2015 at 14:21, Daniel Bünzli wrote:
> Le vendredi, 16 octobre 2015 à 13:31, Thomas Leonard a écrit :
>> I think the key here (as you mentioned) is splitting the collection
>> library from the reporting. The collection part needs to have minimal
>> dependencies
On 17 October 2015 at 15:04, Daniel Bünzli wrote:
> Le samedi, 17 octobre 2015 à 12:49, Thomas Leonard a écrit :
>> (but OCaml libraries don't generally do any logging at all, so it's not a
>> huge issue).
>
> And this tradition should continue as much as possibl
ed to
copy it all in. I imagine almost every application will want to do the
same thing here.
Typos:
- s/Loging/Logging/
- Logs_cli.level is called "verbose" in the doc string
--
Dr Thomas Leonardhttp://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA
___
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.org
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
rted using java.util.logging instead.
If library authors know their warnings and errors will be ignored by
default then again they're likely to ignore the logging system and
write to stderr directly.
Finally, if you really want to crash if things aren't configured, you
should at least do it imme
need to run tests in parallel. Mirage has alcotest,
although I haven't used it in my own code:
https://github.com/mirage/alcotest
Perhaps someone on mirage-devel (CC'd) could give a quick overview of
its benefits (apart from defaulting to not crashing, obviously)...
--
Dr Thomas Leon
but if you don't mind running
bare metal then you won't mind only running one Xen guest, either.
> Disclaimer: I don't have experience coding MirageOS but follow the
> project on a conceptual level.
--
Dr Thomas Leonardhttp
be of most use for this?
>
> Thanks,
>
> Rupert
> ___
> MirageOS-devel mailing list
> MirageOS-devel@lists.xenproject.org
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
--
Dr Thomas Leonardhttp://rosci
1 - 100 of 289 matches
Mail list logo
