Drivers in binary form

• ipl-bigsur-amanda
• startup-bigsur-amanda
• devg-amanda.so
• deva-ctrl-amanda_ac97.so
• deva-ctrl-amanda_i2s.so
• dma-amanda.so
• devu-ohci-amanda.so
• usbdi-amanda.so.2
• usbdi-amanda.so
• usbdi-amanda.a
• dma-amandaS.a
• devc-sersci
• devc-tsersci
• devc-seramanda
• devc-tseramanda
• i2c-amanda
• devb-eide-amanda
• devu-kbd-amanda
• devu-mouse-amanda
• amanda

Drivers included in source form

• ipl
• startup
• serial
• network
• amanda
• graphics
• i2c
• audio