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