Hello,
I am a member of the Robigalia project. If you'd like to discuss
anything with us you're welcome to join us in our matrix room at
https://matrix.to/#/#robigalia:matrix.org or the linked IRC room at OFTC
#robigalia.
I'm glad you found our project useful!
We have abandoned our old code
On Wed, Dec 15, 2021 at 5:14 PM Kent Mcleod wrote:
> On Thu, Dec 16, 2021 at 11:36 AM Sam Leffler wrote:
> >
> > [Karol is working with me on this so hopefully it's ok to interject]
> >
> > On Wed, Dec 15, 2021 at 3:40 PM Kent Mcleod
> wrote:
> >>
> >> On Thu, Dec 16, 2021 at 1:20 AM wrote:
>
On Thu, Dec 16, 2021 at 11:36 AM Sam Leffler wrote:
>
> [Karol is working with me on this so hopefully it's ok to interject]
>
> On Wed, Dec 15, 2021 at 3:40 PM Kent Mcleod wrote:
>>
>> On Thu, Dec 16, 2021 at 1:20 AM wrote:
>> >
>> > Hi All,
>> >
>> > We’ve been working on reviving the sel4-sys
[Karol is working with me on this so hopefully it's ok to interject]
On Wed, Dec 15, 2021 at 3:40 PM Kent Mcleod wrote:
> On Thu, Dec 16, 2021 at 1:20 AM wrote:
> >
> > Hi All,
> >
> > We’ve been working on reviving the sel4-sys Rust crate and getting it
> usable again. Currently, we have it wo
On Thu, Dec 16, 2021 at 1:20 AM wrote:
>
> Hi All,
>
> We’ve been working on reviving the sel4-sys Rust crate and getting it usable
> again. Currently, we have it working correctly with RISC-V, we’re working on
> ARM (including aarch64) and X86. We’d like to contribute this work, but to
> have