search

seL4 / camkes-vm

Virtual Machine built as a CAmkES component.
Other
23 stars 35 forks source link

Another approach to Debug/Fix seL4/camkes-vm#73 #86

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

Similar to https://github.com/seL4/camkes-vm/pull/81, but this time leaving out the commit fb3023b7 ("vm_arm: make DTB generation more flexible") and see what result the hw run brings there.

axel-h commented 1 year ago

I still need this to fix the issue introduced in https://github.com/seL4/camkes-vm/pull/73

axel-h commented 1 year ago

OK, seem github closed this when the base branch was deleted.