7;s inbox)
>>
>> On Wed, 2015-05-06 at 18:47 +0100, Thomas Leonard wrote:
>> > On 01/29/2015 05:04 PM, George Dunlap wrote:
>> > > On Tue, Jan 27, 2015 at 6:49 AM, Ian Jackson
>> > > wrote:
>> > >> We are splitting minios out of xen.git
On 01/29/2015 05:04 PM, George Dunlap wrote:
> On Tue, Jan 27, 2015 at 6:49 AM, Ian Jackson
> wrote:
>> We are splitting minios out of xen.git (because we want to try to make
>> it easier to un-fork it - there are about 3-4 forks that we are aware
>> of).
>>
>> We think it should have its own mai
On 30 January 2015 at 11:26, Wei Liu wrote:
> On Mon, Jan 26, 2015 at 09:53:25AM +0000, Thomas Leonard wrote:
>> [ Cc += Anil ]
>>
>> On 25 January 2015 at 18:25, Wei Liu wrote:
>> > Cc Ian and Ian and some folks who might be interested in this work.
>> >
ud services.
Actually, we don't use C XenBus either. The Mirage start_kernel is:
void start_kernel(void)
{
init_events();
local_irq_enable();
setup_xen_features();
init_mm();
init_time();
init_console();
init_gnttab();
app_main_thread(NULL);
}
We don't use the scheduler or
7;s own
>> build system. Splitting it off it's the first step towards fixing that
>> problem
In case it's useful: for the standalone version of Mini-OS used by
Mirage, I had to include these directories too:
1. xen/include/public
2. xen/common/libfdt
3. xen/include/x
On 8 January 2015 at 15:52, Ian Campbell wrote:
> On Tue, 2014-10-21 at 11:50 +0100, Ian Campbell wrote:
>> On Fri, 2014-10-03 at 10:20 +0100, Thomas Leonard wrote:
>> > Based on an initial patch by Karim Raslan.
>> >
>> > Signed-off-by: Karim Allah Ahmed
On 26 October 2014 10:25, Thomas Leonard wrote:
> On 26 October 2014 09:55, Samuel Thibault
> wrote:
>> Thomas Leonard, le Sun 26 Oct 2014 09:46:09 +, a écrit :
>>> Could you say a bit more about the linker problems you had?
>>
>> Really digging in the
On 28 October 2014 15:51, Julien Grall wrote:
> On 10/28/2014 03:43 PM, Thomas Leonard wrote:
>> On 28 October 2014 15:25, Julien Grall wrote:
>>> On 10/28/2014 03:15 PM, Thomas Leonard wrote:
>>>> On 22 October 2014 14:06, Julien Grall wrote:
>>>>&g
On 27 October 2014 10:34, Ian Campbell wrote:
> On Sun, 2014-10-26 at 09:51 +0000, Thomas Leonard wrote:
>> On 21 October 2014 11:50, Ian Campbell wrote:
>> > On Fri, 2014-10-03 at 10:20 +0100, Thomas Leonard wrote:
>> >> Based on an initial patch by Karim Ras
