isodir kernel libc interface_manual man_pages old_stuff static_system_stuff sysroot utils *.iso *~ #*# .vscode dev_tools/build_util_src/*.tar.xz dev_tools/build_util_src/higher_half_test dev_tools/jos_ref dev_tools/build_util_src/cross_compiler_test/*.o dev_tools/build_util_src/cross_compiler_test/test.bin notes/FreeBSD's bootloader.png notes/quick_sort_explore.c