9
|
1 \begin{thebibliography}{99}
|
10
|
2 \bibitem{IntelNews} Intel/Unified EFI Forum, https://www.uefi.org ,2017/11/3.
|
15
|
3 \bibitem{CbC} 清水隆博,河野慎治..xv6の構成要素の継続の分析.情報処理学会研究報告,2020.
|
10
|
4 \bibitem{gcc} GNU Compiler Collection (GCC) Internals,https://gcc.gnu.org/onlinedocs/gccint/
|
|
5 \bibitem{llvm} Clang: a C language family frontend for LLVM,https://clang.llvm.org.
|
|
6 \bibitem{singularity} https://sylabs.io/singularity/
|
15
|
7 \bibitem{Gears} 東恩納 琢偉,河野真治.Gears OSでモデル検査を実現する手法について.情報処理学会研究報告2020
|
12
|
8 \bibitem{xv6} Russ Cox, M Frans Kaashoek, and Robert Morris. Xv6, a simple unix-like teaching operating system,2012.
|
|
9 \bibitem{raspi} https://www.raspberrypi.org
|
16
|
10 \bibitem{arm} https://developer.arm.com
|
12
|
11 \bibitem{uefi} https://wiki.osdev.org/UEFI
|
15
|
12 \bibitem{edk2} https://github.com/tianocore/tianocore.github.io/wiki/EDK-II
|
|
13 \bibitem{gnu} https://sourceforge.net/projects/gnu-efi
|
16
|
14 \bibitem{raspi_uefi} https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi3
|
|
15 \bibitem{qemu} https://www.qemu.org
|
10
|
16 \end{thebibliography} |