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
I’ve had the opportunity to make some updates to the freebsd-arm-tools. If you’re interested in trying FreeBSD-current on a Raspberry Pi, I’ve posted a build at http://files.khubla.com/freebsd-raspberry-pi/ which has full Wifi and pf support. If you’re interested, the kernel configuration is here. Installing the FreeBSD on the Pi is simple. Firstly, get an image, such…
I recently got interested in the technical details of how ARM OS’s work, so I decided to try my hand at writing a simple one. This blog post is not about the OS itself, but about setting up the development environment. In my case, I’m developing in a terminal session, on FreeBSD 10 on an…
My preferred server OS is FreeBSD. Each time I install it, I have to go through numerous steps to secure it. So, to avoid that effort, and to make sure I get it right each time, I’ve created an Ansible playbook to automate the entire process. You can learn about it here. Some of the…
FreeBSD-11 has support for i2c on Wandboard. The working boot image is here, and the boot log is here. In order to enable it, there were three steps Enable the kernel options Update the files.imx6 file Create the DTS mappings The kerne config for Wandboard-Quad is here, however, most of the kernel options for Wandboard…
I’ve been making FreeBSD-Current builds for my Raspberry Pi. Naturally I wanted to try out the GPIO support to find out just how simple it is to use. Here’s an example, and the full code is here. int main (int argc, char *argv[]) { char *device = “/dev/gpioc0”; int gpiofd = open(device, O_RDWR); if…
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…
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.