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
This commit is contained in:
2020-10-26 04:29:48 +00:00
parent 70798cbfe0
commit 8e5b79b154
3 changed files with 6 additions and 3 deletions

View File

@@ -1,3 +1,3 @@
if tup.getconfig("NO_FASM") ~= "" then return end
tup.rule("bootsect.asm", "fasm %f %o", "bootsect.bin")
tup.rule("kordldr.f32.asm", "fasm %f %o", "kordldr.f32.bin")
tup.rule("kordldr.f32.asm", "fasm %f %o", "kordldr.f32")