Philipp Oppermann

Hey @toothbrush7777777, sorry that I haven't replied for so long! I was busy with the BIOS bootloader and the [bootimage](https://github.com/rust-osdev/bootimage) tool. I'm now thinking about the best way to intregrate...

@reynoldsbd Thanks a lot for your work! Sorry for replying so late. > Evidently, VGA is not supported when booting under UEFI. That's a pity. Serial I/O is a good...

@GabrielMajeri Sorry for the delay, I was on vacation for the past weeks. I haven't had the time to try it yet, but it sounds really great! The diff is...

@GabrielMajeri Could you give me a quick overview of the steps that are needed to build your UEFI port and run it in QEMU? **Edit**: I tried `cargo xbuild --target...

@GabrielMajeri > I agree. My idea was to make it really easy for beginners to get something set up, and then introduce the bootloader in the secondary tutorials. Sounds like...

@ms140569 Grub is not so easy to set up on Windows. Further, it only brings us to protected mode when doing a BIOS boot, so we need to do the...

@yw662 There are few issues with using UEFI directly: - The kernel only supports UEFI and not legacy BIOS booting (e.g. for older systems). To avoid this problem we could...

@nebrelbug Not yet, unfortunately. There's just so much other stuff to do.

There is a new tool to create a bootable UEFI image from `.efi` files and run the image in QEMU: https://github.com/richard-w/uefi-run. This seems really useful for adding UEFI support to...

It seems like the 8259 PIC is not available for UEFI: https://github.com/phil-opp/blog_os/issues/480#issuecomment-480495268. So we need a different solution for this too (e.g. directly use the APIC).