- Lucerne, Switzerland
- https://orcid.org/0009-0003-5422-5758
-
linux-c Public
A collection of Linux kernel codes. Verified working and running on hardware (RPi 3b, 64) with a small Labgrid setup.
-
docker__peta-vivado Public
General staged docker container for the Xilinx/Vivado+Petalinux build environment.
-
labgrid Public
Forked from labgrid-project/labgridembedded systems control library for development, testing and installation
Python Other UpdatedSep 3, 2024 -
ansible__raspberry Public
bootstrap and labgrid setup, rpi3b provisioning with ansible demo
Vim Script MIT License UpdatedAug 30, 2024 -
-
-
python__crypto Public
some just-for-fun cryptography snippets in python
Python GNU General Public License v3.0 UpdatedApr 30, 2024 -
Linux_Driver_Tutorial Public
Forked from Johannes4Linux/Linux_Driver_Tutorial_legacyA Tutorial how to get started with Linux Kernel Modules and Linux Drivers.
C The Unlicense UpdatedFeb 18, 2024 -
-
-
-
-
zephyr Public
Forked from zephyrproject-rtos/zephyrPrimary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
C Apache License 2.0 UpdatedDec 29, 2022 -
yosys Public
Forked from YosysHQ/yosysYosys Open SYnthesis Suite
C++ ISC License UpdatedDec 29, 2022 -
-
openwrt Public
Forked from openwrt/openwrtThis repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins or for reporting issues. We will continue to accept Pull Requests…
C Other UpdatedDec 29, 2022 -
nextpnr Public
Forked from YosysHQ/nextpnrnextpnr portable FPGA place and route tool
C++ ISC License UpdatedDec 29, 2022 -
-
libkcapi Public
Forked from smuellerDD/libkcapiLinux Kernel Crypto API User Space Interface Library
C Other UpdatedDec 29, 2022 -
can-utils Public
Forked from linux-can/can-utilsLinux-CAN / SocketCAN user space applications
C UpdatedDec 29, 2022 -
buildroot Public
Forked from buildroot/buildrootBuildroot, 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…
Makefile Other UpdatedDec 29, 2022 -
riscv-bringup Public
Forked from carlosedp/riscv-bringupRisc-V journey thru containers and new projects
Shell UpdatedDec 4, 2022 -
quartus-install Public
Forked from CTSRD-CHERI/quartus-installInstall Intel FPGA 'Quartus Prime' software on remote servers
Python UpdatedSep 4, 2022 -
meta-altera Public
Forked from kraj/meta-alteraOfficial Altera metadata machine layer for OpenEmbedded
HTML MIT License UpdatedSep 4, 2022 -
xilinx-hw-server-docker Public
Forked from sstaehli/xilinx-hw-server-dockerRun a Xilinx hw_server in a Docker container
-
buildroot-at91 Public
Forked from linux4sam/buildroot-at91Buildroot for Microchip SoC (aka AT91) - use with buildroot external tree
Makefile Other UpdatedJan 11, 2022 -
emba Public
Forked from e-m-b-a/embaEMBA - The security analyzer for embedded device firmware.
Shell GNU General Public License v3.0 UpdatedDec 28, 2021 -
docker__cyclone-v__de1-soc-fpga Public archive
docker for Terrasic's Cyclone V SoC FPGA board: DE1-SoC
Emacs Lisp GNU General Public License v3.0 UpdatedNov 2, 2021 -
cukinia Public
Forked from savoirfairelinux/cukiniaA simple on-target system test framework for Linux
Shell Apache License 2.0 UpdatedOct 4, 2021 -
DABDUINO Public
Forked from turbyho/DABDUINOThe DABDUINO is DAB/DAB+/FM Arduino shield with 32-bit, 384kHz PCM DAC (cinch) + Toslink optical digital audio output.
C++ Other UpdatedJan 23, 2021