HackBGRT/Windows_WSL_Debian_2nd.txt at feature/mod_multi · FREEWING-JP/HackBGRT · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
# How to build HackBGRT.efi using Windows 10 WSL Debian
# 2nd

# Clone HackBGRT HackBGRT_MULTI
cd
git clone https://github.com/FREEWING-JP/HackBGRT/ -b feature/mod_multi HackBGRT_MULTI
cd HackBGRT_MULTI

# Download gnu-efi
wget https://jaist.dl.sourceforge.net/project/gnu-efi/gnu-efi-3.0.12.tar.bz2
 or
# ERROR: The certificate of ‘jaist.dl.sourceforge.net’ is not trusted.
wget --no-check-certificate https://jaist.dl.sourceforge.net/project/gnu-efi/gnu-efi-3.0.12.tar.bz2
tar xvf gnu-efi-3.0.12.tar.bz2

# Patch Install directory
cd gnu-efi-3.0.12
sed -i 's@INSTALLROOT  :=.*@INSTALLROOT  := ../../../gnu-efi@' Make.defaults

# Make and Install gnu-efi
make
make install
# Copy libefi.a
make install
cd ..

# gnu-efi path
ls -l ./gnu-efi/usr/local/*
# */

# Make HackBGRT.efi (64bit version only)
mkdir ./obj
make

# *.efi
ls -l *.efi

# Copy HackBGRT.efi to Windows C:\TMP\
cp *.efi /mnt/c/TMP/

[EOF]