Explore projects

Resource-Constrained Scheduling Solver based on difference logic and clause learning

Modèle de thèse initialement publié à git:redmine du LAAS. Télécharger et utiliser en locale (besoin latexmk + pdflatex je crois), ou en Overleaf. N'hésite pas à l'améliorer!

Ethernet MAC 10/100Mbps IP (OpenCores) with AXI4 (Lite) interface.

Has Linux driver support.

Sample and basic use of LaTeX beamer theme

Boot a 32-bit/64-bit RISC-V Linux!

With support for Matana kernel module.

For 32-bit target, the simulation with Spike or QEMU is broken, but works on real hardware. The Ethernet (opencores) support is for 32-bit only.

Linux Module for : 1) R/W mmio registers. 2) Context change send info. 3) Interrupts handler.

Bootloader (@6000_0000) that receive file from UART and write to DDR (@8000_0000)

3D model of the Gerard Bauzil experimental room.