Racket itself is quite fast, just loading is slow
raco pkg installhttps://stackoverflow.com/questions/26812142/what-is-the-use-of-the-sht-null-section-in-elf
https://wiki.osdev.org/ELF_Tutorial
https://antofthy.gitlab.io/info/crypto/passwd_caching.txt https://antofthy.gitlab.io/info/crypto/keyring_linux_kernal.txt https://antofthy.gitlab.io/info/crypto/keyring_gnome.txt
syscalls: https://filippo.io/linux-syscall-table/ https://de.wikipedia.org/wiki/Liste_der_Linux-Systemaufrufe http://man7.org/linux/man-pages/man2/syscalls.2.html
Required binary formats:
ELF AVR
x86_64 https://software.intel.com/en-us/articles/intel-sdm https://software.intel.com/sites/default/files/managed/39/c5/325462-sdm-vol-1-2abcd-3abcd.pdf
https://www.intel.com/content/dam/www/public/us/en/documents/manuals/64-ia-32-architectures-software-developer-instruction-set-reference-manual-325383.pdf https://wiki.osdev.org/X86-64_Instruction_Encoding #https://www-user.tu-chemnitz.de/~heha/viewchm.php/hs/x86.chm/x86.htm
ARMv8
ELF: look at linux, chezscheme, sbcl, ccl, racket implementation
https://refspecs.linuxfoundation.org/elf/elf.pdf http://man7.org/linux/man-pages/man5/elf.5.html
https://en.wikipedia.org/wiki/Executable_and_Linkable_Format (contains partial format spec and list of specifications!!!)
https://wiki.osdev.org/ELF also contains a list of specs