Mercurial > hg > Papers > 2021 > okud-thesis
view paper/chapter/bibitem.tex @ 16:c977b5f82b9f
only bootloader
author | okud |
---|---|
date | Mon, 15 Feb 2021 03:21:24 +0900 |
parents | 82407e7fefd9 |
children |
line wrap: on
line source
\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{arm} https://developer.arm.com \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 \bibitem{raspi_uefi} https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi3 \bibitem{qemu} https://www.qemu.org \end{thebibliography}