Tiny PPC board and AmigaOS 4

[asian1]

Hi
There are several Tiny PPC boards:
1. GMS Spider 7.5 cm x 5 cm, 800 MHz PowerPC.
2. Data Design "Linux Rocket": 2 square inches, PPC 405, 400 MHz

Is it possible to port AmigaOS 4 to the above devices?

Is it possible to create Amiga laptop based on the product?

Perhaps Mr G. Hare from KMOS have new policy or strategy.

GMS

Data Design

[asian1]

>Small size

Hi
Because of its small size, is it possible to use the board as upgrade for classic amiga case?
AFAIK the low power PPC 405 can be used without fan/passive cooling.
Will KMOS have the same "Eyetech only" policy, similar to Amiga Inc?
Micro A1 is too big for several embedded applications. Micro A1 also need fan.