Conversation

Notices

1. Rob (robdaemon@tech.lgbt)'s status on Monday, 06-Jun-2022 04:09:34 UTC Rob

   Hrm are there Ada bindings for seL4?

   • theruran 🌐🏴 (theruran@hackers.town)'s status on Monday, 06-Jun-2022 04:09:54 UTC theruran 🌐🏴

     in reply to

     @robdaemon there are quite a few kernels listed here: https://github.com/ohenley/awesome-ada#os-and-kernels

     although x86_64 may be a showstopper for you(?)

   • theruran 🌐🏴 (theruran@hackers.town)'s status on Monday, 06-Jun-2022 04:09:55 UTC theruran 🌐🏴

     in reply to

     @robdaemon that would be cool...

   • Rob (robdaemon@tech.lgbt)'s status on Monday, 06-Jun-2022 04:09:55 UTC Rob

     in reply to

     • theruran 🌐🏴

     @theruran Right? The kernel isn't the most interesting part of the project I'm trying for, so if I could start with a proven microkernel and build on top of that, I'd be better off.

     Santa Claes 🇸🇪🇭🇰🎅 repeated this.
   • Rob (robdaemon@tech.lgbt)'s status on Monday, 06-Jun-2022 05:27:07 UTC Rob

     in reply to

     • theruran 🌐🏴

     @theruran I'd rather do AArch64 or RISC-V, honestly.

     Too bad GNAT community doesn't have AArch64 ZFP RTS.

     Santa Claes 🇸🇪🇭🇰🎅 likes this.