├── .als.json ├── .editorconfig ├── .forgejo └── workflows │ ├── ci.yml │ └── spellcheck.yml ├── .gitignore ├── .mailmap ├── .typos.toml ├── .well-known └── funding-manifest-urls ├── CHANGELOG.md ├── CONTRIBUTING.md ├── COPYING ├── GNUmakefile.in ├── README.md ├── RELEASE_PROCEDURE.md ├── SECURITY.md ├── bootstrap ├── configure.ac ├── docs ├── fdl.texi └── ironclad.texi ├── gprconfig ├── compilers.xml.in └── gprconfig.xml.in ├── ironclad.gpr.in ├── rts.gpr.in ├── source ├── alignment.adb ├── alignment.ads ├── arch │ ├── arch-clocks.ads │ ├── arch-context.ads │ ├── arch-debug.ads │ ├── arch-hooks.ads │ ├── arch-local.ads │ ├── arch-mmu.ads │ ├── arch-pci.ads │ ├── arch-power.ads │ ├── arch-snippets.ads │ ├── arch-virtualization.ads │ ├── arch.ads │ ├── riscv64-limine │ │ ├── arch-acpi.adb │ │ ├── arch-acpi.ads │ │ ├── arch-clocks.adb │ │ ├── arch-context.adb │ │ ├── arch-cpu.adb │ │ ├── arch-cpu.ads │ │ ├── arch-debug.adb │ │ ├── arch-entrypoint.adb │ │ ├── arch-entrypoint.ads │ │ ├── arch-flanterm.adb │ │ ├── arch-flanterm.ads │ │ ├── arch-hooks.adb │ │ ├── arch-interrupts.adb │ │ ├── arch-interrupts.ads │ │ ├── arch-limine.adb │ │ ├── arch-limine.ads │ │ ├── arch-local.adb │ │ ├── arch-mmu.adb │ │ ├── arch-pci.adb │ │ ├── arch-power.adb │ │ ├── arch-sbi.adb │ │ ├── arch-sbi.ads │ │ ├── arch-snippets.adb │ │ ├── arch-trap.S │ │ ├── arch-virtualization.adb │ │ ├── devices │ │ │ ├── devices-fb.adb │ │ │ └── devices-fb.ads │ │ ├── lib-mem.S │ │ └── linker.ld │ └── x86_64-limine │ │ ├── arch-acpi.adb │ │ ├── arch-acpi.ads │ │ ├── arch-acpi_pm_timer.adb │ │ ├── arch-acpi_pm_timer.ads │ │ ├── arch-apic.adb │ │ ├── arch-apic.ads │ │ ├── arch-clocks.adb │ │ ├── arch-context.adb │ │ ├── arch-cpu.adb │ │ ├── arch-cpu.ads │ │ ├── arch-debug.adb │ │ ├── arch-entrypoint.adb │ │ ├── arch-entrypoint.ads │ │ ├── arch-flanterm.adb │ │ ├── arch-flanterm.ads │ │ ├── arch-gdt.adb │ │ ├── arch-gdt.ads │ │ ├── arch-hooks.adb │ │ ├── arch-hpet.adb │ │ ├── arch-hpet.ads │ │ ├── arch-idt.adb │ │ ├── arch-idt.ads │ │ ├── arch-interrupts.adb │ │ ├── arch-interrupts.ads │ │ ├── arch-interruptthunks.S │ │ ├── arch-limine.adb │ │ ├── arch-limine.ads │ │ ├── arch-local.adb │ │ ├── arch-mmu.adb │ │ ├── arch-pci.adb │ │ ├── arch-pic.adb │ │ ├── arch-pic.ads │ │ ├── arch-power.adb │ │ ├── arch-rtc.adb │ │ ├── arch-rtc.ads │ │ ├── arch-snippets.adb │ │ ├── arch-syscall_handler.S │ │ ├── devices │ │ ├── devices-fb.adb │ │ ├── devices-fb.ads │ │ ├── devices-pc_speaker.adb │ │ ├── devices-pc_speaker.ads │ │ ├── devices-pci-e1000.adb │ │ ├── devices-pci-e1000.ads │ │ ├── devices-pci-rtl8139.adb │ │ ├── devices-pci-rtl8139.ads │ │ ├── devices-ps2.adb │ │ ├── devices-ps2.ads │ │ ├── devices-serial.adb │ │ └── devices-serial.ads │ │ ├── lib-mem.S │ │ ├── linker.ld │ │ └── virtualization │ │ ├── arch-virtualization-svm.adb │ │ ├── arch-virtualization-svm.ads │ │ ├── arch-virtualization-vmx.adb │ │ ├── arch-virtualization-vmx.ads │ │ └── arch-virtualization.adb ├── cmdline.adb ├── cmdline.ads ├── config.ads ├── cryptography │ ├── cryptography-chacha20.adb │ ├── cryptography-chacha20.ads │ ├── cryptography-md5.adb │ ├── cryptography-md5.ads │ ├── cryptography-random.adb │ ├── cryptography-random.ads │ └── cryptography.ads ├── devices │ ├── devices-console.adb │ ├── devices-console.ads │ ├── devices-drive_cache.adb │ ├── devices-drive_cache.ads │ ├── devices-loopback.adb │ ├── devices-loopback.ads │ ├── devices-partitions.adb │ ├── devices-partitions.ads │ ├── devices-power_buttons.adb │ ├── devices-power_buttons.ads │ ├── devices-streams.adb │ ├── devices-streams.ads │ ├── devices-termios.ads │ ├── devices-tty.adb │ ├── devices-tty.ads │ ├── devices.adb │ ├── devices.ads │ └── pci │ │ ├── devices-pci-i6300esb.adb │ │ ├── devices-pci-i6300esb.ads │ │ ├── devices-pci-nvme.adb │ │ ├── devices-pci-nvme.ads │ │ ├── devices-pci-sata.adb │ │ ├── devices-pci-sata.ads │ │ ├── devices-pci-virtio.adb │ │ ├── devices-pci-virtio.ads │ │ ├── devices-pci-virtioblk.adb │ │ ├── devices-pci-virtioblk.ads │ │ ├── devices-pci-virtionet.adb │ │ ├── devices-pci-virtionet.ads │ │ ├── devices-pci-virtiorng.adb │ │ ├── devices-pci-virtiorng.ads │ │ ├── devices-pci.adb │ │ └── devices-pci.ads ├── ipc │ ├── ipc-fifo.adb │ ├── ipc-fifo.ads │ ├── ipc-filelock.adb │ ├── ipc-filelock.ads │ ├── ipc-futex.adb │ ├── ipc-futex.ads │ ├── ipc-pty.adb │ ├── ipc-pty.ads │ ├── ipc-shm.adb │ ├── ipc-shm.ads │ ├── ipc-socket.adb │ ├── ipc-socket.ads │ └── ipc.ads ├── main.adb ├── main.ads ├── memory │ ├── memory-allocbindings.c │ ├── memory-mmu.adb │ ├── memory-mmu.ads │ ├── memory-physical.adb │ ├── memory-physical.ads │ ├── memory-userland_transfer.adb │ ├── memory-userland_transfer.ads │ ├── memory.adb │ └── memory.ads ├── messages.adb ├── messages.ads ├── networking │ ├── networking-arp.adb │ ├── networking-arp.ads │ ├── networking-interfaces.adb │ ├── networking-interfaces.ads │ ├── networking-ipv4.adb │ ├── networking-ipv4.ads │ ├── networking-ipv6.adb │ ├── networking-ipv6.ads │ ├── networking.adb │ └── networking.ads ├── panic.adb ├── panic.ads ├── pragmas.adc ├── rts │ ├── a-charac.ads │ ├── a-chlat1.ads │ ├── a-unccon.ads │ ├── a-uncdea.ads │ ├── ada.ads │ ├── i-c.ads │ ├── i-cstrin.adb │ ├── i-cstrin.ads │ ├── interfac.ads │ ├── riscv64-limine │ │ └── system.ads │ ├── s-atacco.ads │ ├── s-atoope.ads │ ├── s-image.adb │ ├── s-image.ads │ ├── s-imgint.adb │ ├── s-imgint.ads │ ├── s-imglli.adb │ ├── s-imglli.ads │ ├── s-imgllli.adb │ ├── s-imgllli.ads │ ├── s-imgllu.adb │ ├── s-imgllu.ads │ ├── s-imguns.adb │ ├── s-imguns.ads │ ├── s-maccod.ads │ ├── s-stoele.adb │ ├── s-stoele.ads │ ├── s-unstyp.ads │ └── x86_64-limine │ │ └── system.ads ├── runtime.adb ├── runtime.ads ├── scheduler.adb ├── scheduler.ads ├── synchronization.adb ├── synchronization.ads ├── time.adb ├── time.ads ├── userland │ ├── userland-corefile.adb │ ├── userland-corefile.ads │ ├── userland-elf.adb │ ├── userland-elf.ads │ ├── userland-loader.adb │ ├── userland-loader.ads │ ├── userland-mac.adb │ ├── userland-mac.ads │ ├── userland-memory_locations.ads │ ├── userland-process.adb │ ├── userland-process.ads │ ├── userland-syscall.adb │ ├── userland-syscall.ads │ └── userland.ads ├── vfs │ ├── vfs-dev.adb │ ├── vfs-dev.ads │ ├── vfs-ext.adb │ ├── vfs-ext.ads │ ├── vfs-fat.adb │ ├── vfs-fat.ads │ ├── vfs.adb │ └── vfs.ads └── virtualization │ ├── virtualization.adb │ └── virtualization.ads └── version.sh /.als.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/.als.json -------------------------------------------------------------------------------- /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/.editorconfig -------------------------------------------------------------------------------- /.forgejo/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/.forgejo/workflows/ci.yml -------------------------------------------------------------------------------- /.forgejo/workflows/spellcheck.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/.forgejo/workflows/spellcheck.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/.gitignore -------------------------------------------------------------------------------- /.mailmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/.mailmap -------------------------------------------------------------------------------- /.typos.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/.typos.toml -------------------------------------------------------------------------------- /.well-known/funding-manifest-urls: -------------------------------------------------------------------------------- 1 | https://ironclad-os.org/funding.json -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/COPYING -------------------------------------------------------------------------------- /GNUmakefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/GNUmakefile.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/README.md -------------------------------------------------------------------------------- /RELEASE_PROCEDURE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/RELEASE_PROCEDURE.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/SECURITY.md -------------------------------------------------------------------------------- /bootstrap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/bootstrap -------------------------------------------------------------------------------- /configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/configure.ac -------------------------------------------------------------------------------- /docs/fdl.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/docs/fdl.texi -------------------------------------------------------------------------------- /docs/ironclad.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/docs/ironclad.texi -------------------------------------------------------------------------------- /gprconfig/compilers.xml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/gprconfig/compilers.xml.in -------------------------------------------------------------------------------- /gprconfig/gprconfig.xml.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/gprconfig/gprconfig.xml.in -------------------------------------------------------------------------------- /ironclad.gpr.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/ironclad.gpr.in -------------------------------------------------------------------------------- /rts.gpr.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/rts.gpr.in -------------------------------------------------------------------------------- /source/alignment.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/alignment.adb -------------------------------------------------------------------------------- /source/alignment.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/alignment.ads -------------------------------------------------------------------------------- /source/arch/arch-clocks.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch-clocks.ads -------------------------------------------------------------------------------- /source/arch/arch-context.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch-context.ads -------------------------------------------------------------------------------- /source/arch/arch-debug.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch-debug.ads -------------------------------------------------------------------------------- /source/arch/arch-hooks.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch-hooks.ads -------------------------------------------------------------------------------- /source/arch/arch-local.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch-local.ads -------------------------------------------------------------------------------- /source/arch/arch-mmu.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch-mmu.ads -------------------------------------------------------------------------------- /source/arch/arch-pci.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch-pci.ads -------------------------------------------------------------------------------- /source/arch/arch-power.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch-power.ads -------------------------------------------------------------------------------- /source/arch/arch-snippets.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch-snippets.ads -------------------------------------------------------------------------------- /source/arch/arch-virtualization.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch-virtualization.ads -------------------------------------------------------------------------------- /source/arch/arch.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/arch.ads -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-acpi.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-acpi.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-acpi.ads: -------------------------------------------------------------------------------- 1 | ../x86_64-limine/arch-acpi.ads -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-clocks.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-clocks.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-context.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-context.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-cpu.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-cpu.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-cpu.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-cpu.ads -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-debug.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-debug.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-entrypoint.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-entrypoint.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-entrypoint.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-entrypoint.ads -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-flanterm.adb: -------------------------------------------------------------------------------- 1 | ../x86_64-limine/arch-flanterm.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-flanterm.ads: -------------------------------------------------------------------------------- 1 | ../x86_64-limine/arch-flanterm.ads -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-hooks.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-hooks.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-interrupts.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-interrupts.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-interrupts.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-interrupts.ads -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-limine.adb: -------------------------------------------------------------------------------- 1 | ../x86_64-limine/arch-limine.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-limine.ads: -------------------------------------------------------------------------------- 1 | ../x86_64-limine/arch-limine.ads -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-local.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-local.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-mmu.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-mmu.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-pci.adb: -------------------------------------------------------------------------------- 1 | ../x86_64-limine/arch-pci.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-power.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-power.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-sbi.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-sbi.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-sbi.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-sbi.ads -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-snippets.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-snippets.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-trap.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-trap.S -------------------------------------------------------------------------------- /source/arch/riscv64-limine/arch-virtualization.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/arch-virtualization.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/devices/devices-fb.adb: -------------------------------------------------------------------------------- 1 | ../../x86_64-limine/devices/devices-fb.adb -------------------------------------------------------------------------------- /source/arch/riscv64-limine/devices/devices-fb.ads: -------------------------------------------------------------------------------- 1 | ../../x86_64-limine/devices/devices-fb.ads -------------------------------------------------------------------------------- /source/arch/riscv64-limine/lib-mem.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/lib-mem.S -------------------------------------------------------------------------------- /source/arch/riscv64-limine/linker.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/riscv64-limine/linker.ld -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-acpi.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-acpi.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-acpi.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-acpi.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-acpi_pm_timer.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-acpi_pm_timer.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-acpi_pm_timer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-acpi_pm_timer.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-apic.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-apic.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-apic.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-apic.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-clocks.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-clocks.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-context.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-context.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-cpu.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-cpu.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-cpu.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-cpu.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-debug.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-debug.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-entrypoint.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-entrypoint.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-entrypoint.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-entrypoint.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-flanterm.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-flanterm.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-flanterm.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-flanterm.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-gdt.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-gdt.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-gdt.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-gdt.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-hooks.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-hooks.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-hpet.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-hpet.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-hpet.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-hpet.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-idt.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-idt.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-idt.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-idt.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-interrupts.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-interrupts.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-interrupts.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-interrupts.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-interruptthunks.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-interruptthunks.S -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-limine.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-limine.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-limine.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-limine.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-local.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-local.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-mmu.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-mmu.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-pci.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-pci.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-pic.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-pic.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-pic.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-pic.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-power.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-power.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-rtc.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-rtc.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-rtc.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-rtc.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-snippets.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-snippets.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/arch-syscall_handler.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/arch-syscall_handler.S -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-fb.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-fb.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-fb.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-fb.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-pc_speaker.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-pc_speaker.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-pc_speaker.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-pc_speaker.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-pci-e1000.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-pci-e1000.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-pci-e1000.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-pci-e1000.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-pci-rtl8139.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-pci-rtl8139.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-pci-rtl8139.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-pci-rtl8139.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-ps2.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-ps2.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-ps2.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-ps2.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-serial.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-serial.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/devices/devices-serial.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/devices/devices-serial.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/lib-mem.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/lib-mem.S -------------------------------------------------------------------------------- /source/arch/x86_64-limine/linker.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/linker.ld -------------------------------------------------------------------------------- /source/arch/x86_64-limine/virtualization/arch-virtualization-svm.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/virtualization/arch-virtualization-svm.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/virtualization/arch-virtualization-svm.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/virtualization/arch-virtualization-svm.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/virtualization/arch-virtualization-vmx.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/virtualization/arch-virtualization-vmx.adb -------------------------------------------------------------------------------- /source/arch/x86_64-limine/virtualization/arch-virtualization-vmx.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/virtualization/arch-virtualization-vmx.ads -------------------------------------------------------------------------------- /source/arch/x86_64-limine/virtualization/arch-virtualization.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/arch/x86_64-limine/virtualization/arch-virtualization.adb -------------------------------------------------------------------------------- /source/cmdline.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/cmdline.adb -------------------------------------------------------------------------------- /source/cmdline.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/cmdline.ads -------------------------------------------------------------------------------- /source/config.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/config.ads -------------------------------------------------------------------------------- /source/cryptography/cryptography-chacha20.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/cryptography/cryptography-chacha20.adb -------------------------------------------------------------------------------- /source/cryptography/cryptography-chacha20.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/cryptography/cryptography-chacha20.ads -------------------------------------------------------------------------------- /source/cryptography/cryptography-md5.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/cryptography/cryptography-md5.adb -------------------------------------------------------------------------------- /source/cryptography/cryptography-md5.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/cryptography/cryptography-md5.ads -------------------------------------------------------------------------------- /source/cryptography/cryptography-random.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/cryptography/cryptography-random.adb -------------------------------------------------------------------------------- /source/cryptography/cryptography-random.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/cryptography/cryptography-random.ads -------------------------------------------------------------------------------- /source/cryptography/cryptography.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/cryptography/cryptography.ads -------------------------------------------------------------------------------- /source/devices/devices-console.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-console.adb -------------------------------------------------------------------------------- /source/devices/devices-console.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-console.ads -------------------------------------------------------------------------------- /source/devices/devices-drive_cache.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-drive_cache.adb -------------------------------------------------------------------------------- /source/devices/devices-drive_cache.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-drive_cache.ads -------------------------------------------------------------------------------- /source/devices/devices-loopback.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-loopback.adb -------------------------------------------------------------------------------- /source/devices/devices-loopback.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-loopback.ads -------------------------------------------------------------------------------- /source/devices/devices-partitions.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-partitions.adb -------------------------------------------------------------------------------- /source/devices/devices-partitions.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-partitions.ads -------------------------------------------------------------------------------- /source/devices/devices-power_buttons.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-power_buttons.adb -------------------------------------------------------------------------------- /source/devices/devices-power_buttons.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-power_buttons.ads -------------------------------------------------------------------------------- /source/devices/devices-streams.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-streams.adb -------------------------------------------------------------------------------- /source/devices/devices-streams.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-streams.ads -------------------------------------------------------------------------------- /source/devices/devices-termios.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-termios.ads -------------------------------------------------------------------------------- /source/devices/devices-tty.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-tty.adb -------------------------------------------------------------------------------- /source/devices/devices-tty.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices-tty.ads -------------------------------------------------------------------------------- /source/devices/devices.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices.adb -------------------------------------------------------------------------------- /source/devices/devices.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/devices.ads -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-i6300esb.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-i6300esb.adb -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-i6300esb.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-i6300esb.ads -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-nvme.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-nvme.adb -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-nvme.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-nvme.ads -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-sata.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-sata.adb -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-sata.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-sata.ads -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-virtio.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-virtio.adb -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-virtio.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-virtio.ads -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-virtioblk.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-virtioblk.adb -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-virtioblk.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-virtioblk.ads -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-virtionet.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-virtionet.adb -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-virtionet.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-virtionet.ads -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-virtiorng.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-virtiorng.adb -------------------------------------------------------------------------------- /source/devices/pci/devices-pci-virtiorng.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci-virtiorng.ads -------------------------------------------------------------------------------- /source/devices/pci/devices-pci.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci.adb -------------------------------------------------------------------------------- /source/devices/pci/devices-pci.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/devices/pci/devices-pci.ads -------------------------------------------------------------------------------- /source/ipc/ipc-fifo.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-fifo.adb -------------------------------------------------------------------------------- /source/ipc/ipc-fifo.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-fifo.ads -------------------------------------------------------------------------------- /source/ipc/ipc-filelock.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-filelock.adb -------------------------------------------------------------------------------- /source/ipc/ipc-filelock.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-filelock.ads -------------------------------------------------------------------------------- /source/ipc/ipc-futex.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-futex.adb -------------------------------------------------------------------------------- /source/ipc/ipc-futex.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-futex.ads -------------------------------------------------------------------------------- /source/ipc/ipc-pty.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-pty.adb -------------------------------------------------------------------------------- /source/ipc/ipc-pty.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-pty.ads -------------------------------------------------------------------------------- /source/ipc/ipc-shm.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-shm.adb -------------------------------------------------------------------------------- /source/ipc/ipc-shm.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-shm.ads -------------------------------------------------------------------------------- /source/ipc/ipc-socket.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-socket.adb -------------------------------------------------------------------------------- /source/ipc/ipc-socket.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc-socket.ads -------------------------------------------------------------------------------- /source/ipc/ipc.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/ipc/ipc.ads -------------------------------------------------------------------------------- /source/main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/main.adb -------------------------------------------------------------------------------- /source/main.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/main.ads -------------------------------------------------------------------------------- /source/memory/memory-allocbindings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/memory/memory-allocbindings.c -------------------------------------------------------------------------------- /source/memory/memory-mmu.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/memory/memory-mmu.adb -------------------------------------------------------------------------------- /source/memory/memory-mmu.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/memory/memory-mmu.ads -------------------------------------------------------------------------------- /source/memory/memory-physical.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/memory/memory-physical.adb -------------------------------------------------------------------------------- /source/memory/memory-physical.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/memory/memory-physical.ads -------------------------------------------------------------------------------- /source/memory/memory-userland_transfer.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/memory/memory-userland_transfer.adb -------------------------------------------------------------------------------- /source/memory/memory-userland_transfer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/memory/memory-userland_transfer.ads -------------------------------------------------------------------------------- /source/memory/memory.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/memory/memory.adb -------------------------------------------------------------------------------- /source/memory/memory.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/memory/memory.ads -------------------------------------------------------------------------------- /source/messages.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/messages.adb -------------------------------------------------------------------------------- /source/messages.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/messages.ads -------------------------------------------------------------------------------- /source/networking/networking-arp.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/networking/networking-arp.adb -------------------------------------------------------------------------------- /source/networking/networking-arp.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/networking/networking-arp.ads -------------------------------------------------------------------------------- /source/networking/networking-interfaces.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/networking/networking-interfaces.adb -------------------------------------------------------------------------------- /source/networking/networking-interfaces.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/networking/networking-interfaces.ads -------------------------------------------------------------------------------- /source/networking/networking-ipv4.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/networking/networking-ipv4.adb -------------------------------------------------------------------------------- /source/networking/networking-ipv4.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/networking/networking-ipv4.ads -------------------------------------------------------------------------------- /source/networking/networking-ipv6.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/networking/networking-ipv6.adb -------------------------------------------------------------------------------- /source/networking/networking-ipv6.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/networking/networking-ipv6.ads -------------------------------------------------------------------------------- /source/networking/networking.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/networking/networking.adb -------------------------------------------------------------------------------- /source/networking/networking.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/networking/networking.ads -------------------------------------------------------------------------------- /source/panic.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/panic.adb -------------------------------------------------------------------------------- /source/panic.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/panic.ads -------------------------------------------------------------------------------- /source/pragmas.adc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/pragmas.adc -------------------------------------------------------------------------------- /source/rts/a-charac.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/a-charac.ads -------------------------------------------------------------------------------- /source/rts/a-chlat1.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/a-chlat1.ads -------------------------------------------------------------------------------- /source/rts/a-unccon.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/a-unccon.ads -------------------------------------------------------------------------------- /source/rts/a-uncdea.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/a-uncdea.ads -------------------------------------------------------------------------------- /source/rts/ada.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/ada.ads -------------------------------------------------------------------------------- /source/rts/i-c.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/i-c.ads -------------------------------------------------------------------------------- /source/rts/i-cstrin.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/i-cstrin.adb -------------------------------------------------------------------------------- /source/rts/i-cstrin.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/i-cstrin.ads -------------------------------------------------------------------------------- /source/rts/interfac.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/interfac.ads -------------------------------------------------------------------------------- /source/rts/riscv64-limine/system.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/riscv64-limine/system.ads -------------------------------------------------------------------------------- /source/rts/s-atacco.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-atacco.ads -------------------------------------------------------------------------------- /source/rts/s-atoope.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-atoope.ads -------------------------------------------------------------------------------- /source/rts/s-image.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-image.adb -------------------------------------------------------------------------------- /source/rts/s-image.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-image.ads -------------------------------------------------------------------------------- /source/rts/s-imgint.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-imgint.adb -------------------------------------------------------------------------------- /source/rts/s-imgint.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-imgint.ads -------------------------------------------------------------------------------- /source/rts/s-imglli.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-imglli.adb -------------------------------------------------------------------------------- /source/rts/s-imglli.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-imglli.ads -------------------------------------------------------------------------------- /source/rts/s-imgllli.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-imgllli.adb -------------------------------------------------------------------------------- /source/rts/s-imgllli.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-imgllli.ads -------------------------------------------------------------------------------- /source/rts/s-imgllu.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-imgllu.adb -------------------------------------------------------------------------------- /source/rts/s-imgllu.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-imgllu.ads -------------------------------------------------------------------------------- /source/rts/s-imguns.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-imguns.adb -------------------------------------------------------------------------------- /source/rts/s-imguns.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-imguns.ads -------------------------------------------------------------------------------- /source/rts/s-maccod.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-maccod.ads -------------------------------------------------------------------------------- /source/rts/s-stoele.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-stoele.adb -------------------------------------------------------------------------------- /source/rts/s-stoele.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-stoele.ads -------------------------------------------------------------------------------- /source/rts/s-unstyp.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/s-unstyp.ads -------------------------------------------------------------------------------- /source/rts/x86_64-limine/system.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/rts/x86_64-limine/system.ads -------------------------------------------------------------------------------- /source/runtime.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/runtime.adb -------------------------------------------------------------------------------- /source/runtime.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/runtime.ads -------------------------------------------------------------------------------- /source/scheduler.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/scheduler.adb -------------------------------------------------------------------------------- /source/scheduler.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/scheduler.ads -------------------------------------------------------------------------------- /source/synchronization.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/synchronization.adb -------------------------------------------------------------------------------- /source/synchronization.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/synchronization.ads -------------------------------------------------------------------------------- /source/time.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/time.adb -------------------------------------------------------------------------------- /source/time.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/time.ads -------------------------------------------------------------------------------- /source/userland/userland-corefile.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-corefile.adb -------------------------------------------------------------------------------- /source/userland/userland-corefile.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-corefile.ads -------------------------------------------------------------------------------- /source/userland/userland-elf.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-elf.adb -------------------------------------------------------------------------------- /source/userland/userland-elf.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-elf.ads -------------------------------------------------------------------------------- /source/userland/userland-loader.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-loader.adb -------------------------------------------------------------------------------- /source/userland/userland-loader.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-loader.ads -------------------------------------------------------------------------------- /source/userland/userland-mac.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-mac.adb -------------------------------------------------------------------------------- /source/userland/userland-mac.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-mac.ads -------------------------------------------------------------------------------- /source/userland/userland-memory_locations.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-memory_locations.ads -------------------------------------------------------------------------------- /source/userland/userland-process.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-process.adb -------------------------------------------------------------------------------- /source/userland/userland-process.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-process.ads -------------------------------------------------------------------------------- /source/userland/userland-syscall.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-syscall.adb -------------------------------------------------------------------------------- /source/userland/userland-syscall.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland-syscall.ads -------------------------------------------------------------------------------- /source/userland/userland.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/userland/userland.ads -------------------------------------------------------------------------------- /source/vfs/vfs-dev.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/vfs/vfs-dev.adb -------------------------------------------------------------------------------- /source/vfs/vfs-dev.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/vfs/vfs-dev.ads -------------------------------------------------------------------------------- /source/vfs/vfs-ext.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/vfs/vfs-ext.adb -------------------------------------------------------------------------------- /source/vfs/vfs-ext.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/vfs/vfs-ext.ads -------------------------------------------------------------------------------- /source/vfs/vfs-fat.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/vfs/vfs-fat.adb -------------------------------------------------------------------------------- /source/vfs/vfs-fat.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/vfs/vfs-fat.ads -------------------------------------------------------------------------------- /source/vfs/vfs.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/vfs/vfs.adb -------------------------------------------------------------------------------- /source/vfs/vfs.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/vfs/vfs.ads -------------------------------------------------------------------------------- /source/virtualization/virtualization.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/virtualization/virtualization.adb -------------------------------------------------------------------------------- /source/virtualization/virtualization.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/source/virtualization/virtualization.ads -------------------------------------------------------------------------------- /version.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Ironclad-Project/Ironclad/HEAD/version.sh --------------------------------------------------------------------------------