Hello,
I'm looking for a way to get the FreeBSD kernel for ARM CPU's. I want to learn more about the BSD kernel. And I think learning how to extract/download the kernel is a good step forward.
There is no special Arm kernel. All kernels are built from the same source but compiled with different architecture flags.
They also use the DWITH_FDT flag for the FDT support. There are also ubldr and uboot parts involved to booting the kernel.
Well if you want to see one then download an SD Card image for Arm from the website.
Uncompress and Mount the image and navigate to /boot/kernel/kernel
I really don't see what good a compiled kernel does for learning.
Have you looked at the kernconf's in source? /usr/src/sys/arm/conf/
Here are the fdt files: /usr/src/sys/boot/fdt/dts/arm/
So here is RaspberryPi2 for example. https://download.freebsd.org/ftp/re....1/FreeBSD-11.1-RELEASE-arm-armv6-RPI2.img.xz
You would download this and uncompress the image. Then write the image to a usb memstick or microSD Card or whatever.
Then you can mount the usb memstick from a FreeBSD computer and navigate the filesystem and browse the kernel structure..
The actual kernel is named kernel.
Okay,
If I wanted to build my own BSD where would I get the kernel, so I could start building my own Operating System.
Sorry, I figured this'd be a good example of what I'm trying to do.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.
