[TUHS] Gnu/Stallman (was Bugs in V6 'dcheck')

Tim Newsham tim.newsham at gmail.com
Tue Jun 3 10:37:52 AEST 2014

It would be nice if we end up moving towards
something with a solid theoretical underpinning..
seL4 comes to mind. I'd be happy to trade off some
performance for some security and strongly enforced
modularity. There's still lots to be done (sel4 is just
a small microkernel (needed: drivers, filesystems,
memory subsystems, etc), and there's little point in having
a proven microkernel if you don't keep building up
strong software on top of that foundation).

On Mon, Jun 2, 2014 at 8:52 AM, Dan Cross <crossd at gmail.com> wrote:
> On Mon, Jun 2, 2014 at 2:27 PM, Brantley Coile <brantley at coraid.com> wrote:
>> Isn't it part of the nostalgia?
> Perhaps.
> But nostalgia aside, something I find interesting (and frankly a bit
> distressing) is what seems to me to simply be an acceptance that it's all
> going to end with Linux.  That is to say, no one ever seems to talk about
> what will come *after* Linux.  Will Linus's kernel truly be the last kernel
> anyone works on seriously?  Somehow I very much doubt that.  And yet, you
> don't see a lot of talk about evolutionary paths beyond Linux; it's a sort
> of tunnel vision.
> For a while, it seemed like Plan 9 and/or Inferno could be the way forward,
> but they seem to be all but dead.  What will be the next step forward?
>         - Dan C.
> _______________________________________________
> TUHS mailing list
> TUHS at minnie.tuhs.org
> https://minnie.tuhs.org/mailman/listinfo/tuhs

Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com

More information about the TUHS mailing list