robertoxmed Goto Github PK

bao-baremetal-guest

A simple bare-metal for testing out bao

bao-demos

A guide on how to build and use a set of Bao guest configurations for various platforms

bao-docker

A docker container to compile the bao-hypervisor

bao-hypervisor

Bao, a Lightweight Static Partitioning Hypervisor

buildroot

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.

c_memory_monitor

Memory contention study for multi-core architectures

can_p2p

P2P project using CAN protocol

cv

freertos-raspi3

FreeRTOS port Raspberry Pi 3 ( 64bit / aarch64 )

ftp_client

Simple FTP client developed in C.

gsclua

Lua scripts for GSC games

hp-deskjet

PPD file for the HP deskjet 3050A

huffman

Projet AHA

jv-checkpoint

Checkpoint implementation using Juang-Venkatesan algorithm and PeerSim

mc-dag

Mixed-Criticality DAG Framework

opengl_scene

A scene using OpenGL with many animations

pres_ing

qualif

rbylua

Lua scripts for shiny hunting in RBY games

robertoxmed.github.io

Personal website

rpi3-fosdem17

Bare metal demo code for Raspberry PI 3

rtns-jrwrtc

sat_solver

SAT solver in C++

snake

A Snake game using SDL, one semester project

tacle-bench-instrumented

Instrumented version of the TACLeBench suite

up1404

Slides initiation à la ligne de commande.

xhextris

Project Hextrix using XLib

zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.