Current status...

1) Made some changes to build-rr.sh to allow you to specify the board using 
`-b` e.g `./build-rr.sh -b rp hwi`
2) Initial cut at adapting `boardreg.h` for the BCM2835 (RPi A/B)

Things I haven't done yet:

1) Looked at any of the other files borrowed from the integrator-cp port
2) Managed to get any changes I've made so far to compile 
3) Figured out how to eventually build an SD-card image with kernel.img + the 
BCM blob

I'm currently blocked on finding a reliable cross compiler.
Using the recommended CFLAGS="-march=armv6zk -mcpu=arm1176jz-s -mfloat-abi=hard 
-mfpu=vfp"

The one from https://github.com/raspberrypi/tools fails as it claims that the 
CPU doesn't support `ldrexh` or `strexh` (spoiler: it does)

I've tried the Debian/Ubuntu cross-compiler but this also fails to compile a 
sample program with:
`sorry, unimplemented: Thumb-1 hard-float VFP ABI`

Therefore I had no choice but to use crosstools-ng to build a new compiler 
using the following config: https://gist.github.com/8dde0f90101d3194e9f0
This still fails:
`obj-evbearmhf-el-hw-raspberrypi/dest.stage/include/arm/aeabi.h:186:44: error: 
unknown type name 'size_t'`

I'm currently only working on this in my spare time but I'd love to collaborate 
with others on getting this working!

-- Dave

> ------------------------------
> 
> From: sreekanth guru <[email protected]>
> Date: Wed, 27 Jan 2016 16:31:54 +0530
> Subject: Re: rumpkernel on RPi
> 
> Thanks Vincent, I will contact him.
> -Sreekanth
> 
> 
> 
> On Wed, Jan 27, 2016 at 4:26 PM, Vincent Schwarzer
> <[email protected]> wrote:
>> Hey,
>> 
>> it seems Dave Tucker the Post you have referenced first has done some work
>> on it in this branch:
>> 
>> https://github.com/dave-tucker/rumprun/tree/raspberrypi
>> 
>> Maybe you have a look on it and ping him regarding the current state.
>> 
>> Best,
>> 
>> Vincent
>> 
>> 2016-01-27 11:39 GMT+01:00 sreekanth guru <[email protected]>:
>>> 
>>> Hi Vincent,
>>> 
>>> Thanks for your reply.
>>> I didn't find anywhere mentioning about successful attempts in archive.
>>> 
>>> In only two threads, there was some discussion on Raspberry Pi. After
>>> going through them I got a feeling that it's not yet done.
>>> 
>>> https://www.freelists.org/post/rumpkernel-users/Rumprun-for-Raspberry-Pi,1
>>> 
>>> https://www.freelists.org/post/rumpkernel-users/Rump-Kernels-Kubernetes-and-the-Raspberry-Pi-Zero
>>> 
>>> 
>>> 
>>> Thanks.
>>> -Sreekanth
>>> 
>>> 
>>> 
>>> On Wed, Jan 27, 2016 at 3:53 PM, Vincent Schwarzer <[email protected]>
>>> wrote:
>>>> Hey,
>>>> 
>>>> have a look the mailing list archive there have been already
>>>> (successful?)
>>>> attempts run Rumpkernel on Raspberry PI
>>>> http://www.freelists.org/archive/rumpkernel-users/ .
>>>> 
>>>> Best,
>>>> 
>>>> Vincent
>>>> 
>>>> 2016-01-27 10:37 GMT+01:00 sreekanth guru <[email protected]>:
>>>>> 
>>>>> Hi,
>>>>> 
>>>>> I want to port rump kernel on Raspberry Pi, can you please provide
>>>>> some pointers where I can start.
>>>>> 
>>>>> Thanks,
>>>>> 
>>>>> -Sreekanth
>>>>> 
>>>> 
>> 
>> 


Reply via email to