dragador6374 dragador6374 24-05-2024 Computers and Technology Answered What kernel file type is used to boot the Linux system?