On Thu, 16 Aug 2018 at 07:12, Peter Maydell wrote:
> > +static void microbit_machine_init(MachineClass *mc)
> > +{
> > +mc->desc = "BBC micro:bit";
> > +mc->init = microbit_init;
> > +mc->max_cpus = 1;
> > +}
> > +DEFINE_MACHINE("microbit", microbit_machine_init);
>
> Your subclass of
>> +
>> +arm_m_profile_load_kernel(ARM_CPU(first_cpu), machine->kernel_filename,
>> +NRF51_SOC(soc)->flash_size);
>> +}
>> +
>> +static void microbit_machine_init(MachineClass *mc)
>> +{
>> +mc->desc = "BBC micro:bit";
>> +mc->init = microbit_init;
>> +mc->max_cpus = 1
On 16 August 2018 at 15:19, Steffen Görtz wrote:
>
>>> +
>>> +arm_m_profile_load_kernel(ARM_CPU(first_cpu), machine->kernel_filename,
>>> +NRF51_SOC(soc)->flash_size);
>>> +}
>>> +
>>> +static void microbit_machine_init(MachineClass *mc)
>>> +{
>>> +mc->desc = "BBC micro:bit";
On 3 August 2018 at 06:21, Joel Stanley wrote:
> This adds the base for a machine model of the BBC micro:bit:
>
> https://en.wikipedia.org/wiki/Micro_Bit
>
> This is a system with a nRF51 SoC containing the main processor, with
> various peripherals on board.
>
> Reviewed-by: Stefan Hajnoczi
>
This adds the base for a machine model of the BBC micro:bit:
https://en.wikipedia.org/wiki/Micro_Bit
This is a system with a nRF51 SoC containing the main processor, with
various peripherals on board.
Reviewed-by: Stefan Hajnoczi
Signed-off-by: Joel Stanley
---
v2:
- Instead of setting kern
