tcsantini/dosek
dOSEK - A Dependability Oriented Static Embedded Kernel
Public GitHub Catalog
Discovered Oct 3, 2026
tcsantini / linux-xlnx
The official Linux kernel from Xilinx
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.
#26860472GitHub 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)