Hello,
Getting back on this (yes, it's been a long time... thanks for the
heads-up, it was not forgotten!)
Petr Salinger, le mar. 16 juil. 2013 16:59:50 +0200, a ecrit:
> the change in binutils might affect also hurd, as
>
> eglibc-2.17/hurd/Versions:
>
> GLIBC_2.0 {
> # necessary for t
ling to continue within, including the creation
of a menu and subpages for the above content as soon as it appears.
Jakub
>> just FYI, I have set up a simple web page[1] to promote the wider
>> microkernel community and its goals. So far, the page comes with a brief
>> descr
will be complicated to make joint course.
Finaly, about the diffusion of microkernels, I think it is important to see how
all (and other) projects can be used to solv actual issues, thus, examples of
application could also enchance the content (and impact) of the site.
> just FYI, I have
On 12 Mar 2016, at 2:03 , Alexander Senier
wrote:
>
> 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 sa
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
must be missing something.
Gernot
> On 11 Mar 2016, at 6:50 , Jakub Jermář wrote:
>
> Hello,
>
> just FYI, I have set up a simple web page[1] to promote the wider
> microkernel community and its goals. So far, the page comes with a brief
> description of the microkernel conc
Hello,
just FYI, I have set up a simple web page[1] to promote the wider
microkernel community and its goals. So far, the page comes with a brief
description of the microkernel concept and an incomplete list of
microkernel projects with links to each project's web. The description
is made o
I will be interviewed about the Hurd by Dr. Dobbs for webcast on their
site at 6 pm EDT (GMT - 4) this evening, in case anyone wants to hear.
I have submitted a bug report for e2fsck to prevent it from trying to
set the in-directory inode type field on files with multiple links.
It's OK if it does so on files with one link.
Thomas
