#include "config.h"
#include "driver_log.h"

# define CONFIG_KERNEL_START_PA (0x00000000a7e00000ULL)
# define CONFIG_PHYS_OFFSET     (0x0000000080000000ULL)

PaTzResult KernelNextMemoryConfiguration(void) {
  static size_t counter = 0;

  if (counter == 0) {
    counter++;
    return PA_TZ_SUCCESS;
  }

  LOG_E("All memory configuration is checked.\n");
  return PA_TZ_GENERAL_ERROR;
}

PhysicalAddress KernelGetConfigPhysOffset(void) {
  return CONFIG_PHYS_OFFSET;
}

PhysicalAddress KernelGetStartPhysAddr(void) {
  return CONFIG_KERNEL_START_PA;
}