s2ebios: clean it up and make it ready for testing

S2E / s2e-env

Your S2E project management tools. Visit https://s2e.systems/docs to get started.

Other

92 stars 51 forks source link

Closed vitalych closed 6 months ago

vitalych commented 6 years ago

s2e-config should pass the name of the test to run by s2e-bios
would need some sort of tool to get the environment variables from the host inside the guest
or use keyvaluestore?
also add project option to s2e-env to create bios settings

vitalych commented 6 months ago

Merged into libs2e