Re: [MirageOS-devel] terminal emulation

2015-08-25 Thread Thomas Leonard
On 25 August 2015 at 10:34, Anil Madhavapeddy wrote: > On 25 Aug 2015, at 10:24, Hannes Mehnert wrote: >> >> hackers, >> >> I wondered if there's something available to act as a terminal emulation >> in a pure MirageOS setting? I discovered >> https://github.com/djs55/ocaml-vnc (but it is unclea

Re: [MirageOS-devel] terminal emulation

2015-08-25 Thread Dave Scott
> On 25 Aug 2015, at 10:34, Anil Madhavapeddy wrote: > > On 25 Aug 2015, at 10:24, Hannes Mehnert wrote: >> >> hackers, >> >> I wondered if there's something available to act as a terminal emulation >> in a pure MirageOS setting? I discovered >> https://github.com/djs55/ocaml-vnc (but it is

Re: [MirageOS-devel] terminal emulation

2015-08-25 Thread Anil Madhavapeddy
On 25 Aug 2015, at 10:24, Hannes Mehnert wrote: > > hackers, > > I wondered if there's something available to act as a terminal emulation > in a pure MirageOS setting? I discovered > https://github.com/djs55/ocaml-vnc (but it is unclear to me whether it > is working [and to what extend], suppos

[MirageOS-devel] terminal emulation

2015-08-25 Thread Hannes Mehnert
hackers, I wondered if there's something available to act as a terminal emulation in a pure MirageOS setting? I discovered https://github.com/djs55/ocaml-vnc (but it is unclear to me whether it is working [and to what extend], supposed to be the MirageOS terminal emulation (or is there another on