From: Qun-Ying <zhu.qunying@gmail.com>
Subject: Re: Ada UEFI programming
Date: Mon, 27 Mar 2017 10:49:21 -0700
Date: 2017-03-27T10:49:21-07:00 [thread overview]
Message-ID: <obbjb0$qi$1@gioia.aioe.org> (raw)
In-Reply-To: 388364188.512294879.318868.laguest-archeia.com@nntp.aioe.org
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/).
next prev parent reply other threads:[~2017-03-27 17:49 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-03-24 9:53 Ada UEFI programming George J
2017-03-24 18:22 ` Lucretia
2017-03-25 7:39 ` Dirk Heinrichs
2017-03-26 12:01 ` Luke A. Guest
2017-03-27 6:33 ` George J
2017-03-27 8:09 ` Luke A. Guest
2017-03-27 17:49 ` Qun-Ying [this message]
2017-03-28 7:48 ` George J
2017-03-28 16:09 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox