diff --git a/src/soc/nvidia/tegra132/soc.c b/src/soc/nvidia/tegra132/soc.c index 627de841e6..d6b7107662 100644 --- a/src/soc/nvidia/tegra132/soc.c +++ b/src/soc/nvidia/tegra132/soc.c @@ -38,6 +38,9 @@ static void soc_read_resources(device_t dev) reserved_ram_resource(dev, index++, begin * KiB, size * KiB); } + reserved_ram_resource(dev, index++, CONFIG_TTB_BUFFER / KiB, + CONFIG_TTB_SIZE / KiB); + framebuffer_begin = framebuffer_attributes(&framebuffer_size); //TODO: Frame buffer needs to handled as a carveout from the below_4G