├── .asm-lsp.toml ├── .cargo └── config.toml ├── .commit-emoji.toml ├── .github ├── dependabot.yml └── workflows │ └── build.yml ├── .gitignore ├── .gitpod.Dockerfile ├── .gitpod.yml ├── .zed └── settings.json ├── CHANGELOG.md ├── Cargo.lock ├── Cargo.toml ├── Justfile ├── LICENSE.BlueOak-1.0.0.md ├── Makefile.toml ├── README.md ├── bin ├── chainboot │ ├── Cargo.toml │ ├── Makefile.toml │ ├── build.rs │ ├── src │ │ ├── boot.rs │ │ ├── boot.s │ │ ├── lib.rs │ │ ├── link.ld │ │ └── main.rs │ └── tests │ │ ├── chainboot.rs │ │ └── common │ │ └── mod.rs └── chainofcommand │ ├── Cargo.toml │ ├── Makefile.toml │ └── src │ └── main.rs ├── clippy.toml ├── cog.toml ├── doc ├── CodeOfConduct.md ├── bcm2711-peripherals.pdf ├── rpi2rpi_jtag │ └── rpi3_interface_bcm.cfg ├── rpi3_config.txt ├── rpi3_jtag.md ├── rpi3_serial.md ├── source_section_divider.txt └── target-triples.md ├── emulation ├── .gitignore ├── instructions.txt ├── layout.zellij ├── qemu_multi_uart.sh └── zellij-config.example ├── libs ├── boot │ ├── .cargo │ │ └── config.toml │ ├── Cargo.toml │ └── src │ │ ├── arch │ │ ├── aarch64 │ │ │ ├── boot.rs │ │ │ ├── boot.s │ │ │ └── mod.rs │ │ └── mod.rs │ │ └── lib.rs ├── console │ ├── Cargo.toml │ └── src │ │ ├── console │ │ ├── mod.rs │ │ ├── null_console.rs │ │ └── sys_console.rs │ │ ├── lib.rs │ │ └── write_to.rs ├── cpu │ ├── Cargo.toml │ └── src │ │ ├── arch │ │ ├── README.md │ │ ├── aarch64 │ │ │ ├── mod.rs │ │ │ └── smp.rs │ │ └── mod.rs │ │ └── lib.rs ├── driver │ ├── Cargo.toml │ └── src │ │ ├── drivers.rs │ │ └── lib.rs ├── exception │ ├── Cargo.toml │ └── src │ │ ├── arch │ │ ├── aarch64 │ │ │ ├── exception │ │ │ │ ├── mod.rs │ │ │ │ ├── traps.rs │ │ │ │ └── vectors.S │ │ │ ├── linker │ │ │ │ └── aarch64-exceptions.ld │ │ │ └── mod.rs │ │ └── mod.rs │ │ ├── exception │ │ ├── asynchronous │ │ │ └── mod.rs │ │ └── mod.rs │ │ └── lib.rs ├── kernel-state │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── local-irq │ ├── Cargo.toml │ └── src │ │ ├── arch │ │ ├── aarch64 │ │ │ ├── exception │ │ │ │ ├── asynchronous.rs │ │ │ │ └── mod.rs │ │ │ └── mod.rs │ │ └── mod.rs │ │ └── lib.rs ├── locking │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── log │ ├── Cargo.toml │ └── src │ │ ├── __private_api.rs │ │ ├── lib.rs │ │ └── macros.rs ├── machine │ ├── Cargo.toml │ └── src │ │ ├── debug │ │ ├── jtag.rs │ │ └── mod.rs │ │ ├── lib.rs │ │ └── panic.rs ├── memory │ ├── Cargo.toml │ └── src │ │ ├── arch │ │ ├── aarch64 │ │ │ ├── README.md │ │ │ ├── addr │ │ │ │ ├── asid.rs │ │ │ │ └── mod.rs │ │ │ ├── mmu │ │ │ │ ├── mod.rs │ │ │ │ └── translation_table.rs │ │ │ └── mod.rs │ │ └── mod.rs │ │ ├── lib.rs │ │ ├── mm │ │ ├── bump_allocator.rs │ │ └── mod.rs │ │ ├── mmu │ │ ├── mapping_record.rs │ │ ├── mod.rs │ │ ├── page_alloc.rs │ │ ├── translation_table.rs │ │ ├── types.rs │ │ └── unused.rs │ │ ├── phys_addr.rs │ │ ├── platform │ │ ├── README.md │ │ ├── mod.rs │ │ └── raspberrypi │ │ │ ├── memory │ │ │ ├── mmu.rs │ │ │ └── mod.rs │ │ │ └── mod.rs │ │ └── virt_addr.rs ├── platform │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── platform │ │ ├── README.md │ │ ├── mod.rs │ │ └── raspberrypi │ │ ├── cpu.rs │ │ ├── device_driver │ │ ├── arm │ │ │ ├── gicv2 │ │ │ │ ├── gicc.rs │ │ │ │ ├── gicd.rs │ │ │ │ └── mod.rs │ │ │ └── mod.rs │ │ ├── bcm │ │ │ ├── gpio.rs │ │ │ ├── interrupt_controller │ │ │ │ ├── mod.rs │ │ │ │ └── peripheral_ic.rs │ │ │ ├── mailbox.rs │ │ │ ├── mailbox_refactor.rs │ │ │ ├── mini_uart.rs │ │ │ ├── mod.rs │ │ │ ├── pl011_uart.rs │ │ │ └── power.rs │ │ ├── common.rs │ │ └── mod.rs │ │ ├── display.rs │ │ ├── drivers.rs │ │ ├── exception │ │ ├── asynchronous.rs │ │ └── mod.rs │ │ ├── fb.rs │ │ ├── linker │ │ └── kernel.ld │ │ ├── mod.rs │ │ └── vc.rs ├── primitives │ ├── Cargo.toml │ └── src │ │ ├── cpu.rs │ │ └── lib.rs ├── qemu │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── test │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── panic.rs └── time │ ├── Cargo.toml │ └── src │ ├── arch │ ├── aarch64 │ │ ├── mod.rs │ │ └── time.rs │ └── mod.rs │ ├── lib.rs │ └── time.rs ├── nucleus ├── Cargo.toml ├── Makefile.toml ├── build.rs ├── src │ └── main.rs └── tests │ ├── common │ └── mod.rs │ ├── console.rs │ ├── exception.rs │ ├── locking.rs │ ├── memory.rs │ ├── nucleus.rs │ └── platform.rs ├── ocd ├── rpi3_target.cfg └── rpi4_target.cfg ├── old.taplo.toml ├── rust-toolchain.toml ├── rustfmt.toml ├── targets ├── README.md ├── aarch64-metta-none-eabi.json ├── bcm2710-rpi-3-b-plus.dtb ├── bcm2711-rpi-4-b.dtb └── bcm2711-rpi-400.dtb └── tombi.toml /.asm-lsp.toml: -------------------------------------------------------------------------------- 1 | [default_config] 2 | assembler = "gas" 3 | instruction_set = "arm64" 4 | -------------------------------------------------------------------------------- /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.commit-emoji.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/.commit-emoji.toml -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitpod.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/.gitpod.Dockerfile -------------------------------------------------------------------------------- /.gitpod.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/.gitpod.yml -------------------------------------------------------------------------------- /.zed/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/.zed/settings.json -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Justfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/Justfile -------------------------------------------------------------------------------- /LICENSE.BlueOak-1.0.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/LICENSE.BlueOak-1.0.0.md -------------------------------------------------------------------------------- /Makefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/Makefile.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/README.md -------------------------------------------------------------------------------- /bin/chainboot/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainboot/Cargo.toml -------------------------------------------------------------------------------- /bin/chainboot/Makefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainboot/Makefile.toml -------------------------------------------------------------------------------- /bin/chainboot/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainboot/build.rs -------------------------------------------------------------------------------- /bin/chainboot/src/boot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainboot/src/boot.rs -------------------------------------------------------------------------------- /bin/chainboot/src/boot.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainboot/src/boot.s -------------------------------------------------------------------------------- /bin/chainboot/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainboot/src/lib.rs -------------------------------------------------------------------------------- /bin/chainboot/src/link.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainboot/src/link.ld -------------------------------------------------------------------------------- /bin/chainboot/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainboot/src/main.rs -------------------------------------------------------------------------------- /bin/chainboot/tests/chainboot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainboot/tests/chainboot.rs -------------------------------------------------------------------------------- /bin/chainboot/tests/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainboot/tests/common/mod.rs -------------------------------------------------------------------------------- /bin/chainofcommand/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainofcommand/Cargo.toml -------------------------------------------------------------------------------- /bin/chainofcommand/Makefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainofcommand/Makefile.toml -------------------------------------------------------------------------------- /bin/chainofcommand/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/bin/chainofcommand/src/main.rs -------------------------------------------------------------------------------- /clippy.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/clippy.toml -------------------------------------------------------------------------------- /cog.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/cog.toml -------------------------------------------------------------------------------- /doc/CodeOfConduct.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/doc/CodeOfConduct.md -------------------------------------------------------------------------------- /doc/bcm2711-peripherals.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/doc/bcm2711-peripherals.pdf -------------------------------------------------------------------------------- /doc/rpi2rpi_jtag/rpi3_interface_bcm.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/doc/rpi2rpi_jtag/rpi3_interface_bcm.cfg -------------------------------------------------------------------------------- /doc/rpi3_config.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/doc/rpi3_config.txt -------------------------------------------------------------------------------- /doc/rpi3_jtag.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/doc/rpi3_jtag.md -------------------------------------------------------------------------------- /doc/rpi3_serial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/doc/rpi3_serial.md -------------------------------------------------------------------------------- /doc/source_section_divider.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/doc/source_section_divider.txt -------------------------------------------------------------------------------- /doc/target-triples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/doc/target-triples.md -------------------------------------------------------------------------------- /emulation/.gitignore: -------------------------------------------------------------------------------- 1 | zellij-config.sh 2 | -------------------------------------------------------------------------------- /emulation/instructions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/emulation/instructions.txt -------------------------------------------------------------------------------- /emulation/layout.zellij: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/emulation/layout.zellij -------------------------------------------------------------------------------- /emulation/qemu_multi_uart.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/emulation/qemu_multi_uart.sh -------------------------------------------------------------------------------- /emulation/zellij-config.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/emulation/zellij-config.example -------------------------------------------------------------------------------- /libs/boot/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/boot/.cargo/config.toml -------------------------------------------------------------------------------- /libs/boot/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/boot/Cargo.toml -------------------------------------------------------------------------------- /libs/boot/src/arch/aarch64/boot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/boot/src/arch/aarch64/boot.rs -------------------------------------------------------------------------------- /libs/boot/src/arch/aarch64/boot.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/boot/src/arch/aarch64/boot.s -------------------------------------------------------------------------------- /libs/boot/src/arch/aarch64/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod boot; 2 | -------------------------------------------------------------------------------- /libs/boot/src/arch/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod aarch64; 2 | -------------------------------------------------------------------------------- /libs/boot/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/boot/src/lib.rs -------------------------------------------------------------------------------- /libs/console/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/console/Cargo.toml -------------------------------------------------------------------------------- /libs/console/src/console/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/console/src/console/mod.rs -------------------------------------------------------------------------------- /libs/console/src/console/null_console.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/console/src/console/null_console.rs -------------------------------------------------------------------------------- /libs/console/src/console/sys_console.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/console/src/console/sys_console.rs -------------------------------------------------------------------------------- /libs/console/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/console/src/lib.rs -------------------------------------------------------------------------------- /libs/console/src/write_to.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/console/src/write_to.rs -------------------------------------------------------------------------------- /libs/cpu/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/cpu/Cargo.toml -------------------------------------------------------------------------------- /libs/cpu/src/arch/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/cpu/src/arch/README.md -------------------------------------------------------------------------------- /libs/cpu/src/arch/aarch64/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/cpu/src/arch/aarch64/mod.rs -------------------------------------------------------------------------------- /libs/cpu/src/arch/aarch64/smp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/cpu/src/arch/aarch64/smp.rs -------------------------------------------------------------------------------- /libs/cpu/src/arch/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/cpu/src/arch/mod.rs -------------------------------------------------------------------------------- /libs/cpu/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/cpu/src/lib.rs -------------------------------------------------------------------------------- /libs/driver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/driver/Cargo.toml -------------------------------------------------------------------------------- /libs/driver/src/drivers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/driver/src/drivers.rs -------------------------------------------------------------------------------- /libs/driver/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/driver/src/lib.rs -------------------------------------------------------------------------------- /libs/exception/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/exception/Cargo.toml -------------------------------------------------------------------------------- /libs/exception/src/arch/aarch64/exception/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/exception/src/arch/aarch64/exception/mod.rs -------------------------------------------------------------------------------- /libs/exception/src/arch/aarch64/exception/traps.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/exception/src/arch/aarch64/exception/traps.rs -------------------------------------------------------------------------------- /libs/exception/src/arch/aarch64/exception/vectors.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/exception/src/arch/aarch64/exception/vectors.S -------------------------------------------------------------------------------- /libs/exception/src/arch/aarch64/linker/aarch64-exceptions.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/exception/src/arch/aarch64/linker/aarch64-exceptions.ld -------------------------------------------------------------------------------- /libs/exception/src/arch/aarch64/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod exception; 2 | -------------------------------------------------------------------------------- /libs/exception/src/arch/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod aarch64; 2 | -------------------------------------------------------------------------------- /libs/exception/src/exception/asynchronous/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/exception/src/exception/asynchronous/mod.rs -------------------------------------------------------------------------------- /libs/exception/src/exception/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/exception/src/exception/mod.rs -------------------------------------------------------------------------------- /libs/exception/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/exception/src/lib.rs -------------------------------------------------------------------------------- /libs/kernel-state/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/kernel-state/Cargo.toml -------------------------------------------------------------------------------- /libs/kernel-state/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/kernel-state/src/lib.rs -------------------------------------------------------------------------------- /libs/local-irq/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/local-irq/Cargo.toml -------------------------------------------------------------------------------- /libs/local-irq/src/arch/aarch64/exception/asynchronous.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/local-irq/src/arch/aarch64/exception/asynchronous.rs -------------------------------------------------------------------------------- /libs/local-irq/src/arch/aarch64/exception/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod asynchronous; 2 | -------------------------------------------------------------------------------- /libs/local-irq/src/arch/aarch64/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod exception; 2 | -------------------------------------------------------------------------------- /libs/local-irq/src/arch/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/local-irq/src/arch/mod.rs -------------------------------------------------------------------------------- /libs/local-irq/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/local-irq/src/lib.rs -------------------------------------------------------------------------------- /libs/locking/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/locking/Cargo.toml -------------------------------------------------------------------------------- /libs/locking/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/locking/src/lib.rs -------------------------------------------------------------------------------- /libs/log/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/log/Cargo.toml -------------------------------------------------------------------------------- /libs/log/src/__private_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/log/src/__private_api.rs -------------------------------------------------------------------------------- /libs/log/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/log/src/lib.rs -------------------------------------------------------------------------------- /libs/log/src/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/log/src/macros.rs -------------------------------------------------------------------------------- /libs/machine/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/machine/Cargo.toml -------------------------------------------------------------------------------- /libs/machine/src/debug/jtag.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/machine/src/debug/jtag.rs -------------------------------------------------------------------------------- /libs/machine/src/debug/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/machine/src/debug/mod.rs -------------------------------------------------------------------------------- /libs/machine/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/machine/src/lib.rs -------------------------------------------------------------------------------- /libs/machine/src/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/machine/src/panic.rs -------------------------------------------------------------------------------- /libs/memory/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/Cargo.toml -------------------------------------------------------------------------------- /libs/memory/src/arch/aarch64/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/arch/aarch64/README.md -------------------------------------------------------------------------------- /libs/memory/src/arch/aarch64/addr/asid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/arch/aarch64/addr/asid.rs -------------------------------------------------------------------------------- /libs/memory/src/arch/aarch64/addr/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/arch/aarch64/addr/mod.rs -------------------------------------------------------------------------------- /libs/memory/src/arch/aarch64/mmu/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/arch/aarch64/mmu/mod.rs -------------------------------------------------------------------------------- /libs/memory/src/arch/aarch64/mmu/translation_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/arch/aarch64/mmu/translation_table.rs -------------------------------------------------------------------------------- /libs/memory/src/arch/aarch64/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/arch/aarch64/mod.rs -------------------------------------------------------------------------------- /libs/memory/src/arch/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/arch/mod.rs -------------------------------------------------------------------------------- /libs/memory/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/lib.rs -------------------------------------------------------------------------------- /libs/memory/src/mm/bump_allocator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/mm/bump_allocator.rs -------------------------------------------------------------------------------- /libs/memory/src/mm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/mm/mod.rs -------------------------------------------------------------------------------- /libs/memory/src/mmu/mapping_record.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/mmu/mapping_record.rs -------------------------------------------------------------------------------- /libs/memory/src/mmu/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/mmu/mod.rs -------------------------------------------------------------------------------- /libs/memory/src/mmu/page_alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/mmu/page_alloc.rs -------------------------------------------------------------------------------- /libs/memory/src/mmu/translation_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/mmu/translation_table.rs -------------------------------------------------------------------------------- /libs/memory/src/mmu/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/mmu/types.rs -------------------------------------------------------------------------------- /libs/memory/src/mmu/unused.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/mmu/unused.rs -------------------------------------------------------------------------------- /libs/memory/src/phys_addr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/phys_addr.rs -------------------------------------------------------------------------------- /libs/memory/src/platform/README.md: -------------------------------------------------------------------------------- 1 | Temp, until libplatform is introduced. 2 | -------------------------------------------------------------------------------- /libs/memory/src/platform/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/platform/mod.rs -------------------------------------------------------------------------------- /libs/memory/src/platform/raspberrypi/memory/mmu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/platform/raspberrypi/memory/mmu.rs -------------------------------------------------------------------------------- /libs/memory/src/platform/raspberrypi/memory/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/platform/raspberrypi/memory/mod.rs -------------------------------------------------------------------------------- /libs/memory/src/platform/raspberrypi/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod memory; 2 | -------------------------------------------------------------------------------- /libs/memory/src/virt_addr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/memory/src/virt_addr.rs -------------------------------------------------------------------------------- /libs/platform/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/Cargo.toml -------------------------------------------------------------------------------- /libs/platform/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/lib.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/README.md -------------------------------------------------------------------------------- /libs/platform/src/platform/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/mod.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/cpu.rs: -------------------------------------------------------------------------------- 1 | pub const BOOT_CORE_ID: u64 = 0; 2 | -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/arm/gicv2/gicc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/arm/gicv2/gicc.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/arm/gicv2/gicd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/arm/gicv2/gicd.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/arm/gicv2/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/arm/gicv2/mod.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/arm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/arm/mod.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/bcm/gpio.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/bcm/gpio.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/bcm/interrupt_controller/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/bcm/interrupt_controller/mod.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/bcm/interrupt_controller/peripheral_ic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/bcm/interrupt_controller/peripheral_ic.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/bcm/mailbox.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/bcm/mailbox.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/bcm/mailbox_refactor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/bcm/mailbox_refactor.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/bcm/mini_uart.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/bcm/mini_uart.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/bcm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/bcm/mod.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/bcm/pl011_uart.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/bcm/pl011_uart.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/bcm/power.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/bcm/power.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/common.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/device_driver/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/device_driver/mod.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/display.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/display.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/drivers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/drivers.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/exception/asynchronous.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/exception/asynchronous.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/exception/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod asynchronous; 2 | -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/fb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/fb.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/linker/kernel.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/linker/kernel.ld -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/mod.rs -------------------------------------------------------------------------------- /libs/platform/src/platform/raspberrypi/vc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/platform/src/platform/raspberrypi/vc.rs -------------------------------------------------------------------------------- /libs/primitives/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/primitives/Cargo.toml -------------------------------------------------------------------------------- /libs/primitives/src/cpu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/primitives/src/cpu.rs -------------------------------------------------------------------------------- /libs/primitives/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/primitives/src/lib.rs -------------------------------------------------------------------------------- /libs/qemu/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/qemu/Cargo.toml -------------------------------------------------------------------------------- /libs/qemu/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/qemu/src/lib.rs -------------------------------------------------------------------------------- /libs/test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/test/Cargo.toml -------------------------------------------------------------------------------- /libs/test/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/test/src/lib.rs -------------------------------------------------------------------------------- /libs/test/src/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/test/src/panic.rs -------------------------------------------------------------------------------- /libs/time/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/time/Cargo.toml -------------------------------------------------------------------------------- /libs/time/src/arch/aarch64/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod time; 2 | -------------------------------------------------------------------------------- /libs/time/src/arch/aarch64/time.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/time/src/arch/aarch64/time.rs -------------------------------------------------------------------------------- /libs/time/src/arch/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod aarch64; 2 | -------------------------------------------------------------------------------- /libs/time/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/time/src/lib.rs -------------------------------------------------------------------------------- /libs/time/src/time.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/libs/time/src/time.rs -------------------------------------------------------------------------------- /nucleus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/Cargo.toml -------------------------------------------------------------------------------- /nucleus/Makefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/Makefile.toml -------------------------------------------------------------------------------- /nucleus/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/build.rs -------------------------------------------------------------------------------- /nucleus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/src/main.rs -------------------------------------------------------------------------------- /nucleus/tests/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/tests/common/mod.rs -------------------------------------------------------------------------------- /nucleus/tests/console.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/tests/console.rs -------------------------------------------------------------------------------- /nucleus/tests/exception.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/tests/exception.rs -------------------------------------------------------------------------------- /nucleus/tests/locking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/tests/locking.rs -------------------------------------------------------------------------------- /nucleus/tests/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/tests/memory.rs -------------------------------------------------------------------------------- /nucleus/tests/nucleus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/tests/nucleus.rs -------------------------------------------------------------------------------- /nucleus/tests/platform.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/nucleus/tests/platform.rs -------------------------------------------------------------------------------- /ocd/rpi3_target.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/ocd/rpi3_target.cfg -------------------------------------------------------------------------------- /ocd/rpi4_target.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/ocd/rpi4_target.cfg -------------------------------------------------------------------------------- /old.taplo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/old.taplo.toml -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- 1 | imports_granularity = "One" 2 | -------------------------------------------------------------------------------- /targets/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/targets/README.md -------------------------------------------------------------------------------- /targets/aarch64-metta-none-eabi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/targets/aarch64-metta-none-eabi.json -------------------------------------------------------------------------------- /targets/bcm2710-rpi-3-b-plus.dtb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/targets/bcm2710-rpi-3-b-plus.dtb -------------------------------------------------------------------------------- /targets/bcm2711-rpi-4-b.dtb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/targets/bcm2711-rpi-4-b.dtb -------------------------------------------------------------------------------- /targets/bcm2711-rpi-400.dtb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/targets/bcm2711-rpi-400.dtb -------------------------------------------------------------------------------- /tombi.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/metta-systems/vesper/HEAD/tombi.toml --------------------------------------------------------------------------------