Thanks! This looks awesome! But I don't know if I am going to learn Haskell just for that, but that input is useful! It would be nice if there is a solution where I am not going to spend hours to get used to it. ;-)
When your setting up Arch with a UEFI BIos motherboard its easier if you boot through the UEFI shell on a usb disk then through the install cd. It cleans up a lot of headaches. Read the post below to find out how.https://bbs.archlinux.org/viewtopic.php?id=148155
It varies on different manufacturer motherboards. I've got two recent ASRock mobos (different form factors) and the UEFI implementations on them are a bit different. The better one, recognizes UEFI on a USB stick and gives the option to boot it as BIOS or UEFI.
My motherboards firmware must be out of date, because I couldn't get UEFI Shell v2 to work, and that's the one that includes bcfg command. Also, I couldn't boot anything other than my pendrive in UEFI mode.
https://gitorious.org/tianocore_uefi_du … I_boot_USBIs the guide above is all i need when setting Windows 7 + ArchLinux in a PC with UEFI? From what i understand you do all the config in the USB driver and then you install without hassle?
I'm trying to install Arch on an Asus Zenbook Prime UX31A. It already has Windows 7 x64 on it and a UEFI system partition doing the bootloading.I followed the steps for creating a UEFI bootable USB from the ISO.
I'm using a M5A97 R2.0 (so very very similar AFAICT looking at the Asus website). It will boot UEFI or MBR and you can switch off SecureBoot in the BIOS. You may need to get the latest BIOS from Asus to get the SecureBoot options. I'm using it in UEFI mode without SecureBoot and it's been fine.