wok-next rev 19622
ipxe: Generate page tables for 64-bit builds *only*
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Wed Feb 08 15:37:19 2017 +0100 (2017-02-08) |
parents | a4cdc12df138 |
children | 2c32f769918a |
files | ipxe/receipt |
line diff
1.1 --- a/ipxe/receipt Wed Feb 08 09:28:15 2017 +0100 1.2 +++ b/ipxe/receipt Wed Feb 08 15:37:19 2017 +0100 1.3 @@ -18,6 +18,12 @@ 1.4 compile_rules() 1.5 { 1.6 cd $src/src 1.7 + 1.8 + # Fix https://git.ipxe.org/ipxe.git/commit/163f8acba0fbb6e3c44aec5286d3d076e1f44f22 1.9 + sed -i 's/.*.section ".pages".*/.if64 ;\n&/;$a.endif' \ 1.10 + arch/x86/transitions/librm.S 1.11 + 1.12 + #sed -i 's/^ASFLAGS.*/& -adhlns=$(<:.S=.lst)/' Makefile 1.13 sed -i 's/-llzma/& -lpthread/' Makefile.* 1.14 sed -i 's|//\(#define.*CONSOLE_FRAMEBUFFER\)|\1|' config/console.h 1.15 sed -i 's|//\(#define.*CONSOLE_SERIAL\)|\1|' config/console.h