Hello, I've been going through the config files for the ebony board that come with Linux kernel, and I have a couple of questions. I see that the RAM size is set to 0x30000000 while the ebony board only has 128MB of ram. Also, why the task size is set to 0xc0000000? Thank you, Jacob