On Sun, May 22, 2022, 10:37 AM hiro <23hiro@gmail.com> wrote:

> why not use millers Rpi kernel instead? Isn't it also including all the
> important changes?


Correct me if I'm wrong, but Richard's kernel is 32-bit (Aarch32) only,
though with the PAE stuff enabled to access more than 4GiB of _physical_
memory. The virtual address space is still limited to 4GiB.

        - Dan C.

On Sunday, May 22, 2022, adr <adr@sdf.org> wrote:
>> On Sat, 21 May 2022, Dan Cross wrote:
>>
>>> To answer your original question, no: there is no aarch64 support in
>>> either 9legacy or the
>>> Bell Labs distribution.
>>>
>>>         - Dan C.
>>>
>> 
>> I just ported 7c, 7l and 7a from 9front. I'm adjusting libmach,
>> mkfiles, etc. Porting 9front's aarch64 raspberry pi kernel can be
>> an oportunity to learn about the kernel design.
>> 
>> adr.
> *9fans <https://9fans.topicbox.com/latest>* / 9fans / see discussions
> <https://9fans.topicbox.com/groups/9fans> + participants
> <https://9fans.topicbox.com/groups/9fans/members> + delivery options
> <https://9fans.topicbox.com/groups/9fans/subscription> Permalink
> <https://9fans.topicbox.com/groups/9fans/T000c7f7d66260ba3-Ma2603b1c67fa83c4948d0ca9>
>

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T000c7f7d66260ba3-Mb98e0d4d7d4cef3c166f2224
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription