sh.itjust.works

27,660 readers
1,076 users here now

Useful Links

Rules:

Be respectful. Everyone should feel welcome here.
No bigotry - including racism, sexism, ableism, homophobia, transphobia, or xenophobia.
No Ads / Spamming.
No pornography.

Règles :

Soyez respectueux. Tout le monde doit se sentir le bienvenu ici.
Pas de bigoterie - y compris le racisme, le sexisme, le capacitisme, l'homophobie, la transphobie ou la xénophobie.
Pas de publicités / Pas de spam.
Pas de pornographie.

Fediseer

Other UI options (more to come)

https://oldsh.itjust.works/

Monitoring Services
lemmy-meter.info

founded 1 year ago

ADMINS

Ironclad - an OS kernel in Ada (ironclad.nongnu.org)

submitted 10 months ago by [email protected] to c/[email protected]

12 comments fedilink

cross-port from: https://programming.dev/post/5377847

Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user's freedom.

Some of the supported features are:

A familiar POSIX-compatible interface.

True simultaneous preemptive multitasking.

Advanced cryptography and a security-centered architecture.

Mandatory Access Control (MAC).

Highly configurable, hard real-time scheduling.

Support for several architectures and boards.

Today (4 Nov 2023) at 14:00 UTC the author will preset it on Ada Monthly Meetup!

Ironclad - an OS kernel in Ada (ironclad.nongnu.org)

submitted 10 months ago by [email protected] to c/[email protected]

1 comments fedilink

Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user's freedom.

Some of the supported features are:

A familiar POSIX-compatible interface.
True simultaneous preemptive multitasking.
Advanced cryptography and a security-centered architecture.
Mandatory Access Control (MAC).
Highly configurable, hard real-time scheduling.
Support for several architectures and boards.

Today (4 Nov 2023) at 14:00 UTC the author will preset it on Ada Monthly Meetup!