Python Library for accessing UEFI BIOS internal function by protocol
EfiPy is a Python Module on UEFI shell which can access UEFI BIOS kernel interface
- System Table
- Runtime Services
- Boot Services
pAnalyzer package -
Tracing UEFI protocol calling flow
Output protocol flow to screen or file with XML format
CorePy (assembly package) -
Simple Assembly code in Python environment.
EfiPy Shell package-
Simple uefi shell program coded with EfiPy library to prove EfiPy workable
EfiPy leverage these open source packages - ctypes, CorePy.
Samples
https://sourceforge.net/u/efipy/svn/HEAD/tree/Trunk/
EfiPy Author: https://www.linkedin.com/in/max-wu-a9068b90/
Synthesizing embedded control software from formal specifications
...Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine.
A step-by-step tutorial is available within the software package.
The goal of jpegEnc is to provide a fundamental JPEG Encoder. Major features: * Tiny foot print * Twice faster than the libjpeg * Process is on band by band basis. Output to a user specified buffer. * Best for Embedded or small foot print project