Lukas Bulwahn's starred repositories
thread-safety-analysis
A research project into applying Clang's Thread Safety Analysis to the Linux Kernel
grep-linux-patch-statistics
Scripts to show tool impact on recent linux kernel development
osposurvey
Open Source Programs (OSPO) Survey
linux-kernel-defence-map
Linux Kernel Defence Map shows the relationships between vulnerability classes, exploitation techniques, bug detection mechanisms, and defence technologies
ros_realtime_tests
Tests for validating the real-time capabilities of the ROS middleware
beagle-ros
Integration of the Robot Operative System (ROS) and the BeagleBone.