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


\end{thebibliography}