Skip to content
KitploitKITPLOIT
StrumentiBlog
Invia
StrumentiBlog
Invia

Strumenti di Hacking, PenTest e Cybersecurity per il tuo Arsenale di Sicurezza!

Kitploit è una directory di strumenti di hacking, cybersecurity e pentesting. Scopri gli ultimi aggiornamenti dei progetti per trovare vulnerabilità, analizzare sistemi, automatizzare i test e rafforzare la tua sicurezza.

··Feed·Contatto·Privacy·© 2026 Kitploit

Directory degli strumenti

Categorie

Vedi tutte le categorie
Loading categories
boxlambda — Sandbox per microcomputer basato su FPGA per sperimentazione software e RTL | Kitploit
Strumenti/GitHubGitHub/epsilon537/boxlambda
Sicurezza Sistemi EmbeddedReverse EngineeringDebuggerVirtualizzazione per la SicurezzaHacking HardwareSicurezza HardwareApprendimento e FormazioneAnalisi del Firmware
GitHubepsilon537/boxlambda

boxlambda

Sandbox per microcomputer basato su FPGA per sperimentazione software e RTL

Vedi Repository
8223 mesi faRevisionato da Kitploit

Più Popolari

Vedi tutti →

Scopri gli strumenti più utilizzati dalla nostra community.

Esplora tutti gli strumenti

Sfoglia la nostra collezione di strumenti

Vedi tutti gli strumenti →
Condividi

Informazioni su BoxLambda

BoxLambda è un progetto che unisce hardware e software per creare un microcomputer homebrew in stile retrò basato su FPGA. L'obiettivo è creare un ambiente sandbox per sperimentare con software e gateware FPGA.

Configurazione fisica

La configurazione fisica.

La configurazione fisica.

Funzionalità attuali

  • FPGA di destinazione: Arty-A7-100T.
  • Core Ibex RISC-V con timer macchina e supporto per interruzioni hardware.
  • Interconnessione basata su architettura Harvard.
  • Accesso a bassa latenza a registri e memoria su tutto il SoC.
  • Conteggi di cicli di istruzioni prevedibili.
  • Supporto per riconfigurazione parziale DFX FPGA.
  • Accesso alla memoria esterna DDR3 tramite il controller di memoria Litex.
  • Accesso di debug basato su OpenOCD su FPGA e Verilator.
  • Grafica VGA basata su VERA: 2 livelli, modalità tile o bitmap, 2 banchi di 64 sprite, 128KB di Video RAM, palette di 256 colori.
  • Audio PSG duale YM2149.
  • Controller per SD Card e File System FatFs.
  • GPIO a 24 pin, UART, Controller Flash SPI, Controller I2C.
  • Supporto per orologio e calendario in tempo reale (RTCC).
  • Supporto per tastiera e mouse USB HID.
  • Ambiente C standard basato su Picolibc.
  • Suite di applicazioni di test che copre tutti i componenti SoC, funzionante sia su FPGA che su Verilator.
  • Core Mecrisp Forth + C FFI.

Diagramma a blocchi del gateware

Diagramma a blocchi del gateware BoxLambda.

Diagramma a blocchi del software

Architettura del sistema operativo BoxLambda.

Diagramma a blocchi dell'architettura del sistema operativo BoxLambda.

Obiettivi principali

  • Creare un sandbox per sperimentare con software e gateware FPGA:

    • Dovrebbe essere facile iniziare e fare qualcosa: creare, hackerare, armeggiare.
      • Abbastanza semplice per una persona: Un individuo motivato può sviluppare una solida comprensione dell'intero sistema, compresi software e hardware.
      • Comportamento deterministico: La durata di operazioni come l'accesso alla memoria interna o ai registri deve essere prevedibile per progettazione.
      • Ambiente runtime autonomo che supporta programmazione interattiva di alto livello e programmazione di sistema di basso livello.
    • Creare un'architettura modulare che consenta una combinazione di componenti software e hardware. Opzionalmente, supportare la riconfigurazione parziale FPGA.
  • Hardware di destinazione: Arty-A7 di Digilent.

  • Il computer supporta le seguenti periferiche:

    • Tastiera USB HID
    • Mouse USB HID (opzionale)
    • Joystick USB HID (opzionale)
    • Orologio e calendario in tempo reale (opzionale)
    • Porta seriale
    • Archiviazione su scheda SD
    • Archiviazione su memoria Flash
    • Display VGA
    • Uscita audio
  • Il supporto audio e grafico consente demo 2D in stile retrò e gameplay.

Stato (aprile 2026)

  • Infrastruttura (sistema di build, ecc.): Completata.
  • Gateware: Completato e soddisfa i requisiti.
  • Software: Sviluppo in corso.
    • Architettura del sistema operativo: definita.
    • Core C di BoxLambda: parzialmente completato.
    • Core Mecrisp Forth: completato.
    • Ambiente Mecrisp Forth: parzialmente completato.
    • FFI Forth<->C: completata.
    • Livello del filesystem: completato.

Registro delle modifiche

  • Registro delle modifiche

Collegamenti

  • Codice sorgente: https://github.com/epsilon537/boxlambda/
  • Blog del progetto: https://epsilon537.github.io/boxlambda/

Documentazione

  • Inizia qui
  • Indice completo della documentazione
Scarica lo strumento