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


Groups > linux.debian.kernel > #58874

Bug#874536: linux: arm64ilp32 support

From Ben Hutchings <ben@decadent.org.uk>
Newsgroups linux.debian.bugs.dist, linux.debian.kernel
Subject Bug#874536: linux: arm64ilp32 support
Date 2017-09-07 16:00 +0200
Message-ID <un5vz-A2-1@gated-at.bofh.it> (permalink)
References <umVZg-2GT-3@gated-at.bofh.it> <umVZg-2GT-3@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: tag -1 upstream
Control: tag -1 - patch
Control: notfound -1 4.9.30-2+deb9u2.1
Control: found -1 4.13~rc7-1~exp1

On Thu, 2017-09-07 at 04:43 +0100, Wookey wrote:
> Source: linux
> Version: 4.9.30-2+deb9u2.1
> Severity: wishlist
> Tags: patch
> 
> Attached are the packaging changes needed to make the kernel build for arm64ilp32.
> 
> The arm64ilp32 (aarch64-linux-gnu_ilp32) kernel support is not yet
> merged upstream, so I guess you are not going to include this until it
> is, but as I've done the work, it's useful to file this patch so you
> have the necessary info to hand when the time comes.

Similar to x32, this Debian architecture should *not* have its own
redundant kernel image package.

Ben.

> I also have a corresponding patch for the kernel support, but it's
> large, so I'll just point to it here, for anyone that wants to build this in debian: 
> https://anonscm.debian.org/cgit/users/wookey/rebootstrap.git/commit/?h=ilp32-stable&id=01fe063bff353cba63b2048ff803f41314b888a5
> 
> Status for the port (in Debian) is tracked here: https://wiki.debian.org/Arm64ilp32Port
-- 
Ben Hutchings
Time is nature's way of making sure that everything doesn't happen at
once.

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


Thread

Bug#874536: linux: arm64ilp32 support Wookey <wookey@debian.org> - 2017-09-07 05:50 +0200
  Bug#874536: linux: arm64ilp32 support Ben Hutchings <ben@decadent.org.uk> - 2017-09-07 16:00 +0200
    Bug#874536: linux: arm64ilp32 support Wookey <wookey@wookware.org> - 2017-09-07 16:10 +0200
      Bug#874536: linux: arm64ilp32 support Ben Hutchings <ben@decadent.org.uk> - 2017-09-07 17:10 +0200
        Bug#874536: linux: arm64ilp32 support Wookey <wookey@wookware.org> - 2017-09-07 17:40 +0200
  Processed: Re: Bug#874536: linux: arm64ilp32 support owner@bugs.debian.org (Debian Bug Tracking System) - 2017-09-07 16:00 +0200

csiph-web