>> to hang without doing anything. I don't get any output at all (whereas
> >>> >> the kzm version spews out a ton of messages). In 'top' I can see it's
> >>> >> using about 3% cpu so it's something, though it's not clear what. It's
> >>> >> har
rrectly?
>> >>
>> >> -Andrew
>> >>
>> >> On Tue, Dec 6, 2016 at 2:46 PM, <alexander.k...@data61.csiro.au> wrote:
>> >>> Hi Andrew,
>> >>>
>> >>> It could be because QEMU does not know how much RAM is avail
_
>>> From: Devel <devel-bounces@sel4.systems> on behalf of Andrew Gacek
>>> <andrew.ga...@gmail.com>
>>> Sent: Wednesday, December 7, 2016 2:23 AM
>>> To: devel@sel4.systems
>>> Subject: [seL4] seL4 on Zinq7000 on QEMU
>>>
>>&g
is available.
>> Could you try adding "-m size=512M" to your arguments?
>>
>> - Alex
>>
>>
>> From: Devel <devel-bounces@sel4.systems> on behalf of Andrew Gacek
>> <andrew.ga...@gmail.com>
your arguments?
>
> - Alex
>
>
> From: Devel <devel-bounces@sel4.systems> on behalf of Andrew Gacek
> <andrew.ga...@gmail.com>
> Sent: Wednesday, December 7, 2016 2:23 AM
> To: devel@sel4.systems
> Subject: [seL4] seL