Resource-Constrained Scheduling Solver based on difference logic and clause learning
This package is intended to ease construction of CORBA servers by templating actions that are common to all servers.
Fork from https://git.openrobots.org/robots/robotpkg.git
Robotpkg Work In Progress
Clone of https://git.openrobots.org/projects/robotpkg with branches prepared for the CI of other projects
Clone of https://git.openrobots.org/projects/robotpkg-wip with branches prepared for the CI of other projects
Livre d'introduction à ROS
Tor based on ABE
Modification of RISC-V softcore processor Orca.
REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection.
Run on ML605 evaluation board with UART 115200.
Generate ROM with attacks for Rehad-Orca.
MATANA Implementation on Chipyard (Rocket-Chip RISC-V Softcore processor) on ML605 board
Bootloader (@6000_0000) that receive file from UART and write to DDR (@8000_0000)
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.