Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.kernel > #64222

Bug#928451: linux: riscv64 updates (change kernel image type to flat image and enable vdso)

From Vagrant Cascadian <vagrant@debian.org>
Newsgroups linux.debian.bugs.dist, linux.debian.kernel
Subject Bug#928451: linux: riscv64 updates (change kernel image type to flat image and enable vdso)
Date 2019-06-04 21:40 +0200
Message-ID <y5nrQ-47U-7@gated-at.bofh.it> (permalink)
References <xUdm9-26o-1@gated-at.bofh.it> <xUdm9-26o-1@gated-at.bofh.it>
Organization linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw


[Multipart message — attachments visible in raw view] - view raw

Control: tags 928451 pending

On 2019-05-05, Karsten Merker wrote:
> the riscv64 architecture is changing its standard kernel image
> format from ELF to a flat kernel image with a PE/COFF-compatible
> header (similar to arm64) to make EFI stub support possible, so
> we need to ship arch/riscv/boot/Image instead of an ELF vmlinux. 
> This also enables us to get rid of BBL (the RISC-V Berkeley
> BootLoader) and make the move to U-Boot/GRUB on riscv64.

This was just merged to master:

  https://salsa.debian.org/kernel-team/linux/commit/05218aa3a21b7dff4e8741bafec411ef07f63bf8


> With kernel 5.0 we can now also enable the vdso config option in
> the package for riscv64 as the necessary infrastructure is now in
> the upstream kernel (this wasn't the case when riscv64 support
> was originally added to the Debian kernel package).

This was added in 4.19.x already.


live well,
  vagrant

Back to linux.debian.kernel | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

Bug#928451: linux: riscv64 updates (change kernel image type to flat image and enable vdso) Karsten Merker <merker@debian.org> - 2019-05-05 02:40 +0200
  Processed: Re: linux: riscv64 updates (change kernel image type  to flat image and enable vdso) "Debian Bug Tracking System" <owner@bugs.debian.org> - 2019-06-04 21:40 +0200
  Bug#928451: linux: riscv64 updates (change kernel image type to flat image and enable vdso) Vagrant Cascadian <vagrant@debian.org> - 2019-06-04 21:40 +0200
  Bug#928451: marked as done (linux: riscv64 updates (change kernel  image type to flat image and enable vdso)) "Debian Bug Tracking System" <owner@bugs.debian.org> - 2019-08-06 08:10 +0200

csiph-web