|
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
1.8.11