tcsantini/linux-xlnx
The official Linux kernel from Xilinx
Public GitHub Catalog
Discovered Oct 3, 2026
tcsantini / dosek
dOSEK - A Dependability Oriented Static Embedded Kernel
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#27272301GitHub System ID
tcsantiniOrganization / User
PublicVisibility
ActiveCatalog Status
More from tcsantini
tcsantini/workrave
Workrave is a program that assists in the recovery and prevention of Repetitive Strain Injury (RSI). The program frequently alerts you to take micro-pauses, rest breaks and restricts you to your daily limit.
tcsantini/neovim
vim for the 21st century
tcsantini/libplatsupport
OS independent basic driver library (mostly timers, serial, clocks)