printf("Main RAM base: %x, size: %u bytes\n", rpi_mem_base, rpi_mem_size);
printf("Video RAM base: %x, size: %u bytes\n", rpi_vmem_base, rpi_vmem_size);
printf("Main RAM base: %x, size: %u bytes\n", rpi_mem_base, rpi_mem_size);
printf("Video RAM base: %x, size: %u bytes\n", rpi_vmem_base, rpi_vmem_size);