Ivan Baravy 8e5b79b154 kernel: Don't read acpi_dev_* vars that if uninitialized. ... Currently only uefi4kos loader initializes these variables. May be one day BIOS loaders will load DEVICES.DAT file and initialize these vars too, may be one day we will detect APIC IRQs via ACPI. But not today. git-svn-id: svn://kolibrios.org@8117 a494cfbc-eb01-0410-851d-a64ba20cac60		2020-10-26 04:29:48 +00:00
..
bootsect.asm
bootsect.txt
build.bat
kordldr.f32.asm
Tupfile.lua