← Back to branch summary

~martin-decky/helenos/rcu

1305 by Martin Decky
add configuration choice to boot the ISO image using GRUB for BIOS (common PC) or GRUB for UEFI 
1
 
(This is a binary file.)