Image of Advanced Programming in the UNIX Environment, Second Edition (Addison-Wesley Professional Computing Series)
Image of Android Wireless Application Development
Image of Beginning Google Maps API 3
Image of Linux Kernel Development (3rd Edition)

RNG Protocol Error in Lenovo ThinkPad Firmware

This post discusses the UEFI 2.4 Random Number Generator protocol and Lenovo’s current implementation of the protocol and suggests there is an error in their implementation.

UEFI-based Windows 10 Platform - Failure to Boot Due to Missing or Corrupt BCD

This post describes the role of the BCD store in booting Windows 10 on a UEFI-based platform. It describes a number of other files used in the boot process and a workaround for booting your system from the UEFI shell should you encounter the 0xc0000034 error code.

UEFI OS Indication Variables

This post details the two UEFI OS Indication variables and provides the source code for a small UEFI shell utility, buildable with UDK2015, which retrieves the current value of the two variables

Examining TPM2 ACPI Table

In this blog post, I examine and discuss the contents of a TPM2 ACPI table and provide the source code for a simple UEFI shell utility to print out the contents of this table.

Accessing TPM Functionality From UEFI Shell - Part 1

This is the first in a series of posts which demonstrate how to access, use and modify TPM 1.2 and TPM 2.0 resources via a series of UEFI shell applications.