Barrelfish
Functions
plat_zynq7.c File Reference

Platform code for the Xilinx Zynq7000-series SoCs. More...

Functions

size_t platform_get_ram_size (void)
 

Detailed Description

Platform code for the Xilinx Zynq7000-series SoCs.

Function Documentation

size_t platform_get_ram_size ( void  )

Calculate the size of available RAM by reading each bank