rpms/kernel
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

kernel-6.4.0-0.rc5.41

Browse source 
* Mon Jun 05 2023 Fedora Kernel Team <kernel-team@fedoraproject.org> [6.4.0-0.rc5.41]
- Add rv subpackage for kernel-tools (John Kacur) [2188441]
- redhat/configs: NXP i.MX9 family (Steve Best)
- Linux v6.4.0-0.rc5
Resolves: rhbz#2188441

Signed-off-by: Justin M. Forbes <jforbes@fedoraproject.org>
This commit is contained in:
Justin M. Forbes 2023-06-05 09:31:57 -05:00
commit 2e423c0eef
No known key found for this signature in database
GPG key ID: B8FA7924A4B1C140
6 changed files with 55 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

45
kernel.spec
View file

@ -148,13 +148,13 @@ Summary: The Linux kernel
%define specrpmversion 6.4.0
%define specversion 6.4.0
%define patchversion 6.4
%define pkgrelease 0.rc4.20230601git929ed21dfdb6.38
%define pkgrelease 0.rc5.41
%define kversion 6
%define tarfile_release 6.4-rc4-78-g929ed21dfdb6
%define tarfile_release 6.4-rc5
# This is needed to do merge window version magic
%define patchlevel 4
# This allows pkg_release to have configurable %%{?dist} tag
%define specrelease 0.rc4.20230601git929ed21dfdb6.38%{?buildid}%{?dist}
%define specrelease 0.rc5.41%{?buildid}%{?dist}
# This defines the kabi tarball version
%define kabiversion 6.4.0
@ -1121,6 +1121,17 @@ 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.
# with_tools
%endif
@ -2513,6 +2524,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
@ -2799,6 +2813,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
@ -3258,6 +3275,14 @@ fi
%{_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
# with_tools
%endif
@ -3415,6 +3440,20 @@ fi
#
#
%changelog
* Mon Jun 05 2023 Fedora Kernel Team <kernel-team@fedoraproject.org> [6.4.0-0.rc5.41]
- Add rv subpackage for kernel-tools (John Kacur) [2188441]
- redhat/configs: NXP i.MX9 family (Steve Best)
- Linux v6.4.0-0.rc5
* Sun Jun 04 2023 Fedora Kernel Team <kernel-team@fedoraproject.org> [6.4.0-0.rc4.e5282a7d8f6b.40]
- Linux v6.4.0-0.rc4.e5282a7d8f6b
* Sat Jun 03 2023 Fedora Kernel Team <kernel-team@fedoraproject.org> [6.4.0-0.rc4.9e87b63ed37e.39]
- redhat/genlog.py: add support to list/process zstream Jira tickets (Herton R. Krzesinski)
- redhat: fix duplicate jira issues in the resolves line (Herton R. Krzesinski)
- redhat: add support for Jira issues in changelog (Herton R. Krzesinski)
- Linux v6.4.0-0.rc4.9e87b63ed37e
* Thu Jun 01 2023 Fedora Kernel Team <kernel-team@fedoraproject.org> [6.4.0-0.rc4.929ed21dfdb6.38]
- redhat/configs: turn on IMX8ULP CCM Clock Driver (Steve Best)
- redhat: update filter-modules fsdrvs list to reference smb instead of cifs (Patrick Talbert)