New FreeBSD-10 pre-release builds
These are untested builds of FreeBSD-10, created with Crochet
These are untested builds of FreeBSD-10, created with Crochet
Image file here.
The default FreeBSD kernel for Raspberry Pi can be found here in the FreeBSD source browser. It’s everything you need to boot FreeBSD on a Pi, and includes GPIO support. However, the Pi is a nice small computer, so it’s likely that you’ll want it to include options such as Wifi, and pf. In my…
Introduction This is my 3rd blog posting on the topic of the Crochet-FreeBSD ARM boot process. The other two are here and here. At long last, I have the Crochet-FreeBSD build for Wandboard working properly, with U-boot and ubldr. This article will serve, I hope, to document the entire process and give others a…
I recently got a Beaglebone Black. I was very excited; it’s similar to a Pi, but has 60 GPIO ports! Getting a serial console up on it was not quite a simple as I thought, since the BeagleBone uses FTDI. Following the instructions here I installed the OS X serial driver for FTDI. After plugging…
I was curious to see how difficult it would be to compile NetBSD on FreeBSD 10. Once you have the source, there is a build.sh script which is very helpful. The build is as simple as: ./build.sh -m i386 tools ./build.sh -m i386 kernel=GENERIC release In my case I have both clang and gcc installed. I…
This build fixes the recent console speed bug, and include super-pages, a new feature recently added to the ARM kernel. The image file is here, and the boot log is here.
This site uses Akismet to reduce spam. Learn how your comment data is processed.
Hi!
I DL:ed the RPI FreeBSD 10 from the files section and “dd” it to my sd-card. I see all pre boot stuff, but the freebsd kernel won’t load. Any ideas?
Regards Jonas
Got a boot log?
No, it doesn’t come to that. It stops right after checking for kernel and when it enters kernel arg…nothing happens. The normal FreeBSD boot doesn’t appear. I think it’s right after the bootloader or what it’s called. I don’t have FreeBSD to mount the sd-card on at home. I’ll check the sd-card and for some logs at work under this week. There’s no errors or messages that the boot is problematic.
Could you get a screen shot?
no, but i took some bad, bad pix of my tv-screen 🙂
http://sv.tinypic.com/r/14mxiiv/8
http://sv.tinypic.com/r/2lwnivt/8
Sorry about that 🙁
ok, I don’t actually know if the video output is fully supported. I’ve never tried it. Have you tried using a serial console?
No, i do not have tested a serial console. I’ll bring aone from work and test later. You mean a usb-serial console-cable? I no that the earlier images that you provided (10-alpha/beta) work on this screen/video through HDMI.
No, I mean a USB-RS232 serial cable.
Yes, we mean the same type of cable. The one i got, doesn’t work with my macbook. I’ll get a windows-machine and test again.