vexec-riscv github

OpenComputers II formally verified NT-like kernel using Verus spec with IOCTL, DPC, IRQL, PatchGuard, objects behind handles, message ports, HAL, no kernel allocations. Uses Amiga Exec basic model. Verus's proc-macro2/quote & syn are stripped on spec-strip, so no deps.

Open shorekeeper/vexec-riscv on github

Platforms: —
Kind: other
Language: Rust
License: 0BSD
Stars / forks: 0 / 0
Created: 7 days ago
Last push: 7 days ago
Topics: ioctl nt-like nt-like-kernel opencomputers opencomputers-2 opencomputers-mod sedna verus zero-dependency

Badge for your README

links to this page. Markdown:

[![Listed on Amigadex](https://amigadex.com/badge.svg?style=listed)](https://amigadex.com/projects/7429)

More ways to link here: link to us, embed.

Projects that may do the same thing 10

Closest projects to vexec-riscv in the index. If they solve the same problem, the maintainers may gain more from collaborating than from building in parallel.

going-digital/execram github

58% match related

Amiga executable compressor

★ 0 · C · other · pushed 14 days ago AmigaOS 3 / 68k

Shared: rather
sidick/amiga-rom-rs github

58% match related

★ 0 · Rust · other · pushed today AmigaOS 3 / 68kAROS
mcphisto-netizen/rust-amiga github

57% match related

★ 0 · Rust · other · pushed 55 days ago AmigaOS 3 / 68k
rickz0rz/esq-decomp github

57% match related

★ 3 · Shell · other · pushed 58 days ago AmigaOS 3 / 68k
damroth/exile-lang github

57% match related

Amiga experimental language

★ 2 · C · other · pushed today AmigaOS 3 / 68kClassic hardware
elmerucr/E64-II github

57% match related

The E64-II (Enhanced 64-II) is a virtual computer system (under construction) that runs on macOS and linux. It's mainly inspired by the Commodore 64 but implements significant parts of Amiga 500 and Atari ST...

★ 3 · C++ · emulator · pushed 5 years ago · archived AmigaOS 3 / 68kEmulation

Shared: ii
elmerucr/E64-II-ROM-ASM github

57% match related

E64-II is a virtual computer system that runs on macOS and linux. It's mainly inspired by the Commodore 64 but implements significant parts of Amiga 500 and Atari ST technology as well. The software in this...

★ 1 · Assembly · emulator · pushed 5 years ago · archived Emulation

Shared: kernel ii portable
daspilker/verifyfd codeberg

57% match related

Floppy disk verification tool for AmigaOS 2.04 and newer.

★ 0 · C · utility · pushed 4 months ago AmigaOS 3 / 68k
metaneutrons/rumiga github

57% match related

Portable Rust Amiga emulator targeting desktop and ESP32-P4

★ 3 · Rust · emulator · pushed yesterday AmigaOS 3 / 68kClassic hardwareEmulation

Shared: core portable
derfsss/rust-for-amigaos4 github

56% match related

Write native AmigaOS 4.1 applications and device drivers in Rust

★ 4 · Rust · other · pushed 3 months ago AmigaOS 4Emulation

Shared: exec