\begin{thebibliography}{99}
\bibitem{IntelNews} Intel/Unified EFI Forum, https://www.uefi.org ,2017/11/3.
\bibitem{CbC} 宮城光希,河野慎治.CbC言語によるOS記述.琉球大学工学部情報工学科平成29年度学位論文(学士),2017.
\bibitem{Gears} 清水隆博,河野真治.GearsOSのメタ計算.琉球大学工学部情報工学科令和3年度学位論文(修士),2021.
\bibitem{xv6} Russ Cox, M Frans Kaashoek, and Robert Morris. Xv6, a simple unix-like teaching operating system,2012.
\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/
\end{thebibliography}