https://github.com/simar7/pikernel

32-bit ARM kernel for Raspberry Pi.
https://github.com/simar7/pikernel

Last synced: 12 months ago
JSON representation

32-bit ARM kernel for Raspberry Pi.

• Host: GitHub
• URL: https://github.com/simar7/pikernel
• Owner: simar7
• License: gpl-2.0
• Created: 2015-08-24T03:28:33.000Z (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2016-05-24T06:04:20.000Z (about 10 years ago)
• Last Synced: 2025-04-01T19:55:38.193Z (about 1 year ago)
• Language: C
• Homepage: http://simar7.github.io/blog/tag/piKernel
• Size: 14.6 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
piKernel: A custom ARM kernel project for the Raspberry Pi

----------------------------------------------------------

## System Requirements

1. ARM cross compiler: `arm-gcc-eabi-none`

2. `make`

## Notes for OS X

1. homebrew `gdb` only supports x86 debugging, install `arm-none-eabi-gdb` to remotely debug

## Notes for debugging

1. To remotely debug using gdb over TCP in QEMU

    a. Start qemu machine with `-s` and `-S` options

    b. gdb> `target remote localhost:1234`

    c. gdb> `continue`