add BoardConfig.mk,ceres_c3.mk,init.device.rc

ronnie

2022-10-23 1972b0e7ed50e5b37c5633d662ea03d23b15499c

1
2
3
4
5
6
7
8
9
10
#ifndef __ACPI_REBOOT_H
#define __ACPI_REBOOT_H
 
#ifdef CONFIG_ACPI
extern void acpi_reboot(void);
#else
static inline void acpi_reboot(void) { }
#endif
 
#endif