Sign in
opensecura
/
3p
/
sel4
/
sel4_tools
/
b092f4b00dd3849634c59c05204e35a703e7da4c
/
.
/
elfloader-tool
/
include
/
drivers.h
blob: 2e4a7c1a0df72aa50ba24a024ba7ccd5490a82c9 [
file
]
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: GPL-2.0-only
*/
#pragma
once
int
initialise_devices
(
void
);