diff options
Diffstat (limited to 'frontend/plat_dummy.c')
| -rw-r--r-- | frontend/plat_dummy.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/plat_dummy.c b/frontend/plat_dummy.c index c6af46b..d3080ae 100644 --- a/frontend/plat_dummy.c +++ b/frontend/plat_dummy.c @@ -35,3 +35,6 @@ void plat_init(void) { } +void plat_finish(void) +{ +} |