Hello all,
Please review my GSoC proposal that I have attached with this mail. I know
its rough, please send some suggestions.
Thanks,
Vasantha Ganesh K
Contact info
Name : Vasantha Ganesh K
email address : vasanthaganes...@tuta.io
IRC nick : GreySun
David Michael, on Fri 11 Mar 2016 17:38:06 -0500, wrote:
> but I will try to see what Debian is doing differently over the
> weekend.
Debian simply doesn't use those drivers any more, but netdde instead.
Samuel
On Wed, Mar 9, 2016 at 2:57 PM, Richard Braun wrote:
> On Tue, Mar 08, 2016 at 12:15:25PM -0500, David Michael wrote:
>> So unless rtl8139 bits are still hidden somewhere (grep only finds
>> some PCI ID definitions), it looks like there may be a different
>> problem.
>
> Building GNU Mach with :
>
Hi Gernot,
when analyzing the statement carefully, you'll find that it's indeed
true. The seL4 source was *open-sourced* in July 2014 whereas the Muen
source was released in August 2013.
But of cause you're right, we're not talking about the same properties here.
Cheers,
Alex
On 03/10/2016 10:3
