Re: Using rump kernel to provide drivers?
- From: Antti Kantee <pooka@xxxxxx>
- To: rumpkernel-users@xxxxxxxxxxxxx
- Date: Wed, 29 Jul 2015 14:13:21 +0000
On 29/07/15 13:00, Justin Cormack wrote:
Is the board you are porting to already supported on NetBSD? NetBSD does not use
devicetree but this article explains the basics of how config works on Arm
A word of warning, though: the above document is almost entirely
irrelevant for rump kernels since pretty much all of the details at this
level are different; from configuration to building to interrupts to the
console. After all, a rump kernel is not an OS. That said, it is an
excellent tutorial on how to port NetBSD to an ARM board (wish it had
existed back when I wrote the support for evbarm/viper).
Other related posts: