Kernel.org git repositories

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