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: