Barrelfish
|
Platform code for the Xilinx Zynq7000-series SoCs. More...
Functions | |
size_t | platform_get_ram_size (void) |
Platform code for the Xilinx Zynq7000-series SoCs.
size_t platform_get_ram_size | ( | void | ) |
Calculate the size of available RAM by reading each bank