commit | a6b361e775e0bf6301284391e75dd9af7af340da | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Jan 17 10:40:03 2022 +0000 |
committer | nicm <nicm> | Mon Jan 17 10:40:03 2022 +0000 |
tree | 0058127cb014ec81e10131f7e22d7f0ed3ea6128 | |
parent | b2b94dcba73a62e2949fb98aee097dbaea658760 [diff] |
Do not try to strdup NULL, from seL4 at disroot dot org in GitHub issue 3038.