diff --git a/kernel-tools.spec b/kernel-tools.spec index e3b712c..6c5831b 100644 --- a/kernel-tools.spec +++ b/kernel-tools.spec @@ -4,14 +4,14 @@ # For a stable, released kernel, released_kernel should be 1. For rawhide # and/or a kernel built from an rc or git snapshot, released_kernel should # be 0. -%global released_kernel 0 -%global baserelease 2 +%global released_kernel 1 +%global baserelease 1 %global fedora_build %{baserelease} # base_sublevel is the kernel version we're starting with and patching # on top of -- for example, 3.1-rc7-git1 starts with a 3.0 base, # which yields a base_sublevel of 0. -%global base_sublevel 2 +%global base_sublevel 3 %global base_major 6 @@ -34,7 +34,7 @@ %global upstream_major 6 # The rc snapshot level -%global rcrev 5 +%global rcrev 0 # Set rpm version accordingly %global rpmversion %{upstream_major}.%{upstream_sublevel}.0 %endif @@ -204,6 +204,18 @@ testing Linux as a black box, rtla leverages kernel tracing capabilities to provide precise information about the properties and root causes of unexpected results. +%package -n rv +Summary: RV: Runtime Verification +License: GPLv2 +%description -n rv +Runtime Verification (RV) is a lightweight (yet rigorous) method that +complements classical exhaustive verification techniques (such as model +checking and theorem proving) with a more practical approach for +complex systems. +The rv tool is the interface for a collection of monitors that aim +analysing the logical and timing behavior of Linux. + + %prep %setup -q -n kernel-%{kversion}%{?dist} -c @@ -295,6 +307,9 @@ popd pushd tools/mm/ %{tools_make} slabinfo page_owner_sort popd +pushd tools/verification/rv/ +%{tools_make} +popd pushd tools/tracing/rtla %{tools_make} popd @@ -399,6 +414,9 @@ pushd tools/mm/ install -m755 slabinfo %{buildroot}%{_bindir}/slabinfo install -m755 page_owner_sort %{buildroot}%{_bindir}/page_owner_sort popd +pushd tools/verification/rv/ +%{tools_make} DESTDIR=%{buildroot} install +popd pushd tools/tracing/rtla/ %{tools_make} DESTDIR=%{buildroot} install rm -f %{buildroot}%{_bindir}/hwnoise @@ -569,7 +587,22 @@ popd %{_mandir}/man1/rtla-timerlat.1.gz %{_mandir}/man1/rtla.1.gz +%files -n rv +%{_bindir}/rv +%{_mandir}/man1/rv-list.1.gz +%{_mandir}/man1/rv-mon-wip.1.gz +%{_mandir}/man1/rv-mon-wwnr.1.gz +%{_mandir}/man1/rv-mon.1.gz +%{_mandir}/man1/rv.1.gz + %changelog +* Mon Apr 24 2023 Justin M. Forbes - 6.3.0-1 +- Linux v6.3 +- Add rv subpackage + +* Tue Apr 18 2023 Justin M. Forbes - 6.3.0-0.rc7.git0.1 +- Linux v6.3-rc7 + * Wed Apr 05 2023 Justin M. Forbes - 6.3.0-0.rc5.git0.2 - Bump for build against new libtracefs diff --git a/sources b/sources index 28c9d81..20b538b 100644 --- a/sources +++ b/sources @@ -1,2 +1 @@ -SHA512 (linux-6.2.tar.xz) = a01bee0b968b95183934fe3504516be7ef5811944a061f5aed05ecebaa27b5eb64e33232fd0a8dd622b3c8743bfe462ef7e464d381734d111a0ad6a6d9f66ddd -SHA512 (patch-6.3-rc5.xz) = c7e114fc16fdd8be6ae516c75b6050daa93bb4be367878260e540dfaa8645d58d753188e2208f69f4468013d998da08677dbf917b10e9bc9003845d03ead8a84 +SHA512 (linux-6.3.tar.xz) = 768979440f4907ba64d4481b383d6101faf208f27a0b897156123aa278c5743fe3c4f61945b2541429c532d45382aaee8899ea9d44a1d2895bfbb79bfd937f65