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 forksyscall` 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