ASR serie 1000: allocazione della memoria tra Linux e IOSd