Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Raspberry Pi Os | 12,387 | 8 months ago | 54 | mit | C | |||||
Learning operating system development using Linux kernel and Raspberry Pi | ||||||||||
Prawnos | 101 | 7 months ago | 54 | gpl-2.0 | Shell | |||||
Libre Mainline Kernel and Debian for arm laptops | ||||||||||
Camerasrnd | 92 | 8 months ago | gpl-3.0 | Shell | ||||||
Experiments with cheap Linux cameras | ||||||||||
Embedded Linux Education Kit | 89 | 5 months ago | HTML | |||||||
Develop an embedded Linux system on low-cost Arm based platforms | ||||||||||
Seals | 52 | 4 months ago | 1 | bsd-2-clause | Shell | |||||
Simple Embedded ARM Linux System | ||||||||||
Rtmux | 35 | 10 years ago | 2 | C | ||||||
A lightweight para-virtualization layer to provide real-time environments for Linux/ARM. | ||||||||||
Bbb Linux Device Driver | 20 | 2 years ago | n,ull | C | ||||||
[OLD] Practical Linux device driver programming, discuss about source code Kernel. Using Kernel API, implement device and driver then build on Beagle Bone Black. | ||||||||||
Empty Sixty Five | 14 | 5 months ago | Python | |||||||
My notes on old Mediatek devices (mt65xx, and kernel 3.4.x). Some info might be useful for developing mainline linux kernel. | ||||||||||
Rpi Os | 12 | a year ago | gpl-3.0 | C | ||||||
:balloon: A simple os in Raspberry Pi 3B | ||||||||||
Linux | 8 | 2 years ago | n,ull | other | C | |||||
Open-source Linux kernel work in progress. Officially maintained repositories are under kernel.org (Samsung SoC, Samsung pinctrl, memory controller drivers). |