raspberrypi_arm: Drop old Raspberry Pi 1 boot loader.

* We transitioned to u-boot quite some time ago
* We also are dropping < ARMv7 support
This commit is contained in:
Alexander von Gluck IV
2017-07-11 14:39:13 -05:00
parent d86b44dbf3
commit 0cc293cf32
24 changed files with 0 additions and 1374 deletions
@@ -1,39 +0,0 @@
/*
* Copyright 2003, Axel Dörfler, [email protected]. All rights reserved.
* Distributed under the terms of the MIT License.
* Copyright 2011-2012, Haiku Inc. All rights reserved.
* Distributed under the terms of the MIT License.
*/
#ifndef KERNEL_BOOT_PLATFORM_PI_ARCH_H
#define KERNEL_BOOT_PLATFORM_PI_ARCH_H
#include <SupportDefs.h>
struct kernel_args;
#ifdef __cplusplus
extern "C" {
#endif
/* memory management */
extern status_t arch_set_callback(void);
extern void *arch_mmu_allocate(void *address, size_t size, uint8 protection,
bool exactAddress);
extern status_t arch_mmu_free(void *address, size_t size);
extern status_t arch_mmu_init(void);
/* CPU */
extern status_t boot_arch_cpu_init(void);
/* kernel start */
status_t arch_start_kernel(struct kernel_args *kernelArgs, addr_t kernelEntry,
addr_t kernelStackTop);
#ifdef __cplusplus
}
#endif
#endif /* KERNEL_BOOT_PLATFORM_PI_ARCH_H */
@@ -1,45 +0,0 @@
/*
* Copyright 2012, Haiku Inc. All rights reserved.
* Distributed under the terms of the MIT License.
*/
#ifndef _PLATFORM_DEBUG_H_
#define _PLATFORM_DEBUG_H_
#define DEBUG_DELAY_SHORT 200
#define DEBUG_DELAY_MEDIUM 500
#define DEBUG_DELAY_LONG 1000
void debug_delay(int time);
void debug_set_led(bool on);
void debug_toggle_led(int count, int delay = DEBUG_DELAY_MEDIUM);
// Toggles the led count times with the delay for both on and off time.
void debug_blink_number(int number);
// Implements a blink pattern to output arbitrary numbers:
//
// 1. Led turns off and stays off for a long delay.
// 2. Led blinks x times with a short delay, where x is the current
// decimal place + 1 (so 0 values are easier to see).
// 3. Led stays off for a long delay to indicate the move to the next
// decimal place and step 2. is repeated until all the rest of the
// number is 0.
// 4. The led turns on and stays on with a long delay to indicate finish.
// 5. Led state is reset to the original value.
//
// The lowest decimal is output first, so the number will be reversed. As an
// example the number 205 would be blinked as follows:
// long off (start indicator), 6 blinks (indicating 5),
// long off (moving to next decimal), 1 blink (indicating 0)
// long off (moving to next decimal), 3 blinks (indicating 2)
// long on (finish indicator)
void debug_halt();
// Stalls execution in an endless loop.
void debug_assert(bool condition);
// Flashes the led 20 times rapidly and stalls execution if the condition
// isn't met.
#endif // _PLATFORM_DEBUG_H_
@@ -1,24 +0,0 @@
/*
* Copyright 2009-2011, Haiku Inc. All rights reserved.
* Distributed under the terms of the MIT License.
*/
#ifndef KERNEL_BOOT_PLATFORM_PI_KERNEL_ARGS_H
#define KERNEL_BOOT_PLATFORM_PI_KERNEL_ARGS_H
#ifndef KERNEL_BOOT_KERNEL_ARGS_H
# error This file is included from <boot/kernel_args.h> only
#endif
#define SMP_MAX_CPUS 1
#define MAX_PHYSICAL_MEMORY_RANGE 4
#define MAX_PHYSICAL_ALLOCATED_RANGE 8
#define MAX_VIRTUAL_ALLOCATED_RANGE 32
typedef struct {
char dummy;
} platform_kernel_args;
#endif /* KERNEL_BOOT_PLATFORM_PI_KERNEL_ARGS_H */
@@ -1,17 +0,0 @@
/*
* Copyright 2009-2012, Haiku Inc. All rights reserved.
* Distributed under the terms of the MIT License.
*/
#ifndef KERNEL_BOOT_PLATFORM_PI_STAGE2_H
#define KERNEL_BOOT_PLATFORM_PI_STAGE2_H
#ifndef KERNEL_BOOT_STAGE2_ARGS_H
# error This file is included from <boot/stage2_args.h> only
#endif
struct platform_stage2_args {
void *boot_tgz_data;
uint32 boot_tgz_size;
};
#endif /* KERNEL_BOOT_PLATFORM_PI_STAGE2_H */