Herramientas

Herramientas que me han ayudado (lista de las que no me voy a acordar)

1. EFI Shell

  • pci Para printear todas las cosas de PCI

2. qemu

  • info mtree Imprimir los rangos de memoria y su uso

3. Documentación