Line data    Source code

       1             : /**
       2             :  * The MIT License (MIT)
       3             :  *
       4             :  * Copyright (c) 2021 RSK Labs Ltd
       5             :  *
       6             :  * Permission is hereby granted, free of charge, to any person obtaining a copy
       7             :  * of this software and associated documentation files (the "Software"), to
       8             :  * deal in the Software without restriction, including without limitation the
       9             :  * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
      10             :  * sell copies of the Software, and to permit persons to whom the Software is
      11             :  * furnished to do so, subject to the following conditions:
      12             :  *
      13             :  * The above copyright notice and this permission notice shall be included in
      14             :  * all copies or substantial portions of the Software.
      15             :  *
      16             :  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
      17             :  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
      18             :  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
      19             :  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
      20             :  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
      21             :  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
      22             :  * IN THE SOFTWARE.
      23             :  */
      24             : 
      25             : #include "hal/platform.h"
      26             : #include "hal/log.h"
      27             : 
      28             : #include <string.h>
      29             : 
      30          11 : void platform_memmove(void *dst, const void *src, unsigned int length) {
      31          11 :     memmove(dst, src, length);
      32          11 : }
      33             : 
      34           0 : void platform_request_exit() {
      35             :     // Currently unsupported, just log the call
      36             :     LOG("platform_request_exit called\n");
      37           0 : }
      38             : 
      39           0 : const char *platform_get_id() {
      40           0 :     return "sgx";
      41             : }
      42             : 
      43           0 : uint64_t platform_get_timestamp() {
      44             :     // Trusted way of getting current timestamp
      45             :     // currently unsupported in OE/SGX, return zero
      46             :     // for the time being
      47           0 :     return (uint64_t)0;
      48             : }