| /branches/arm/kernel/arch/arm32/include/boot.h |
|---|
| 26,6 → 26,12 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup arm32 |
| * @{ |
| */ |
| /** @file |
| */ |
| #ifndef KERN_arm32_BOOT_H_ |
| #define KERN_arm32_BOOT_H_ |
| 46,3 → 52,6 |
| extern bootinfo_t bootinfo; |
| #endif |
| /** @} |
| */ |