Hi Geoffroy and Thomas,
On Tue, Jul 28, 2015 at 4:29 AM, Thomas Leonard wrote:
> On 27 July 2015 at 15:54, Thomas Leonard wrote:
> > On 27 July 2015 at 09:36, Geoffroy Couprie
> wrote:
>
[...]
>
> One other thing I should mention: Mini-OS runs in kernel mode and can
> be interrupted at any tim
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.
I installed XenServer in a VirtualBox, it seems to work. I'll have to
look at the options to c
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.
You can run "make" in the Mini-OS directory to build a "mini-os"
kernel image, which can be run directly. There are various options
that can be used, e.g.
Hi folks, the link for the Hangout in 5mins is:
https://plus.google.com/hangouts/_/gq7e36svyh3okzlban3s65nwnya
> On 28 Jul 2015, at 19:28, Amir Chaudhry wrote:
>
> Hi folks,
>
> Resuming our regular schedule, the next MirageOS dev call will take place on
> Wednesday afternoon at 4pm BST (GMT+1
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 wrote:
[...]
> Mini-OS now has its ow
