seL4 micro-kernel Ada integration?

General
1

Hello,

Do you know any Ada integration for the seL4 micro-kernel? I think that may be a cool project to take on. :slight_smile:

Cheers

2

Not that I am aware of. In terms of “lesser known” OS that integrate with Ada I know RTEMS and the ones that are built on Ada directly, like Muen or HiRTOS. Bigger OS/Kernels would be Ironclad/Gloire.

I would also love to see Ada being integrated in unikernels, that would be pretty cool and probably not a lot of work as they tend to emulate UNIX.

Best regards,
Fer

1 Like
3

The L4 kernels have an IDL, I would start there to generate the interfaces.

4

DEC used to have an excellent Ada compiler on OpenVMS.

5

Originally it was just VMS. The OpenVMS branding appeared later.

Yes, DEC Ada was excellent. I used it for my PhD. All DEC compilers were great. DEC C was the only C compiler that gave reasonable error messages. And you needed no bindings! You could call any system function from any language.

2 Likes