[Arm-netbook] Ask him for Android DDK (Was: I Have An Possible Chance To Meet An ARM Senior Manager)

[luke.leighton]

On Sun, Oct 7, 2012 at 3:49 PM, Gordan Bobic <gordan at bobich.net> wrote:
> On 10/07/2012 02:41 PM, luke.leighton wrote:
>> On Sun, Oct 7, 2012 at 1:45 PM, Gordan Bobic<gordan at bobich.net>  wrote:
>>> On 10/07/2012 12:43 PM, luke.leighton wrote:
>>>
>>>> i think, therefore, that efforts would be better spent running Android
>>>> as a Virtual OS within kvm or other Virtual Machine, on CPUs that have
>>>> virtual machine support (ARM Cortex A9 and above).
>>>
>>> That would be a truly awful solution. Full virtualization is
>>> _expensive_.
>>
>>   right.  ok.  understood.  well, what about l4ka then instead?  i know
>> of one company that's already done an L4 microkernel'd version of
>> android.
>
> I'd never heard of L4Ka before (only just googled it). I am not sure
> what advantage this is supposed to have over other microkernel based
> hypervisors such as Xen and ESX.

 it's not a hypervisor.  "linux the kernel" is reduced to the role of
being "yet another userspace application".  the overhead i heard about
when investigating this was about 3%.  xen and ESX are running
"kernels on kernels".  in L4KA, apart from the microkernel itself,
everything's "flat".

 l.