Skip to content

Commit

Permalink
README: Updated features' list.
Browse files Browse the repository at this point in the history
  • Loading branch information
Mikhail Krichanov committed Nov 1, 2024
1 parent 0130690 commit 020db62
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ Available stable branches:<br>
Ext4Pkg, FatPkg: Various improvements based on [Sydr](https://github.com/ispras/oss-sydr-fuzz) fuzzing results<br>
Introduced CpuArchLib to move the CPU Architectural initialization to DxeCore (https://bugzilla.tianocore.org/show_bug.cgi?id=3223)<br>
CI checks not only compilation results of various packages but also boot results of Windows 10 / Linux kernels for OVMF, ArmVirtQemu<br>
Introduced new image protection policy, which forbids loading of unaligned images<br>

## PE loader designed with formal methods

Expand Down

0 comments on commit 020db62

Please sign in to comment.