tree 9add43f823acd13a56830e33fd02fab7d19a0359
parent 41be154ae6b5dcc6e24b3cc2734c6a8b6892f1b6
author Damon Lee <Damon.Lee@data61.csiro.au> 1563336864 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1566189500 +1000

libsel4test: Add device_frame to env

We add this struct member to fix the functionality of a test. More
specifically, the test where we assign a device frame to a thread's IPC
buffer.