100644 blob 552f743c3263651630cdb84e9b76814cd3428386	bsd.c
100644 blob 26704c48644520fda0cdcfbd5bf71c7dbd5f99cd	bsd32.c
100644 blob f8aad1ca78cd45166b21b0d0bb89d486c034577d	bsd64.c
100644 blob af6741d157cc7abf154531b3643b7162354d7205	bsdXX.c
100644 blob 9ec5abffc016820f5337a9d8d4f8b33a08fe6097	bsd_pagetable.c
040000 tree d3aff39f4306dc7e981fc131722aad412ed3c2cd	coreboot
040000 tree cb5f998e91f6d738c7b072e0728cdaab9f0153a5	efi
100644 blob 259df50d1065f9e1c71a6bd24e1ceaf6350a9b1f	linux.c
100644 blob 2bcf01da3f048a9d1e0b31228696b610f2bbe0ec	multiboot_mbi.c
040000 tree 6c026147b0281802df84df7cb8cb47f8b52e74a8	pc
100644 blob 5b5968e940f7f644eb2743eed93abec08d0563cc	xen.c
100644 blob 52b75fad82c5f0c1ed3f7e64c54d1bfaeea52263	xen_file.c
100644 blob 340d445690f04392d23de1df62142f1d89dbaba9	xen_file32.c
100644 blob c41049369c7ff6ad4813baf30e502e46f19fbf62	xen_file64.c
100644 blob fb66e66fe960db0da24a86e6c248e1f213078091	xen_fileXX.c
100644 blob e64ed08f580f2704619f48c74725be3f8b7fd132	xnu.c