GitHub - jwhitham/ppc_linux: Linux for Freescale PPC dev boards

Name		Name	Last commit message	Last commit date
Documentation		Documentation
arch		arch
block		block
crypto		crypto
drivers		drivers
firmware		firmware
fs		fs
include		include
init		init
ipc		ipc
kernel		kernel
lib		lib
mm		mm
net		net
rvs_library		rvs_library
rvs_library_test		rvs_library_test
rvs_loop_test		rvs_loop_test
rvs_module		rvs_module
samples		samples
scripts		scripts
security		security
sound		sound
tools		tools
usr		usr
virt/kvm		virt/kvm
.config		.config
.gitignore		.gitignore
COPYING		COPYING
CREDITS		CREDITS
Kbuild		Kbuild
Kconfig		Kconfig
MAINTAINERS		MAINTAINERS
Makefile		Makefile
README		README
README.linux		README.linux
REPORTING-BUGS		REPORTING-BUGS
create_reverse_map.py		create_reverse_map.py
crossbuild		crossbuild
localversion-rt		localversion-rt
view_reverse_map.py		view_reverse_map.py

Repository files navigation

Linux for P1020/P1022-series development boards (PowerPC E500)

Based on Freescale Linux 3.12.37:
   http://git.freescale.com/git/cgit.cgi/ppc/sdk/linux.git/
   
This Linux kernel has instrumentation for measurement-based 
worst-case execution time (WCET) analysis of applications
using the Rapita Verification Suite (RVS). For general
details about Rapita's solutions for real-time software
verification and development, see http://www.rapitasystems.com/.