From 9bf3286edb8603c1457d5aef280180c38ea4c0c7 Mon Sep 17 00:00:00 2001 From: JohnMcSandwich <103996238+JohnMcSandwich@users.noreply.github.com> Date: Mon, 5 Jan 2026 08:33:17 -0500 Subject: [PATCH] Misc: fix README and enable CET --- Lib/Lib.vcxproj | 2 ++ README.md | 4 ++-- Test/Test.vcxproj | 2 ++ Test/Test.vcxproj.filters | 18 +----------------- 4 files changed, 7 insertions(+), 19 deletions(-) diff --git a/Lib/Lib.vcxproj b/Lib/Lib.vcxproj index e2001fe..d178ef7 100644 --- a/Lib/Lib.vcxproj +++ b/Lib/Lib.vcxproj @@ -119,6 +119,7 @@ Console true + true @@ -139,6 +140,7 @@ true true UseLinkTimeCodeGeneration + true diff --git a/README.md b/README.md index 53f7623..000b445 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ Cornelius is a specialized emulator that allows to run the [Intel TDX](https://www.intel.com/content/www/us/en/developer/tools/trust-domain-extensions/overview.html) firmware as a VM on Hyper-V without requiring actual TDX hardware. It is useful for security testing, fuzzing, and rapid prototyping of the TDX firmware. -Cornelius was developed by Maxime Villard of the Microsoft MORSE team. +Cornelius was developed by Maxime Villard of the Microsoft Offensive Research team. ## Features @@ -38,7 +38,7 @@ Cornelius was developed by Maxime Villard of the Microsoft MORSE team. - Open `Cornelius.sln` with VisualStudio, and rebuild the project. - The `Binaries` directory is now created and contains `Cornelius.dll` and `Test.exe`. - Copy the TDX binaries into that folder. - - Go to that folder and run the demonstrator: `.\Test.exe pseamldr.so.consts pseamldr.so libtdx.so`. + - Go to that folder and run the demonstrator: `.\Test.exe pseamldr.so.consts pseamldr.so libtdx.so.unstripped`. You can now develop your own demonstrator, or fuzzer, or tester, using `Cornelius.dll`. diff --git a/Test/Test.vcxproj b/Test/Test.vcxproj index cac2d6c..25ee793 100644 --- a/Test/Test.vcxproj +++ b/Test/Test.vcxproj @@ -118,6 +118,7 @@ Console true ..\Binaries; + true @@ -138,6 +139,7 @@ ..\Binaries;%(AdditionalLibraryDirectories) ..\Binaries\$(TargetName)$(TargetExt) ..\Binaries\$(TargetName).pdb + true diff --git a/Test/Test.vcxproj.filters b/Test/Test.vcxproj.filters index 1c6b7d4..cfa9811 100644 --- a/Test/Test.vcxproj.filters +++ b/Test/Test.vcxproj.filters @@ -1,22 +1,6 @@  - - {4FC737F1-C7A5-4376-A066-2A32D752A2FF} - cpp;c;cc;cxx;c++;cppm;ixx;def;odl;idl;hpj;bat;asm;asmx - - - {93995380-89BD-4b04-88EB-625FBE52EBFB} - h;hh;hpp;hxx;h++;hm;inl;inc;ipp;xsd - - - {67DA6AB6-F800-4c08-8B7A-83BB121AAD01} - rc;ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe;resx;tiff;tif;png;wav;mfcribbon-ms - - - - - Source Files - + \ No newline at end of file