Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.
AT_REMOVEDIR
for the unlink syscall., modified the fork
syscall` to take aSIGHUP
, SIGINT
, SIGQUIT
, SIGABRT
, SIGKILL
, SIGALRM
,getrandom
syscall for the POSIX-compliant getentropy
.Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.
UID: 17495880216848983548ae66848983548ae8
EEC GDPR compliant