From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: Qun-Ying <zhu.qunying@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada UEFI programming
Date: Mon, 27 Mar 2017 10:49:21 -0700
Organization: Aioe.org NNTP Server
Message-ID: <obbjb0$qi$1@gioia.aioe.org>
References: <8fa0c8c3-31cd-434c-a903-2669877c4518@googlegroups.com>
 <6751f54f-3a9f-477c-9bb6-518320c3db17@googlegroups.com>
 <264a77d8-256e-4bd5-99d6-d29eb083ead6@googlegroups.com>
 <388364188.512294879.318868.laguest-archeia.com@nntp.aioe.org>
NNTP-Posting-Host: QG+sVfyUW3QoXBz9uF2CgQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:49.0) Gecko/20100101
 Firefox/49.0 SeaMonkey/2.46
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:46491
Date: 2017-03-27T10:49:21-07:00
List-Id: <comp.lang.ada>

According to http://www.rodsbooks.com/refind/getting.html, in Linux, you 
may need the TianoCore EFI Development Kit 2 (EDK2) 
(https://sourceforge.net/projects/tianocore/)  or GNU-EFI development 
tools (https://sourceforge.net/projects/gnu-efi/).