search

draperlaboratory / hope-policy-tool

Policy language tools
Other
0 stars 0 forks source link

"Depointer" Tags #56

Closed aroelke closed 1 year ago

aroelke commented 2 years ago

Convert tags from direct pointers to meta sets to indices into a meta set table, making them more flexible in where they are stored in memory and how they map to instruction/data words.

Requires C++ tagging tool conversion to be merged first.

aroelke commented 2 years ago

This still needs to support the contextswitch policy and any other policy that stores tags into meta set fields, so it's still a WIP for now.