Kernel.org git repositories
Git repositories hosted at kernel.org (dallas)
index
Name
Description
Owner
Idle
Links
pub/scm/linux
kernel/git/cmarinas/kernel-tla.git
Kernel TLA+ specs
Catalin Marinas
3 years
summary
log
tree
kernel/git/cmarinas/linux-aarch64.git
AArch64 kernel port
Catalin Marinas
7 months
summary
log
tree