GitHub - LITMUS-RT/tools: Miscellaneous LITMUS^RT tools (not supported).

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
sample-config		sample-config
arm-installer-common.sh		arm-installer-common.sh
bootkernel.grub		bootkernel.grub
compile-all-commits.sh		compile-all-commits.sh
enable-cycle-counter.district10		enable-cycle-counter.district10
etc_grub.d_10_linux.bonham		etc_grub.d_10_linux.bonham
etc_grub.d_15_litmus.bonham		etc_grub.d_15_litmus.bonham
files_added_since		files_added_since
files_modified_since		files_modified_since
flags.py		flags.py
gsh		gsh
install_kernel.bonham		install_kernel.bonham
install_kernel.district10		install_kernel.district10
install_kernel.flare		install_kernel.flare
install_kernel.jupiter-cs		install_kernel.jupiter-cs
kvm-pull-traces.sh		kvm-pull-traces.sh
kvm-push-liblitmus.sh		kvm-push-liblitmus.sh
kvm-run-kernel.sh		kvm-run-kernel.sh
make-shared-repo		make-shared-repo
make_release		make_release
odroid-boot-sample.txt		odroid-boot-sample.txt
odroid-install-kernel.sh		odroid-install-kernel.sh
panda-boot-sample.txt		panda-boot-sample.txt
panda-install-kernel.sh		panda-install-kernel.sh
pound-install-kernel.sh		pound-install-kernel.sh
powermanager.py		powermanager.py
resolve-symlink.py		resolve-symlink.py
set_repo_rights		set_repo_rights
show_asm		show_asm
slog.vim		slog.vim
tex-un-include		tex-un-include
zapmod		zapmod
zaptrail		zaptrail