Hello,
On Fri, Mar 19, 2021 at 12:44:47PM -0400, Joshua Branson wrote:
> pinoaffe writes:
> > raingloom writes:
> >
> >> seL4 would be cool too.
> So essentially most of the active hurd developers considered a port to a
> different microkernel to be impractical. :(
>
> However, one of the mai
On Sunday, March 21, 2021, raingloom wrote:
> On Fri, 19 Mar 2021 20:42:19 +0100
> Vincent Legoll wrote:
>
> > + '(#:tests? #f ;; No need for tests when you have formal proof
> > of correctness
> In just about any talk about Idris and Type Driven Development, Edwin
> Brady always starts with
On Fri, 19 Mar 2021 20:42:19 +0100
Vincent Legoll wrote:
> + '(#:tests? #f ;; No need for tests when you have formal proof
> of correctness
In just about any talk about Idris and Type Driven Development, Edwin
Brady always starts with "you still need tests".
On Fri, Mar 19, 2021 at 8:42 PM Vincent Legoll wrote:
>
> On Fri, Mar 19, 2021 at 7:02 PM Vincent Legoll
> wrote:
> > I have created a guix build recipe for seL4 recently, it builds, but I don't
> > know what to do with it :-)
> >
> > I'll send it as a followup to this thread, if any one is inte
On Fri, Mar 19, 2021 at 7:02 PM Vincent Legoll wrote:
> I have created a guix build recipe for seL4 recently, it builds, but I don't
> know what to do with it :-)
>
> I'll send it as a followup to this thread, if any one is interested.
Here it is, ukernel only, hardcoded arch, nothing fancy like
Hello,
On Fri, Mar 19, 2021 at 5:45 PM Joshua Branson wrote:
> >> seL4 would be cool too.
> > Didn't someone do some work on making hurd run on SEL4?
> > Or am I misremembering
>
> You are correct. :)
It was a member of the L4 family, but I think it was not seL4 (looks like seL4
started in 2006
pinoaffe writes:
> raingloom writes:
>
>> seL4 would be cool too.
> Didn't someone do some work on making hurd run on SEL4?
> Or am I misremembering
You are correct. :)
https://www.gnu.org/software/hurd/history/port_to_another_microkernel.html
By now (that is, after 2006), there were some new
raingloom writes:
> http://jehanne.io/2021/01/06/gcc_on_jehanne.html
>
> Should support more architectures than Hurd ;)
>
> Anyways, just throwing this out there, as I - and I imagine every
> other contributor - have some more pressing projects.
>
> It probably wouldn't be able to run most packag
http://jehanne.io/2021/01/06/gcc_on_jehanne.html
Should support more architectures than Hurd ;)
Anyways, just throwing this out there, as I - and I imagine every
other contributor - have some more pressing projects.
It probably wouldn't be able to run most packages and services without
some sign
