Make UEFI boot-platform build again
[haiku.git] / headers / private / kernel / boot_device.h
bloba0d984ea1148f2f23c51d7ea6f63b99d9bb79b2d
1 /*
2 * Copyright 2005-2009, Axel Dörfler, axeld@pinc-software.de.
3 * Distributed under the terms of the MIT License.
4 */
5 #ifndef _KERNEL_BOOT_DEVICE_H
6 #define _KERNEL_BOOT_DEVICE_H
9 #include <sys/types.h>
12 extern dev_t gBootDevice;
13 extern bool gReadOnlyBootDevice;
14 // defined in fs/vfs_boot.cpp
16 #endif /* _KERNEL_BOOT_DEVICE_H */