From mboxrd@z Thu Jan 1 00:00:00 1970 From: tim.newsham@gmail.com (Tim Newsham) Date: Mon, 2 Jun 2014 14:37:52 -1000 Subject: [TUHS] Gnu/Stallman (was Bugs in V6 'dcheck') In-Reply-To: References: <201406020209.s5229Q5o006174@stowe.cs.dartmouth.edu> <59D01DBF-EF49-45B8-8F80-FA03E644A528@tfeb.org> <20140602144105.GO18282@mercury.ccil.org> Message-ID: 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 wrote: > On Mon, Jun 2, 2014 at 2:27 PM, Brantley Coile 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