Si consiglia vivamente di creare un kernel a 64 bit (per piattaforma x86_64), per indicare al compilatore di non utilizzare la zona rossa a 128 byte che l'ABI dello spazio utente esegue . (Per GCC il
Ho i seguenti dubbi: Come sappiamo System V x86-64 ABI ci fornisce un'area di dimensioni fisse (128 byte) nel frame dello stack, detta anche zona rossa. Quindi, come risultato, non è necessario utiliz