seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4vmmplatsupport: use vm->entry for zImage also

Open axel-h opened this issue 1 year ago • 2 comments

This is a follow-up from the change introduced by https://github.com/seL4/seL4_projects_libs/pull/81

  • Remove hard coded fall-back address for zImage also.
  • inline zImage_get_load_address(), so things get a bit simpler .
  • Add comment about zImage usage in Linux. Seems it's 32-bit only anyway.

axel-h avatar Mar 21 '23 01:03 axel-h