search

seL4 / seL4_projects_libs

Other
19 stars 36 forks source link

libsel4vmmplatsupport: remove newline #98

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

Remove newline in the log messages, as ZF_LOGx() already prints a newline.