feat(epicardium): Introduce os/core.h header for OS definitions

As a part of this, drop os/log.h.  Also add documentation for this.

Documentation/epicardium/internal.rst

+.. _epicardium_internal_apis:
+
+Epicardium Internal APIs
+========================
+
+Core OS APIs
+------------
+.. c:autodoc:: epicardium/os/core.h

Documentation/index.rst

@@ -66,6 +66,7 @@ Last but not least, if you want to start hacking the lower-level firmware, the
    epicardium/overview
    epicardium/api
    epicardium-guide
+   epicardium/internal
 
 .. toctree::
    :maxdepth: 1

epicardium/api/control.c

 #include "epicardium.h"
 #include "api/dispatcher.h"
-#include "os/log.h"
+#include "os/core.h"
 
 #include "card10.h"
 

epicardium/api/genapi.py

@@ -246,7 +246,7 @@ void __dispatch_isr(api_int_id_t id)
     # Generate Dispatcher {{{
     with open(args.server, "w") as f_dispatcher:
         tmp = """\
-#include "os/log.h"
+#include "os/core.h"
 #include "{header}"
 
 void __api_dispatch_call(uint32_t id, void*epc__apistub_buffer)

epicardium/ble/ble.c

 #include "epicardium.h"
-#include "os/log.h"
+#include "os/core.h"
 #include "os/config.h"
 
 #include "fs/fs_util.h"

epicardium/ble/ble_adv.c

 #include "ble_api.h"
 #include "epicardium.h"
-#include "os/log.h"
+#include "os/core.h"
 #include "os/config.h"
 
 #include "wsf_types.h"

epicardium/ble/ble_attc.c

@@ -12,7 +12,7 @@
 #include "profiles/gap_api.h"
 #include "tipc/tipc_api.h"
 
-#include "os/log.h"
+#include "os/core.h"
 /* card10:
  * copied from lib/sdk/Libraries/BTLE/stack/ble-profiles/sources/apps/tag/tag_main.c
  * and lib/sdk/Libraries/BTLE/stack/ble-profiles/sources/apps/watch/watch_main.c

epicardium/ble/ble_main.c

@@ -39,7 +39,7 @@
 
 #include "ble_api.h"
 #include "epicardium.h"
-#include "os/log.h"
+#include "os/core.h"
 #include "os/config.h"
 
 #define SCAN_REPORTS_NUM	16

epicardium/ble/bondings.c

@@ -33,7 +33,7 @@
 #include "app_cfg.h"
 
 #include "epicardium.h"
-#include "os/log.h"
+#include "os/core.h"
 #include "FreeRTOS.h"
 #include "timers.h"
 #include "mxc_sys.h"

epicardium/ble/epic_att_api.c

 #include "ble_api.h"
 #include "epicardium.h"
-#include "os/log.h"
+#include "os/core.h"
 
 #include "wsf_types.h"
 #include "util/bstream.h"

epicardium/ble/epic_ble_api.c

 #include "ble_api.h"
 
 #include "epicardium.h"
-#include "os/log.h"
+#include "os/core.h"
 #include "modules/modules.h"
 
 #include "wsf_buf.h"

epicardium/ble/ess.c

@@ -8,7 +8,7 @@
 #include "app_api.h"
 
 #include "epicardium.h"
-#include "os/log.h"
+#include "os/core.h"
 #include "os/work_queue.h"
 #include "modules/modules.h"
 #include "drivers/drivers.h"

epicardium/ble/filetransfer.c

@@ -33,7 +33,7 @@
 #include "hci_vs.h"
 
 #include <epicardium.h>
-#include "os/log.h"
+#include "os/core.h"
 
 #include "util/bstream.h"
 #include "att_api.h"

epicardium/ble/hid.c

@@ -10,7 +10,7 @@
 #include "svc_hid.h"
 #include "hid/hid_api.h"
 
-#include "os/log.h"
+#include "os/core.h"
 
 #include <stdio.h>
 #include <string.h>

epicardium/ble/hid_work.c

@@ -2,7 +2,7 @@
 #include "cccd.h"
 
 #include "epicardium.h"
-#include "os/log.h"
+#include "os/core.h"
 
 #include "dm_api.h"
 #include "att_api.h"

epicardium/drivers/bhi.c

@@ -12,7 +12,7 @@
 #include "queue.h"
 
 #include "epicardium.h"
-#include "os/log.h"
+#include "os/core.h"
 #include "modules/modules.h"
 #include "drivers/drivers.h"
 #include "modules/stream.h"

epicardium/drivers/bme680.c

 #include "epicardium.h"
 #include "modules/modules.h"
-#include "os/log.h"
+#include "os/core.h"
 #include "drivers/drivers.h"
 
 #include "card10.h"

epicardium/drivers/bsec.c

@@ -9,7 +9,7 @@
 #include "epicardium.h"
 #include "modules/modules.h"
 #include "os/config.h"
-#include "os/log.h"
+#include "os/core.h"
 
 #include "FreeRTOS.h"
 #include "task.h"

epicardium/drivers/buttons.c

 #include "epicardium.h"
 #include "modules/modules.h"
-#include "os/log.h"
+#include "os/core.h"
 
 #include "portexpander.h"
 #include "MAX77650-Arduino-Library.h"

epicardium/drivers/gpio.c

@@ -4,7 +4,7 @@
 #include "mxc_sys.h"
 #include "adc.h"
 #include "mxc_errors.h"
-#include "os/log.h"
+#include "os/core.h"
 #include "modules/modules.h"
 
 /*